@inproceedings{159d9736f2a8444b84f024a8d1cf1ccb,
title = "Authenticating mandatory access controls and preserving privacy for a high-assurance smart card",
abstract = "This paper presents an authentication protocol for highassurance smart card operating systems that support download of mutually suspicious applications. Such a protocol is required to be part of the operating system, rather than the traditional smart card approach of allowing applications to do authentication, because strong authentication is essential for the operating system to protect one application from another. The protocol itself is based on the existing IKE protocol [13], used for authentication in IPSEC. What is new is the integration of an IKE-like protocol with authentication of mandatory secrecy and integrity access controls, the recognition that a single PKI-hierarchy cannot certify identity and all possible mandatory access rights, and the use of IKE to resolve privacy problems found in existing smart card authentication protocols.",
author = "Helmut Scherzer and Ran Canetti and Karger, {Paul A.} and Hugo Krawczyk and Tal Rabin and Toll, {David C.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2003.; 8th European Symposium on Research in Computer Security, ESORICS 2003 ; Conference date: 13-10-2003 Through 15-10-2003",
year = "2003",
doi = "10.1007/978-3-540-39650-5_11",
language = "אנגלית",
isbn = "3540203001",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "181--200",
editor = "Einar Snekkenes and Dieter Gollmann",
booktitle = "Computer Security - ESORICS 2003",
}