Preserving information flow properties under refinement

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

Volumn , Issue , 2001, Pages 78-90

  Mantel, H ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DECISION MAKING; INFORMATION THEORY; SYSTEMS ANALYSIS;

INFORMATION FLOW PROPERTIES; REFINEMENT;

SECURITY OF DATA;

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

References (20)

1. Defining liveness
2. On the security of public key protocols
3. A classification of security properties for process algebras
4. On the refinement of non-interference
5. Security policies and security models
6. On the derivation of secure components
7. Security and the composition of machines
8. Secrecy-preserving refinement
9. Possibilistic definitions of security - An assembly kit
10. Unwinding possibilistic security properties
11. Specifications for multi-level security and a hook-up property
12. A general theory of composition for trace sets closed under selective inter-leaving functions
13. Unwinding forward correctability
14. A calculus of information flow
15. Refinement and confidentiality
16. Non-interference through determinism
17. Verification of a formal security model for multiapplicative smart cards
18. Information flow in nondeterministic systems
19. A general theory of security properties