Automatic compositional verification of some security properties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1055, Issue , 1996, Pages 167-186

  Focardi, R ^a   Gorrieri, R ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY OF DATA; SEMANTICS;

AUTOMATIC COMPOSITIONAL VERIFICATION; AUTOMATIC VERIFICATION; COMPOSITIONAL INFORMATION; INFORMATION FLOW SECURITY; NON INTERFERENCE; SECURITY PROCESS ALGEBRA; SECURITY PROPERTIES;

SPECIFICATIONS;

EID: 84958771675     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61042-1_44     Document Type: Conference Paper

References (11)

1. D. E. Bell and L. J. La Padula. "Secure Computer Systems: Unified Exposition and Multics Interpretation". ESD- TR- 75-305, MITRE MTR-2997, March 1976.
2. R. Cleaveland, J. Parrow, and B. Steffen. "The Concurrency Workbench: a Semantics Based Tool for the Verification of Concurrent Systems". A CM Transactions on Programming Languages and Systems, Vol. 15 No. 1:36-72, January 1993.
3. R. Focardi and R. Gorrieri. "The Compositional Security Checker: A Tool for the Automatic Compositional Verification of Security Properties". Forthcoming.
4. R. Focardi and R. Gorrieri. "A Classification of Security Properties for Process Algebras". Journal of Computer Security, 3(1):5-33, 1994/1995.
5. R. Focardi, R. Gorrieri, and V. Panini. "The Security Checker: a Semantics-based Tool for the Verification of Security Properties". In Proceedings Eight IEEE Computer Security Foundation Workshop, (CSFW'95) (Li Gong Ed.), pages 60-69, Kenmare (Ireland), June 1995. IEEE Press.
6. J. A. Goguen and J. Meseguer. "Security Pohcy and Security Models". In Proceedings ofthe 1982 Symposium on Security and Privacy, pages 11-20. IEEE Computer Society Press, April 1982.
7. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
8. P. Kanellakis and S.A. Smolka. "CCS Expression, Finite State Processes, and Three Problems of Equivalence". Information & Computation 86, pages 43-68, May 1990.
9. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
10. C. R. Tsai, V. D. Gligor, and C. S. Chandersekaran. "On the Identification of Covert Storage Channels in Secure Systems". IEEE Transactions on Software Engineering, pages 569-580, June 1990.
11. J. T. Wittbold and D. M. Johnson. "Information Flow in Nondeterministic Systems". In Proceedings of the 1990 IEEE Symposium on Research in Security and Privacy, pages 144-161. IEEE Computer Society Press, 1990.