General theory of composition for trace sets closed under selective interleaving functions

Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy

Volumn , Issue , 1994, Pages 79-93

  McLean, John ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; SECURITY OF DATA; SYSTEMS ANALYSIS;

INTERVAL SYSTEM COMPOSITION; NONINFERENCE; POSSIBILISTIC SECURITY PROPERTIES; RESTRICTIVENESS; SELECTIVE INTERLEAVING FUNCTIONS; SYSTEM COMPOSITION;

SYSTEM THEORY;

EID: 0028058408     PISSN: 10637109     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)