Information flow control and applications - Bridging a gap

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

Volumn 2021 LNCS, Issue , 2001, Pages 153-172

  Mantel, Heiko ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK SECURITY; SOFTWARE ENGINEERING;

CHANNEL CONTROL; COMMON FEATURES; DISTRIBUTED SYSTEMS; FORMAL SECURITY MODELS; INFORMATION FLOW CONTROL; INFORMATION FLOWS; INTEGRITY REQUIREMENTS; SECURE DISTRIBUTED SYSTEMS;

FORMAL METHODS;

EID: 84881123660     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45251-6_9     Document Type: Conference Paper

References (19)

1. Riccardo Focardi and Fabio Martinelli. A Uniform Approach to the Definition of Security Properties. In FM'99 - Formal Methods (vol. 1), LNCS 1708, pages 794-813. Springer, 1999.
2. J. A. Goguen and J. Meseguer. Security Policies and Security Models. In Proceedings of the IEEE Symposium on Security and Privacy, pages 11-20, Oakland, CA, April 26-28 1982.
3. J. A. Goguen and J. Meseguer. Inference Control and Unwinding. In Proceedings of the IEEE Symposium on Security and Privacy, pages 75-86, Oakland, CA, April 29-May 2 1984.
4. Dale M. Johnson and F. Javier Thayer. Security and the Composition of Machines. In Proceedings of the Computer Security Foundations Workshop, pages 72-89, Franconia, NH, June 1988.
5. Heiko Mantel. Possibilistic Definitions of Security - An Assembly Kit In Proceedings of the IEEE Computer Security Foundations Workshop, pages 185-199, Cambridge, UK, July 3-5 2000. IEEE Computer Society.
6. Heiko Mantel. Unwinding Possibilistic Security Properties. In European Symposium on Research in Computer Security (ESORICS), pages 238-254, LNCS 1895, Toulouse, France, October 4-6 2000. Springer.
7. Daryl McCullough. Specifications for Multi-Level Security and a Hook-Up Property. In Proceedings of the IEEE Symposium on Security and Privacy, pages 161-166, Oakland, CA, April 27-29 1987.
8. John McLean. A General Theory of Composition for a Class of "Possibilistic" Security Properties. IEEE Transaction on Software Engineering, 22(1):53-67, January 1996.
9. Colin O'Halloran. A Calculus of Information Flow. In Proceedings of the European Symposium on Research in Computer Security (ESORICS), pages 147-159, Toulouse, France, October 24-26 1990.
10. Sylvan Pinsky. Absorbing Covers and Intransitive Non-Interference. In Proceedings of the IEEE Symposium on Security and Privacy, pages 102-113, Oakland, CA, May 8-10 1995.
11. A.W. Roscoe and M.H. Goldsmith. What is intransitive noninterference? In Proceedings of the 12th IEEE Computer Security Foundations Workshop, pages 228-238, Mordano, Italy, June 28-30 1999.
12. P.Y.A. Ryan and S.A. Schneider. Process Algebra and Non-interference. In Proceedings of the 12th IEEE Computer Security Foundations Workshop, pages 214-227, Mordano, Italy, June 28-30 1999.
13. John Rushby. Noninterference, Transitivity, and Channel-Control Security Policies. Technical Report CSL-92-02, SRI International, 1992.
14. Steve Schneider. Concurrent and real-time systems : the CSP approach. John Wiley, Chichester, England ; New York, 2000.
15. G. Schellhorn, W. Reif, A. Schairer, P. Karger, V. Austel, and D. Toll. Verification of a Formal Security Model for Multiapplicative Smart Cards. In European Symposium on Research in Computer Security (ESORICS), pages 17-36, LNCS 1895, Toulouse, France, October 4-6 2000. Springer.
16. D. Sutherland. A Model of Information. In 9th National Computer Security Conference, September 1986.
17. R.J. van Glabbeek. The Linear Time - Branching Time Spectrum. In Proceedings of CONCUR'90, Theories of Concurrency: Unification and Extensions, pages 278-297, LNCS 458. Springer, 1990.
18. J. Todd Wittbold and Dale M. Johnson. Information Flow in Nondeter-ministic Systems. In Proceedings of the IEEE Symposium on Research in Security and Privacy, pages 144-161, Oakland, CA, May 1990.
19. Aris Zakinthinos and E.S. Lee. A General Theory of Security Properties. In Proceedings of the IEEE Symposium on Security and Privacy, pages 94-102, Oakland, CA, May 4-7 1997.