NICTA Embedded Systems Public Seminar
High Assurance Smart Cards for Multinational Coalitions and Other Applications of National Security
Dr. Paul A. Karger, IBM Research Division, Thomas J. Watson Research Center
Time/Venue
Friday 13 March 2009, 2pm
NICTA, Neville Roach Laboratory, Level 1 Seminar Room, 223 Anzac Parade (Building L5), Kensington NSW 2052
Abstract
Caernarvon is a high-assurance secure operating system for smart cards, designed to pass the highest levels (EAL7) of the Common Criteria. It includes a multi-organizational mandatory access control model that is designed to provided both security and integrity controls that can scale to cover the entire Internet. These multi-organizational controls can make it much easier to implement applications for multi-national military, electronic visas that could be stored on the same smart card chip as is used for electronic passports.
Biography:
Dr. Karger is a Research Staff Member in IBMs Thomas J. Watson Research Center. His current work is on automated test generation for common criteria evaluations and on developing a high-assurance, penetration-resistant operating system for smart cards, including the design of new mandatory secrecy and integrity access control models for commercial applications. He began his computer security career in the US Air Force where he developed some of the original technology for penetration-resistant computer systems. He founded Digital Equipment Corporations Secure Systems Department, where he was the lead designer on the Security Enhanced VMS operating system prototype and on Digitals A1-secure virtual machine monitor security kernel. He was security architect for the Open Software Foundation and researched wireline and wireless telephone security at GTE Laboratories. Dr. Karger holds SB, SM, and EE degrees from the Massachusetts Institute of Technology, a PhD degree from the University of Cambridge, England, and 13 patents in computer security.