BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:High Assurance Smart Cards for Multinational Coalitions and Other 
 Applications of National Security - Paul Karger\, IBM Watson Research Cent
 er
DTSTART:20090319T150000Z
DTEND:20090319T160000Z
UID:TALK17522@talks.cam.ac.uk
CONTACT:Joseph Bonneau
DESCRIPTION:Caernarvon is a high-assurance secure operating system for sma
 rt cards\, designed to pass the highest levels (EAL7) of the Common Criter
 ia. It includes a multi-organizational mandatory access control model that
  is designed to provided both security and integrity controls that can sca
 le to cover the entire Internet. These multi-organizational controls can m
 ake it much easier to implement applications for multi-national military\,
  electronic visas that could be stored on the same smart card chip as is u
 sed for electronic passports. 
LOCATION:Lecture Theatre 2\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR