The framework of selective interleaving functions and the modular assembly kit

FMSE'05: Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering

Volumn , Issue , 2005, Pages 53-62

  Mantel, Heiko ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Formal specification and analysis of security properties; Information flow security; Noninterference

Indexed keywords

FORMAL LOGIC; SECURITY OF DATA;

FORMAL SPECIFICATION; INFORMATION FLOW SECURITY; NONINTERFERENCE;

FUNCTIONS;

EID: 31844452867     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1103576.1103584     Document Type: Conference Paper

References (33)

1. BACKES, M., AND PFITZMANN, B. Computational Probabilistic Non-interference. International Journal of Information Security (IJIS) 3, 1 (2004), 42-60.
2. BOSSI, A., PIAZZA, C., AND ROSSI, S. Modelling Downgrading in Information Flow Security. In Proceedings of the IEEE Computer Security Foundations Workshop (2004), pp. 187-201.
3. FOCARDI, R., AND GORRIERI, R. A Classification of Security Properties for Process Algebras. Journal of Computer Security 3, 1 (1995), 5-33.
4. FOCARDI, R., AND MARTINELLI, F. A Uniform Approach to the Definition of Security Properties. In Proceedings of FM'99 Formal Methods (vol. 1) (1999), vol. 1708 of LNCS, pp. 794-813.
5. FOCARDI, R., AND Rossi, S. Information Flow Security in Dynamic Contexts. In Proceedings of the 15th IEEE Computer Security Foundations Workshop (2002), pp. 307-319.
6. GOGUEN, J. A., AND MESEGUER, J. Security Policies and Security Models. In Proceedings of the IEEE Symposium on Security and Privacy (1982), pp. 11-20.
7. GRAY, J. W. Toward a Mathematical Foundation for Information Flow Security. In Proceedings of the IEEE Symposium on Security and Privacy (1991), pp. 21-34.
8. GUTTMAN, J. D., AND NADEL, M. E. "What Needs Securing?". In Proceedings of the IEEE Computer Security Foundations Workshop (1988), pp. 34-57.
9. HUTTER, D., AND SCHAIRER, A. Possibilistic Information Flow Control in the Presence of Encrypted Communication. In Proceedings of the European Symposium on Research in Computer Security (2004), vol. 3193 of LNCS, pp. 209-224.
10. JACOB, J. On the Derivation of Secure Components. In Proceedings of the IEEE Symposium on Security and Privacy (1989), pp. 242-247.
11. MANTEL, H. Possibilistic Definitions of Security - An Assembly Kit. In Proceedings of the IEEE Computer Security Foundations Workshop (2000), pp. 185-199.
12. MANTEL, H. Unwinding Possibilistic Security Properties. In Proceedings of the European Symposium on Research in Computer Security (2000), vol. 1895 of LNCS, pp. 238-254.
13. MANTEL, H. Information Flow Control and Applications - Bridging a Gap. In Proceedings of FME S001: Formal Methods for Increasing Software Productivity (2001), vol. 2021 of LNCS, pp. 153-172.
14. MANTEL, H. On the Composition of Secure Systems. In Proceedings of the IEEE Symposium on Security and Privacy (2002), pp. 88-104.
15. MANTEL, H. A Uniform Framework for the Formal Specification and Verification of Secure Information Flow. PhD thesis, Saarland University, Saarbrücken, Germany, 2003.
16. MANTEL, H., AND SABELFELD, A. A Generic Approach to the Security of Multi-threaded Programs. In Proceedings of the 14th IEEE Computer Security Foundations Workshop (2001), pp. 126-142.
17. MANTEL, H., SCHAIRER, A., KABATNIK, M., KREUTZER, M., AND ZUGENMAIER, A. Using Information Flow Control to Evaluate Access Protection of Location Information In Mobile Communication Networks. Tech. Rep. 159, Computer Science Department, University of Freiburg, 2001.
18. MCCULLOUGH, D. Specifications for Multi-Level Security and a Hook-Up Property. In Proceedings of the IEEE Symposium on Security and Privacy (1987), pp. 161-166.
19. MCLEAN, J. D. A General Theory of Composition for Trace Sets Closed under Selective Interleaving Functions. In Proceedings of the IEEE Symposium on Research in Security and Privacy (1994), pp. 79-93.
20. MCLEAN, J. D. A General Theory of Composition for a Class of "Possibilistlc" Security Properties. IEEE Transaction on Software Engineering 22, 1 (1996), 53-67.
21. MILNER, R. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
22. O'HALLORAN, C. A Calculus of Information Flow. In Proceedings of the European Symposium on Research in Computer Security (1990), pp. 147-159.
23. PERI, R. V., WULF, W. A., AND KIENZLE, D. M. A Logic of Composition for Information Flow Predicates. In Proceedings of the 9th IEEE Computer Security Foundations Workshop (1996), pp. 82-93.
24. ROSCOE, A. W. CSP and Determinism in Security Modelling. In Proceedings of the IEEE Symposium on Security and Privacy (1995), pp. 114-127.
25. ROSCOE, A. W., AND GOLDSMITH, M. H. What is Intransitive noninterference? In Proceedings of the 12th IEEE Computer Security Foundations Workshop (1999), pp. 228-238.
26. ROSCOE, A. W., WOODCOCK, J. C. P., AND WULF, L. Non-Interference through Determinism. In Proceedings of the European Symposium on Research in Computer Security (1994), vol. 875 of LNCS, pp. 33-53.
27. RYAN, P. Y. A., AND SCHNEIDER, S. A. Process Algebra and Non-interference. In Proceedings of the 12th IEEE Computer Security Foundations Workshop (1999), pp. 214-227.
28. RYAN, P. Y. A., AND SCHNEIDER, S. A. Process Algebra and Non-interference. Journal of Computer Security 9, 1/2 (2001), 78-103.
29. SCHÄFER, I. Information Flow Control for Multiagent Systems, A Case Study in Comparison Shopping. Master's thesis, Universität Rostock, 2004.
30. v. OHEIMB, D. Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage. In Proceedings of the European Symposium on Research in Computer Security (2004), vol. 3193 of LNCS, pp. 225-243.
31. WITTBOLD, J. T., AND JOHNSON, D. M. Information Flow in Nondeterministic Systems. In Proceedings of the IEEE Symposium on Research in Security and Privacy (1990), pp. 144-161.
32. ZAKINTHINOS, A. On the Composition of Security Properties. PhD thesis, Graduate Department of Electrical and Computer Engineering, University of Toronto, 1996.
33. ZAKINTHINOS, A., AND LEE, E. S. A General Theory of Security Properties. In Proceedings of the IEEE Symposium on Security and Privacy (1997), pp. 94-102.