Implementing a High-Assurance Smart-Card OS

2010 ◽  
pp. 51-65 ◽  
Author(s):  
Paul A. Karger ◽  
David C. Toll ◽  
Elaine R. Palmer ◽  
Suzanne K. McIntosh ◽  
Samuel Weber ◽  
...  
Keyword(s):  
Smart Card ◽  
High Assurance

Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card

2003 ◽  
pp. 181-200 ◽  
Author(s):  
Helmut Scherzer ◽  
Ran Canetti ◽  
Paul A. Karger ◽  
Hugo Krawczyk ◽  
Tal Rabin ◽  
...  
Keyword(s):  
Smart Card ◽  
Access Controls ◽  
High Assurance

Smart Card Application Development Using Java

2000 ◽  
Author(s):  
Uwe Hansmann ◽  
Martin S. Nicklous ◽  
Thomas Schäck ◽  
Frank Seliger
Keyword(s):  
Smart Card ◽  
Application Development

Improved remote authentication scheme with smart card

2009 ◽  
Vol 29 (4) ◽  
pp. 950-951
Author(s):  
Xin ZHANG ◽  
Fang-wei LI ◽  
Chun-lan PAN
Keyword(s):  
Smart Card ◽  
Authentication Scheme ◽  
Remote Authentication

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 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
Sign in / Sign up

Export Citation Format

Share Document