Implementing a High-Assurance Smart-Card OS.

Paul A. Karger, David C. Toll, Elaine R. Palmer, Suzanne McIntosh, Samuel Weber, Jonathan W. Edwards

Browse the full FC paper archive.