Security Engineering for High Assurance, Policy-Based Applications

2002 ◽  
Author(s):  
David Rosenthal ◽  
Francis Fung ◽  
Stephen Garland ◽  
Andrew Myers ◽  
David Evans
Keyword(s):  
Security Engineering ◽  
High Assurance

High Assurance Computer Systems: A Research Agenda

1995 ◽  
Author(s):  
John McLean ◽  
Constance Heitmeyer
Keyword(s):  
Research Agenda ◽  
Computer Systems ◽  
High Assurance

High Assurance Virtualization Engine (HAVEN)

2009 ◽  
Author(s):  
Ramesh Karri ◽  
Nasir Memon ◽  
Vikram Padman ◽  
Pratik Mathur
Keyword(s):  
High Assurance

High Assurance Testbed for Multilevel Interoperability, 2004 Developments

2004 ◽  
Author(s):  
Cynthia E. Irvine ◽  
Thuy D. Nguyen ◽  
Timothy E. Levin
Keyword(s):  
High Assurance

Security Engineering Pilot

2013 ◽  
Author(s):  
Barry Horowitz ◽  
Bill Melvin
Keyword(s):  
Security Engineering
Sign in / Sign up

Export Citation Format

Share Document