Using edit automata for rewriting-based security enforcement

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

Volumn 5645 LNCS, Issue , 2009, Pages 175-190

  Ould Slimane, Hakima ^a   Mejri, Mohamed ^a   Adi, Kamel ^b  

^a UNIVERSITÉ LAVAL   (Canada)

^b UNIVERSITÉ DU QUÉBEC EN OUTAOUAIS   (Canada)

Author keywords

Edit automata; Execution monitoring; Program rewriting; Security properties

Indexed keywords

EDIT AUTOMATA; EXECUTION MONITORING; PROGRAM REWRITING; PROGRAM STATE; SECURITY AUTOMATA; SECURITY ENFORCEMENT; SECURITY MECHANISM; SECURITY PROPERTIES;

TRANSLATION (LANGUAGES); AUTOMATA THEORY; MOBILE SECURITY; SEMANTICS;

ROBOTS; SECURITY OF DATA;

EID: 70350352545     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03007-9_12     Document Type: Conference Paper

References (14)

1. Hamlen, K.W., Morrisett, G., Schneider, F.B.: Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst. 28(1), 175-205 (2006)
2. Schneider, F.B.: Enforceable security policies. ACM Transactions on Information and Systems Security 3(1), 30-50 (2000)
3. Erlingsson, U., Schneider, F.B.: Sasi enforcement of security policies: a retrospective. In: Proceedings of the New Security Paradigms Workshop, Caledon Hills, Ontario, Canada, pp. 87-95. ACM Press, New York (2000)
4. Evans, D., Twyman, A.: Flexible Policy-Directed Code Safety. In: IEEE Symposium on Security and Privacy, Oakland, California (May 1999)
5. Viswanathan, M.: Foundations for the Run-time Analysis of Software Systems. PhD thesis, University of Pennsylvania (2000)
6. 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.) ESORICS 2005. LNCS, vol. 3679, pp. 355-373. Springer, Heidelberg (2005)
7. Ligatti, J., Bauer, L., Walker, D.: Edit automata: Enforcement mechanisms for run-time security policies. International Journal of Information Security 4(1-2), 2-16 (2005) (published online 26 October 2004)
8. Bauer, L., Ligatti, J., Walker, D.: More enforceable security policies. In: Foundations of Computer Security, Copenhagen, Denmark, July 25-26, pp. 95-104 (2002)
9. Ligatti, J., Bauer, L., Walker, D.: Enforcing non-safety security policies with program monitors. Technical Report TR-720-05, Princeton University (January 2005)
10. Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Akşit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220-242. Springer, Heidelberg (1997)
11. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.: An overview of aspect J. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, p. 327. Springer, Heidelberg (2001)
12. Lamport, L.: Proving the correctness of multiprocess programs. IEEE Transactions of Software Engineering 3(2), 125-143 (1977)
13. Hamlen, K., Morrisett, G., Schneider, F.: Computability classes for enforcement mechanisms. Technical Report TR2003-1908, Cornell University (2003); To appear in ACM Transactions on Programming Languages and Systems
14. Necula, G.C.: Proof-carrying code. In: Conference Record of POPL 1997: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1997, pp. 106-119 (1997)