Não interferência e a composibilidade das propriedades de segurança

O problema da composibilidade das propriedades de segurança em múltiplos níveis, particularmente a propriedade de não interferência e algumas de suas generalizações, é discutido. Exemplos são utilizados para mostrar que algumas dessas propriedades de segurança não se compõem; é possível conectar dois sistemas, ambos considerados seguros, de modo que o sistema composto não seja seguro. Uma propriedade chamada restritividade é introduzida, que é geralmente composível, de modo que dois sistemas restritivos conectados legalmente resultem em um novo sistema composto restritivo. Uma característica nova na breve discussão sobre restritividade é uma versão da propriedade em máquina de estados.