Generating in-line monitors for Rabin automata

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

Volumn 5838 LNCS, Issue , 2009, Pages 287-301

  Chabot, Hugues ^a   Khoury, Raphael ^a   Tawbi, Nadia ^a  

^a UNIVERSITÉ LAVAL   (Canada)

Author keywords

Computer security; Dynamic analysis; Monitoring software safety

Indexed keywords

COMPUTER SECURITY; ENFORCEMENT MECHANISMS; IN-LINE; INSTRUMENTED CODE; MALICIOUS MOBILE CODES; PRIORI KNOWLEDGE; PROGRAM BEHAVIOR; RABIN AUTOMATON; SAFETY PROPERTY; SCHNEIDER; SECURITY AUTOMATA; SECURITY POLICY; SECURITY REQUIREMENTS;

ACCESS CONTROL; COMPUTER SOFTWARE SELECTION AND EVALUATION; DYNAMIC ANALYSIS; DYNAMICS; INTERNET; SECURITY SYSTEMS; TRANSLATION (LANGUAGES);

AUTOMATA THEORY;

EID: 78650741234     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04766-4_20     Document Type: Conference Paper

References (21)

1. Schneider, F.B.: Enforceable security policies. Information and System Security 3(1), 30-50 (2000)
2. Hamlen, K.W., Morrisett, G., Schneider, F.B.: Computability classes for enforcement mechanisms. ACM Transactions on Programming Languages and Systems (TOPLAS) 28(1), 175-205 (2006)
3. Bauer, L., Ligatti, J., Walker, D.: More enforceable security policies. In: Proceedings of the Foundations of Computer Security Workshop, Copenhagen, Denmark (July 2002)
4. Perrin, D., Pin, J.-É.: Infinite Words, ser. Pure and Applied Mathematics, vol. 141. Elsevier, Amsterdam (2004)
5. Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. IEEE Proceedings: Special issue on Discrete Event Systems 77(1), 81-97 (1989)
6. Langar, M., Mejri, M.: Optimizing enforcement of security policies. In: Proceedings of the Foundations of Computer Security Workshop (FCS 2005) affiliated with LICS 2005 (Logics in Computer Science) (June-July 2005)
7. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers, Principles, Techniques, and Tools. Addison- Wesley, Reading (1986)
8. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer (STTT) 9(5-6), 505-525 (2007)
9. Ligatti, J., Bauer, L., Walker, D.: Edit automata: Enforcement mechanisms for run-time security policies. International Journal of Information Security (2004)
10. Ligatti, J., Bauer, L., Walker, D.: Enforcing non-safety security policies with program monitors. In: di de Vimercati, S.C., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol. 3679, pp. 355-373. Springer, Heidelberg (2005)
11. Fong, P.: Access control by tracking shallow execution history. In: Proceedings of the 2004 IEEE Symposium on Security and Privacy, Oakland, California, USA (May 2004)
12. Talhi, C., Tawbi, N., Debbabi, M.: Execution monitoring enforcement under memory-limitations constraints. Information and Computation 206(1), 158-184 (2008)
13. Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol. 4337, pp. 260-272. Springer, Heidelberg (2006)
14. Erlingsson, U., Schneider, F.B.: SASI enforcement of security policies: A retrospective. In: Proceedings of the WNSP: New Security Paradigms Workshop. ACM Press, New York (2000)
15. Colcombet, T., Fradet, P.: Enforcing trace properties by program transformation. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2000)
16. Kim, M.: Information extraction for run-time formal analysis. Ph.D. dissertation, University of Pennsylvania (2001)
17. Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-mac: A run-time assurance approach for java programs. Formal Methods in Systems Design 24(2), 129-155 (2004)
18. Lee, I., Kannan, S., Kim, M., Sokolsky, O., Viswanathan, M.: Runtime assurance based on formal specifications. In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (1999)
19. Sokolsky, O., Kannan, S., Kim, M., Lee, I., Viswanathan, M.: Steering of real-time systems based on monitoring and checking. In: Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 1999, p. 11. IEEE Computer Society, Washington (1999)
20. Erlingsson, U.: The inlined reference monitor approach to security policy enforcement. Ph.D. dissertation, Cornell University, Ithaca, NY, USA (2004)
21. Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM Journal on Computing 1(2), 146-160 (1972)