An automata based approach for verifying information flow properties

Electronic Notes in Theoretical Computer Science

Volumn 135, Issue 1, 2005, Pages 39-58

  D'Souza, Deepak ^a   Raghavendra, K R ^a   Sprick, Barbara ^a  

^a INDIAN INSTITUTE OF SCIENCE   (India)

Author keywords

Finite state systems; Information flow control; Verification

Indexed keywords

DATA REDUCTION; DECISION MAKING; FINITE AUTOMATA; FLOW CONTROL; SECURITY OF DATA;

BASIC SECURITY PREDICATES (BSP); FINITE STATE SYSTEMS; INFORMATION FLOW CONTROL; VERIFICATION;

INFORMATION ANALYSIS;

EID: 23144453688     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.06.005     Document Type: Conference Paper

References (12)

1. Bossi, A., R. Focardi, C. Piazza and S. Rossi, Bisimulation and unwinding for verifying possibilistic security properties, in: VMCAI 2003: Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation (2003), pp. 223-237
2. Focardi, R. and R. Gorrieri, Automatic compositional verification of some security properties, in: Tools and Algorithms for Construction and Analysis of Systems, 1996, pp. 167-186
3. R. Focardi, and R. Gorrieri The compositional security checker: A tool for the verification of information flow security properties Software Engineering 23 1997 550 571
4. Goguen, J.A. and J. Meseguer, Security policies and security models, in: Proc. IEEE Symp. on Security and Privacy, 1982, pp. 11-20
5. Mantel, H., Possibilistic Definitions of Security - An Assembly Kit, in: Proceedings of the 13th IEEE Computer Security Foundations Workshop (2000), pp. 185-199
6. Mantel, H., Unwinding Possibilistic Security Properties, in: F. Cuppens, Y. Deswarte, D. Gollmann and M. Waidner, editors, European Symposium on Research in Computer Security (ESORICS), LNCS 1895 (2000), pp. 238-254
7. Mantel, H., "A Uniform Framework for the Formal Specification and Verification of Information Flow Security," Ph.D. thesis, Universität des Saarlandes (2003)
8. McCullough, D., Specifications for multilevel security and a hookup property, in: Proc. 1987 IEEE Symp. Security and Privacy, 1987, pp. 161-166
9. McLean, J., A general theory of composition for trace sets closed under selective interleaving functions, in: Proc. IEEE Symposium on Research in Security and Privacy (1994), pp. 79-93
10. O'Halloran, C., A calculus of information flow, in: Proceedings of the European Symposium on Research in Computer Security, ESORICS 90 (1990), pp. 147-159
11. Sutherland, D., A model of information, in: Proceedings of the 9th National Computer Security Conference, 1986
12. Zakinthinos, A. and E.S. Lee, A general theory of security properties, in: SP '97: Proceedings of the 1997 IEEE Symposium on Security and Privacy (1997), p. 94