Analysis and Run-Time Verification of Dynamic Security Policies

2006 ◽  
pp. 92-103 ◽  
Author(s):  
Helge Janicke ◽  
François Siewe ◽  
Kevin Jones ◽  
Antonio Cau ◽  
Hussein Zedan
Keyword(s):  
Security Policies ◽  
Dynamic Security ◽  
Run Time

scholarly journals Program Transformations under Dynamic Security Policies

2004 ◽  
Vol 99 ◽  
pp. 49-86 ◽  
Author(s):  
Massimo Bartoletti ◽  
Pierpaolo Degano ◽  
Gian Luigi Ferrari
Keyword(s):  
Security Policies ◽  
Program Transformations ◽  
Dynamic Security

Edit automata: enforcement mechanisms for run-time security policies

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

scholarly journals An approach for deploying and monitoring dynamic security policies

2016 ◽  
Vol 58 ◽  
pp. 20-38 ◽  
Author(s):  
Jose-Miguel Horcas ◽  
Mónica Pinto ◽  
Lidia Fuentes ◽  
Wissam Mallouli ◽  
Edgardo Montes de Oca
Keyword(s):  
Security Policies ◽  
Dynamic Security

Research on permission revocation in dynamic security policies

2009 ◽  
Vol 29 (7) ◽  
pp. 1809-1812
Author(s):  
Tao WANG ◽  
Qing-kai ZENG
Keyword(s):  
Security Policies ◽  
Dynamic Security

Dynamic Security Policies Enforcement and Adaptation Using Aspects

2015 ◽  
Author(s):  
Muhammad Sabir Idrees ◽  
Samiha Ayed ◽  
Nora Cuppens-Boulahia ◽  
Frederic Cuppens
Keyword(s):  
Security Policies ◽  
Dynamic Security

Compile-Time Enforcement of Dynamic Security Policies

2008 ◽  
Author(s):  
David M. Eyers ◽  
Sriram Srinivasan ◽  
Ken Moody ◽  
Jean Bacon
Keyword(s):  
Security Policies ◽  
Dynamic Security
Sign in / Sign up

Export Citation Format

Share Document