Automata-based confidentiality monitoring

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

Volumn 4435 LNCS, Issue , 2007, Pages 75-89

  Le Guernic, Gurvan ^a,b   Banerjee, Anindya ^b   Jensen, Thomas ^a   Schmidt, David A ^b  

^a CAMPUS DE BEAULIEU   (France)

^b KANSAS STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; AUTOMATA THEORY; CANNING; COMPUTER SCIENCE; MECHANISMS; PUBLIC POLICY; ROBOTS; TECHNOLOGY; TRANSLATION (LANGUAGES);

COMPUTING SCIENCE; INFORMATION FLOWS; NON-INTERFERENCE; PROGRAM EXECUTIONS; SECRET INFORMATIONS; SECURE SOFTWARE; SECURITY POLICIES; SEQUENTIAL PROGRAMS; STATIC CHECKING; TYPE SYSTEMS;

CONCURRENCY CONTROL;

EID: 49949102660     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77505-8_7     Document Type: Conference Paper

References (29)

1. Goguen, J.A., Meseguer, J.: Security Policies and Security Models. In: Proc. Symp. Security and Privacy, pp. 11-20 (1982)
2. Cohen, E.S.: Information Transmission in Computational Systems. ACM SIGOPS Operating Systems Review 11(5), 133-139 (1977)
3. Sabelfeld, A., Myers, A.C.: Language-Based Information-Flow Security. IEEE J. Selected Areas in Communications 21(1), 5-19 (2003)
4. Banerjee, A., Naumann, D.A.: Stack-based Access Control and Secure Information Flow. Journal of Functional Programming 15(2), 131-177 (2005)
5. Myers, A.C.: JFlow: Practical Mostly-Static Information Flow Control. In: Proc. ACM Symp. Principles of Programming Languages, pp. 228-241 (1999)
6. Pottier, F., Simonet, V.: Information flow inference for ML. ACM Trans. on Programming Languages and Systems 25(1), 117-158 (2003)
7. Abadi, M., Banerjee, A., Heintze, N., Riecke, J.G.: A Core calculus of Dependency. In: Proc. ACM Symp. Principles of Programming Languages, pp. 147-160 (1999)
8. Barthe, C., Serpette, B.: Partial evaluation and non-interference for object calculi. In: Middeldorp, A. (ed.) FLOPS 1999. LNCS, vol. 1722, pp. 53-67. Springer, Heidelberg (1999)
9. Sabelfeld, A., Sands, D.: A Per Model of Secure Information Flow in Sequential Programs. Higher Order and Symbolic Computation 14(1), 59-91 (2001)
10. Mizuno, M., Schmidt, D.: A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof. J. Formal Aspects of Comp. 4(6A). 727-754 (1992)
11. Volpano, D., Smith, G., Irvine, C.: A Sound Type System for Secure Flow Analysis. J. Computer Security 4(3). 167-187 (1996)
12. Hamlen, K.W., Morrisett, C., Schneider. F.B.: Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst. 28(1), 175-205 (2006)
13. Le Guernic, G., Banerjee, A., Schmidt, D.: Automaton-based Non-interference Monitoring. Technical Report, -1, Kansas State University. Manhattan. KS. USA (April 2006) (2006), http://www.cis.ksu.edu/schmidt/ techreport/2006.list.html
14. Schneider, F.B.: Enforceable security policies. ACM Trans. Inf. Syst. Secur. 3(1). 30-50 (2000)
15. McLean, J.: A General Theory of Composition for Trace Sets Closed Under Selective Interleaving Functions. In: Proc. Symp. Security and Privacy, pp. 79-93 (1994)
16. Ashby, W.R.: An Introduction to Cybernetics. Chapman & Hall. London (1956)
17. Vachharajani, N., Bridges, M.J., Chang, J., Rangan, R., Ottoni, G., Blome, J.A., Reis. G.A., Vachharajani, M., August, D.I.: RIFLE: An Architectural Framework for User-Centric Information-Flow Security. In: Proc. Symp. Microarchitecture (2004)
18. Kahn, G.: Natural Semantics. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet. G. (eds.) STACS 87. LNCS, vol. 247. pp. 22-39. Springer. Heidelberg (1987)
19. Ligatti, J., Bauer, L., Walker, D.: Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Sec 4(1-2). 2-16 (2005)
20. Viswanathan. M.: Foundations for the Run-time Analysis of Software Systems. PhD thesis. University of Pennsylvania (December 2000)
21. Smith, C. Volpano, D.: Secure Information Flow in a Multi-threaded Imperative Language. In: Proc. ACM Symp. on Principles of Programming Languages (January 1998). pp. 355-364 (1998)
22. Schneider, F.B., Morrisett, C., Harper, R.: A Language-Based Approach to Security. In: Wilhelm, K. (ed.) Informatics. LNCS, vol. 2000. pp. 86-101. Springer. Heidelberg (2001)
23. Erlingsson, U.: The Inlined Reference Monitor Approach to Security Policy Enforcement. PhD thesis. Department of Computer Science, Cornell University (2003)
24. Erlingsson, U., Schneider, F.B.: SASI Enforcement of Security Policies: A Retrospective. In: Proc. New Security Paradigms Workshop, pp. 87-95. ACM Press. New-York (1999)
25. Hamlen, K.W., Morrisett, C. Schneider, F.B.: Certified In-lined Reference Monitoring on .NET. In: ACM Workshop on Programming Languages and Analysis for Security. ACM Press, New York (2006)
26. Ligatti, J., Bauer, L., Walker, D.: Enforcing Non-safety Security Policies with Program Monitors. In: di Vimercati. S.d.C., Syverson, P.F., Gollmann, D. (eds.) ES-ORICS 2005. LNCS. vol. 3679, pp. 355-373. Springer. Heidelberg (2005)
27. Pottier, F.c., Conchon, S.: Information flow inference for free. In: Proc. ACM International Conf. on Functional Programming, pp. 46-57 (2000)
28. Le Guernic, C. Jensen, T.: Monitoring Information Flow. In: Proceedings of the Workshop on Foundations of Computer Security (June 2005). pp. 19-30. DePaul University (2005)
29. Masri, W., Podgurski, A., Leon, D.: Detecting and Debugging Insecure Information Flows. In: Symp. on Software Reliability Engineering, pp. 198-209 (2004)