Search the dblp DataBase

Publications of Author

1. Boniface Hicks, Sandra Rueda, Luke St. Clair, Trent Jaeger, Patrick Drew McDaniel
   A logical specification and analysis for SELinux MLS policy. [Citation Graph (0, 0)][DBLP]
   SACMAT, 2007, pp:91-100 [Conf]
   
2. 
   Protecting users from "themselves". [Citation Graph (, )][DBLP]
   
   
3. 
   Flexible security configuration for virtual machines. [Citation Graph (, )][DBLP]
   
   
4. 
   An architecture for enforcing end-to-end access control over web applications. [Citation Graph (, )][DBLP]
   
   
5. 
   Analysis of virtual machine system policies. [Citation Graph (, )][DBLP]
   
   
6. 
   From Trusted to Secure: Building and Executing Applications That Enforce System Security. [Citation Graph (, )][DBLP]
   
   
7. 
   Verifying Compliance of Trusted Programs. [Citation Graph (, )][DBLP]