Run-time detection of covert channels

Proceedings - First International Conference on Availability, Reliability and Security, ARES 2006

Volumn 2006, Issue , 2006, Pages 577-584

  Nagatou, Naoyuki ^a   Watanabe, Takuo ^a  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; DATA STRUCTURES; INFORMATION RETRIEVAL; PUBLIC POLICY; SECURITY OF DATA;

COVERT CHANNELS; RUN TIME; SECURITY AUTOMATON;

COMMUNICATION CHANNELS (INFORMATION THEORY);

EID: 33750931965     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2006.114     Document Type: Conference Paper

References (17)

1. B. Alpern and F. B. Schneider. Recognizing safety and liveness. In Distributd Computing, pages 117-126. Springer-Velag, 1987.
2. L. Bauer, J. Ligatti, and D. Walker. More enforceable security policies. Technical Report TR-649-02, Princeton University, June 2002.
3. Department of Defense. Trusted Computer System Evaluation Criteria, 1985.
4. Department of Defense. A guide to understanding covert channel analysis of trusted systems, 1993.
5. U. Erlingsson and F. B. Schneider. SASI enforcement of security policies: A retrospective. In WNSP: New Security Paradigms Workshop, pages 87-95. ACM Press, 2000.
6. P. W. L. Fong. Access control by tracking shallow execution history. In Proceedings of the 2004 IEEE Symposium on Security and Privacy, Oakland, California, USA, May 2004.
7. J. A. Goguen and J. Meseguer. Security policies and security models. In In Proceedings of the 1982 IEEE Computer Society Symposium on Research in Security and Privacy, pages 11-20. IEEE Computer Society Press, 1982.
8. J. A. Goguen and J. Meseguer. Unwinding and inference control. In IEEE Symposium on Security and Privacy, pages 75-86, 1984.
9. D. McCullough. A hookup theorem for multilevel secruity. IEEE Transactions on Software Engineering, 16(6):563-568, 1990.
10. J. McHugh. Covert channel analysis, 1995.
11. J. McLean. A general theory of composition for trace sets closed under selective interleaving functions. In Proc. IEEE Symposium on Research in Security and Privacy, pages 79-93, 1994.
12. G. C. Necula and P. Lee. Safe, untrusted agents using proof-carrying code. LNCS 1419, pages 61-91, 1998.
13. C. O'Halloran. A calculus of information flow. In Proceedings of the European Symposium on Research in Computer Security, 1990.
14. S. Pinsky and E. Zieglar. Noninterference equations for nondeterministic systems. In 14th IEEE Computer Security Foundation Workshp, pages 3-14, 2001.
15. F. B. Schneider. Enforceable security policies. ACM Transactions on Information and System Security, 3(1):30-50, February 2000.
16. D. Sutherland. A model of information. In 9th National Computer Security Coference, 1986.
17. A. Zakinthinos and E. S. Lee. A general theory of security properties. In Proceedings of the 18th IEEE Computer Society Symposium on Research in Security and Privacy, 1997.