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

Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll

Browse the full ESORICS paper archive.