Corrective enforcement of security policies

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

Volumn 6561 LNCS, Issue , 2011, Pages 176-190

  Khoury, Raphael ^a   Tawbi, Nadia ^a  

^a UNIVERSITÉ LAVAL   (Canada)

Author keywords

Monitors; Program Transformation; Security Policies Enforcement

Indexed keywords

KEY ELEMENTS; MALICIOUS SOFTWARE; MONITORS; PARTIAL ORDER; PROGRAM TRANSFORMATIONS; SECURITY POLICIES ENFORCEMENT; SECURITY POLICY; SECURITY POLICY ENFORCEMENT; SECURITY PROPERTIES;

SEMANTICS;

SECURITY SYSTEMS;

EID: 79952580008     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19751-2_12     Document Type: Conference Paper

References (14)

1. Bauer, L., Ligatti, J., Walker, D.: More enforceable security policies. In: Proceedings of the Foundations of Computer Security Workshop (July 2002)
2. Beauquier, D., Cohen, J., Lanotte, R.: Security policies enforcement using finite edit automata. Electronic Notes in Theoretical Computer Science 229(3), 19-35 (2009)
3. Bielova, N.,Massacci, F.,Micheletti, A.: Towards practical enforcement theories. In: Jøsang, A., Maseng, T., Knapskog, S.J. (eds.) NordSec 2009. LNCS, vol. 5838, pp. 239-254. Springer, Heidelberg (2009)
4. Boebert, W.E., Kain, R.Y.: A practical alternative to hierarchical integrity policies. In: Proceedings of the 8th National Computer Security Conference (September 1985)
5. Brewer, D.F.C., Nash, M.J.: The chinese wall security policy. In: IEEE Symposium on Security and Privacy, pp. 206-214 (1989)
6. Chabot, H., Khoury, R., Tawbi, N.: Generating in-line monitors for rabin automata. In: Jøsang, A., Maseng, T., Knapskog, S.J. (eds.) NordSec 2009. LNCS, vol. 5838, pp. 287- 301. Springer, Heidelberg (2009)
7. Fong, P.: Access control by tracking shallow execution history. In: Proceedings of the 2004 IEEE Symposium on Security and Privacy (May 2004)
8. Hamlen, K.W., Morrisett, G., Schneider, F.B.: Computability classes for enforcement mechanisms. ACM Transactions on Programming Languages and Systems 28(1), 175-205 (2006) (Pubitemid 43943421)
9. Khoury, R., Tawbi, N.: Using equivalence relations for corrective enforcement of security policies. In: The Fifth International Conference Mathematical Methods, Models, and Architectures for Computer Networks Security (2010)
10. Ligatti, J., Bauer, L., Walker, D.: Enforcing non-safety security policies with program monitors. In: Proceedings of the 10th European Symposium on Research in Computer Security (September 2005)
11. Ligatti, J., Reddy, S.: A theory of runtime enforcement, with results. Technical Report USFCSE- SS-102809, University of South Florida (April 2010)
12. Schneider, F.B.: Enforceable security policies. Information and System Security 3(1), 30-50 (2000)
13. Sobel, A.E.K., Alves-Foss, J.: A trace-based model of the chinese wall security policy. In: Proceedings of the 22nd National Information Systems Security Conference (1999)
14. Talhi, C., Tawbi, N., Debbabi, M.: Execution monitoring enforcement under memorylimitations constraints. Information and Computation 206(1), 158-184 (2008)