Analysis and Run-Time Verification of Dynamic Security Policies

Author(s):  
Helge Janicke ◽  
François Siewe ◽  
Kevin Jones ◽  
Antonio Cau ◽  
Hussein Zedan
2004 ◽  
Vol 99 ◽  
pp. 49-86 ◽  
Author(s):  
Massimo Bartoletti ◽  
Pierpaolo Degano ◽  
Gian Luigi Ferrari

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

Author(s):  
Muhammad Sabir Idrees ◽  
Samiha Ayed ◽  
Nora Cuppens-Boulahia ◽  
Frederic Cuppens

Sign in / Sign up

Export Citation Format

Share Document