Probabilistic confidentiality properties based on indistinguishability

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn , Issue , 2005, Pages 113-124

  Santen, Thomas ^a  

^a UNIVERSITY OF MÜNSTER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INDISTINGUISHABILITY; INFORMATION FLOWS; POSSIBILISTIC; PROBABILISTIC CHOICES; PROBABILISTIC PROPERTIES; PROBABILISTIC SYSTEMS;

EID: 84874143629     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. D. Bell and L. LaPadula. Secure Computer System: Unified Exposition and Multics Interpretation. Technical Report MTR-2997 Rev. 1, MITRE Corporation, 1975.
2. D. Denning. Cryptography and Data Security. Addison-Wesley, 19982.
3. J.A. Goguen and J. Meseguer. Security Policies and Security Models. In IEEE Symposium on Security and Privacy, pages 11-20. IEEE Computer Society Press, 1982.
4. J. W. Gray, III. Toward a mathematical foundation for information flow security. In Proc. IEEE Symposium on Security and Privacy, pages 21-34, 1991.
5. M. Heisel, A. Pfitzmann, and T. Santen. Confidentiality-Perserving Refinement. In 14th IEEE Computer Security Foundations Workshop, pages 295-305. IEEE Computer Society Press, 2001.
6. H. Mantel. A Uniform Framework for the Formal Specification and Verification of Information Flow Security. PhD thesis, Universität des Saarlandes, 2003.
7. J. McLean. A General Theory of Composition for a Class of "Possibilistic" Properties. IEEE Transactions on Software Engineering, 22(1):53-67, 1996.
8. C. Morgan, A. McIver, K. Seidel, and J. W. Sanders. Refinement-Oriented Probability for CSP. Formal Aspects of Computing, 8(6):617-647, 1996.
9. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
10. J. Rushby. Security Requirements Specifications: How and What? In Proc. Symposium on Requirements Engineering for Information Security (SREIS), Indianapolis, IN, March 2001.
11. T. Santen. Security Engineering: Requirements Analysis, Specification and Implementation. Technische Universität Berlin, 2005. Habilitationsschrift, to appear.
12. T. Santen,M. Heisel, and A. Pfitzmann. Confidentiality-Preserving Refinement is Compositional - Sometimes. In D. Gollmann, G. Karjoth, and M. Waidner, editors, Computer Security - ESORICS 2002, LNCS 2502, pages 194-211. Springer-Verlag, 2002.
13. A. Zakinthinos and E. S. Lee. A general theory of security properties. In Proc. IEEE Symposium on Security and Privacy, pages 94-102, 1997.