Using Edit Automata for Rewriting-Based Security Enforcement

Data and Applications Security XXIII - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03007-9_12 ◽

2009 ◽

pp. 175-190 ◽

Author(s):

Hakima Ould-Slimane ◽

Mohamed Mejri ◽

Kamel Adi

Keyword(s):

Download Full-text

Security Policies Enforcement Using Finite Edit Automata

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2009.06.037 ◽

2009 ◽

Vol 229 (3) ◽

pp. 19-35 ◽

Author(s):

Danièle Beauquier ◽

Joëlle Cohen ◽

Ruggero Lanotte

Keyword(s):

Security Policies ◽

Download Full-text

Team Edit Automata for Testing Security Property

Third International Symposium on Information Assurance and Security ◽

10.1109/ias.2007.45 ◽

2007 ◽

Author(s):

Zhenrong Yang ◽

Aiman Hanna ◽

Mourad Debbabi

Keyword(s):

Edit Automata ◽

Security Property

Download Full-text

Implementing real-time transactional security property using timed edit automata

Proceedings of the 6th International Conference on Security of Information and Networks - SIN '13 ◽

10.1145/2523514.2523578 ◽

2013 ◽

Author(s):

N. Rajamanickam ◽

R. Nadarajan

Keyword(s):

Real Time ◽

Edit Automata ◽

Security Property

Download Full-text

Security policies enforcement using finite and pushdown edit automata

International Journal of Information Security ◽

10.1007/s10207-013-0195-8 ◽

2013 ◽

Vol 12 (4) ◽

pp. 319-336 ◽

Author(s):

Danièle Beauquier ◽

Joëlle Cohen ◽

Ruggero Lanotte

Keyword(s):

Security Policies ◽

Download Full-text

Edit automata: enforcement mechanisms for run-time security policies

International Journal of Information Security ◽

10.1007/s10207-004-0046-8 ◽

2005 ◽

Vol 4 (1-2) ◽

pp. 2-16 ◽

Author(s):

Jay Ligatti ◽

Lujo Bauer ◽

David Walker

Keyword(s):

Security Policies ◽

Run Time ◽

Edit Automata ◽

Enforcement Mechanisms

Download Full-text

Team Edit Automata for Testing Security Property

Third International Symposium on Information Assurance and Security ◽

10.1109/isias.2007.4299780 ◽

2007 ◽

Author(s):

Zhenrong Yang ◽

Aiman Hanna ◽

Mourad Debbabi

Keyword(s):

Edit Automata ◽

Security Property

Download Full-text