State-based approach to information flow analysis

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 29, Issue 8, 2006, Pages 1460-1467

  Zi, Xiao Chao ^a   Yao, Li Hong ^a   Li, Lan ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

Confidentiality; Covert channel; Finite automata; Hidden information flow; Secure operating system

Indexed keywords

ACTION RULES; AUTOMATON MODELS; CONFIDENTIALITY; COVERT CHANNELS; HIDDEN INFORMATION FLOWS; INFORMATION LEAK OUT; SECURE OPERATING SYSTEMS;

ALGORITHMS; COMMUNICATION CHANNELS (INFORMATION THEORY); DATA FLOW ANALYSIS; FINITE AUTOMATA; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SECURITY OF DATA; SECURITY SYSTEMS;

COMPUTER OPERATING SYSTEMS;

EID: 33749458217     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. Cynthia E. I., Timothy E. L. et al. Overview of a high assurance architecture for distributed multilevel security. In: Proceedings of the IEEE Workshop on Information Assurance and Security, NY, USA, 2004, 38-45.
2. Richard A. K.. A practical approach to identifying storage and timing channels: Twenty years later. In: Proceedings of the Annual Computer Security Applications Conference, Nevada, USA, 2002, 109-18.
3. Zhu Hong, Feng Yu-Cai. The study of covert channels identification techniques. Computer Science, 2000, 27(5): 100-103 (in Chinese).
4. Goguren J. A., Messegurer J.. Security policies and security models. In: Proceedings of the IEEE Symposium on Security and Privacy, California, USA, 1984, 75-85.
5. Focardi R., Rossi S.. Information flow security in dynamic contexts. In: Proceedings of the IEEE Computer Security Foundations Workshop, Nova Scotia, Canada, 2002, 307-319.
6. Adam D.. A theorem proving approach to analysis of secure information flow. In: Proceedings of the Workshop on Issues in the Theory of Security, Warsaw, Poland, 2003, 193-209.
7. Heiko M., Andrei S.. A unifying approach to the security of distributed and multi-threaded programs. Journal of Computer Security, 2003, 11(4). 615-676.
8. Annalisa B., Carla P., Sabina R.. Modeling downgrading in information flow security. In: Proceedings of the 17th Computer Security Foundations Workshop, CA, USA, 2004, 187-201.
9. Alessandra D. P., Chris H., Herbert W.. Approximate noninterference. Journal of Computer Security, 2004, 12(1): 37-81.
10. Zakintihinos A., LEE E. S.. A general theory of security properties. In: Proceedings of the IEEE Symposium on Security and Privacy, California, USA, 1997, 94-102.
11. Jonathan K. M.. Unwinding forward correctability. In: Proceedings of the 7th IEEE Computer Security Foundations Workshop, New Hampshire, USA, 1994, 2-10.
12. Heiko M.. Unwinding possibilistic security properties. In: Proceedings of the 6th European Symposium on Research in Computer Security, Toulouse, France, 2000, 238-254.
13. Lowe G.. Quantifying information flow. In: Proceedings of the Computer Security Foundations Workshop, Nova Scotia, Canada, 2002, 18-31.