Validation of security policies by the animation of Z specifications

2011 ◽  
Author(s):  
Yves Ledru ◽  
Nafees Qamar ◽  
Akram Idani ◽  
Jean-Luc Richier ◽  
Mohamed-Amine Labiadh
Keyword(s):  
Security Policies

Scaling Proof-Carrying Code to Production Compilers and Security Policies

2005 ◽  
Author(s):  
Andrew W. Appel ◽  
Edward W. Felton ◽  
David P. Walker ◽  
Zhong Shao ◽  
Valery Trifonov
Keyword(s):  
Security Policies
Sign in / Sign up

Export Citation Format

Share Document