Information flow control revisited: Noninfluence = noninterference + nonleakage

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

Volumn 3193, Issue , 2004, Pages 225-243

  Von Oheimb, David ^a  

^a SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

INFINEONS; INFORMATION FLOW CONTROL; INFORMATION FLOWS; NON DETERMINISM; POSSIBILISTIC; PREORDERS; PROPERTY; STATE-BASED SYSTEMS; THEOREM PROVERS;

ARTIFICIAL INTELLIGENCE;

EID: 35048854255     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30108-0_14     Document Type: Article

References (24)

1. Simon N. Foley. A universal theory of information flow. In IEEE Symposium on Security and Privacy, pages 116-122, 1987.
2. J. A. Goguen and J. Meseguer. Security policies and security models. In Symposium on Security and Privacy. IEEE Computer Society Press, 1982.
3. J. A. Goguen and J. Meseguer. Unwinding the inference control. In Symposium on Security and Privacy. IEEE Computer Society Press, 1984.
4. J. Haigh and W. Young. Extending the non-interference version of MLS for SAT. In Proc. of the Symposium on Security and Privacy, pages 232-239. IEEE Computer Society Press, 1986.
5. Volkmar Lotz, Volker Kessler, and Georg Walter. A Formal Security Model for Microprocessor Hardware. In IEEE Transactions on Software Engineering, volume 26, pages 702-712, August 2000.
6. Heiko Mantel. Unwinding possibilistic security properties. In Proc. of ESORICS, volume 1895 of LNCS, pages 238-254. Springer, 2000.
7. Heiko Mantel. Information Flow and Applications - Bridging a Gap. In Proc. of FME 2001: Formal Methods for Increasig Software Productivity, volume 2021 of LNCS, pages 153-172. Springer, 2001.
8. Heiko Mantel. A Uniform Framework for the Formal Specification and Verification of Information Flow Security. PhD thesis, Univ. d. Saarlandes, 2003.
9. Darly McCullough. A hookup theorem for multilevel security. In IEEE Transactions on Software Engineering, pages 563-568, 1990.
10. John McLean. A general theory of composition for trace sets closed under selective interleaving functions. In IEEE Symposium on Security and Privacy, pages 79-93, 1994.
11. Heiko Mantel and Andrei Sabelfeld. A Generic Approach to the Security of Multi-threaded Programs. In Proc. of 14th CSFW, pages 126-142, Cape Breton, Nova Scotia, Canada, 2001. IEEE Computer Society.
12. Tobias Nipkow, Lawrence C. Paulson, and Markus Wenzel. Isabelle/HOL - A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS. Springer, 2002. See also http://isabelle.in.tum.de/docs.html.
13. David von Oheimb. Isabelle theory sources: Noninfluence = Noninterference + Nonleakage, 2004. http://ddvo.net/H0L/NI/.
14. th European Symposium on Research in Computer Security (ESORICS), volume 2502 of LNCS, pages 212-228. Springer, 2002. http://ddvo.net/papers/FSA_ISM.html.
15. David von Oheimb and Sebastian Nanz. ISM Homepage: Documentation, sources and distribution, 2002. http://ddvo.net/ISM/.
16. Sylvan Pinsky. Absorbing covers and intransitive non-interference. In IEEE Symposium on Security and Privacy, pages 102-113, 1995.
17. A.W. Roscoe and M.H. Goldsmith. What is intransitive noninterference? In 12th Computer Security Foundations Workshop, pages 228-238. IEEE Computer Society Press, 1999.
18. John Rushby. Noninterference, Transitivity, and Channel-Control Security Policies. Technical Report CS-92-02, SRI International, 1992.
19. Peter Ryan. A CSP formulation of non-interference and unwinding. In Proc. of IEEE CSFW-3. Cipher, 1990.
20. Peter Y. A. Ryan. Mathematical models of computer security. In Riccardo Focardi and Roberto Gorrieri, editors, Foundations of Security Analysis and Design: Tutorial Lectures, volume 2171 of LNCS. Springer, 2001.
21. A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE J. on Selected Areas in Communications, 21(1):5-19, January 2003.
22. D. Sutherland. A model of information. In Proc. National Computer Security Conference, pages 175-183, 1986.
23. Aris Zakinthinos and E. Stewart Lee. A general theory of security properties. In Computer Society Symposium on Research in Security and Privacy, 1997.
24. Steve Zdancewic and Andrew C. Myers. Robust Declassification. In 14th IEEE Computer Security Foundations Workshop (CSFW), 2001.