Towards practical enforcement theories

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

Volumn 5838 LNCS, Issue , 2009, Pages 239-254

  Bielova, Nataliia ^a   Massacci, Fabio ^a   Micheletti, Andrea ^b  

^a UNIVERSITY OF TRENTO   (Italy)

^b SAN RAFFAELE HOSPITAL   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ENFORCEMENT MECHANISMS; PROGRAM EXECUTION; RESEARCH PROTOCOL; RUNTIMES; SECURITY AUTOMATA; SECURITY POLICY;

ACCESS CONTROL; INTERNET; INTERNET PROTOCOLS; SECURITY SYSTEMS;

NETWORK SECURITY;

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

References (12)

1. Alpern, B., Schneider, F.B.: Defining liveness. Inform. Processing Letters 21(4), 181-185 (1985)
2. Bauer, L., Ligatti, J., Walker, D.: Edit automata: Enforcement mechanisms for run-time security policies. Int. J. of Inform. Sec. 4(1-2), 2-16 (2005)
3. Bielova, N., Massacci, F.: Do you really mean what you actually enforced? In: Proc. of the FAST 2009 workshop, vol. 5491, pp. 287-301. Springer, Heidelberg (2008)
4. Erlingsson, U.: The Inlined Reference Monitor Approach to Security Policy Enforcement. Technical report 2003-1916, Department of Computer Science, Cornell University (2003)
5. Fong, P.W.L.: Access control by tracking shallow execution history. In: Proc. of Symp. on Sec. and Privacy, pp. 43-55. IEEE, Los Alamitos (2004)
6. Hamlen, K.W., Morrisett, G., Schneider, F.B.: Computability classes for enforcement mechanisms. TOPLAS 28(1), 175-205 (2006)
7. Hamlen, K.W., Morrisett, G., Schneider, F.B.: Certified in-lined reference monitoring on .net. In: Proc. of the workshop on Prog. Lang. and analysis for security (PLAS 2006), pp. 7-16. ACM Press, New York (2006)
8. Lamport, L.: Proving the correctness of multiprocess programs. TSE SE-3(2), 125-143 (1977)
9. Ligatti, J.: Policy Enforcement via Program Monitoring. PhD thesis, Princeton University (2006)
10. Ligatti, J., Bauer, L., Walker, D.: Run-time enforcement of nonsafety policies. ACM Transactions on Inf. and Sys. Sec. (TISSEC) 12(3), 1-41 (2009)
11. Schneider, F.B.: Enforceable security policies. ACM Transactions on Inf. and Sys. Sec. (TISSEC) 3(1), 30-50 (2000)
12. Talhi, C., Tawbi, N., Debbabi, M.: Execution monitoring enforcement under memory-limitation constraints. Inform. and Comp. 206(2-4), 158-184 (2007)