|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
High Assurance Smart Cards for Multinational Coalitions and Other Applications of National Security
If you have a question about this talk, please contact Joseph Bonneau.
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.
This talk is part of the Computer Laboratory Security Seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsSoft Condensed MatterTermly Meeting Eurocrisis Conference 14-15 June CU Native Spirit Society
Other talksR&D Management Conference - From Science to Society - Innovation and Value Creation Artificial photosynthesis—From catalysts to devices for water splitting Tutorial 1: Data Linkage – Introduction, Recent Advances, and Privacy Issues Metabolomics 2016 Local Analogs for High-redshift Galaxies: Interstellar Medium Conditions and Metallicities in High-redshift Galaxies Data Dissemination: A Survey of Recent Approaches, Challenges, and Connections to Data Linkage