Using formal methods to cultivate trust in Smart Card Operating Systems

Abstract

To be widely accepted, smart cards must contain completely trustworthy software. Because smart cards contain relatively simple computers, and are used only for a speciic class of applications, it is feasible to make the language used to program the software components focused and tiny. Formal methods can be used to precisely specify this language and to… (More)
DOI: 10.1016/S0167-739X(97)89110-8

Topics

Cite this paper

@article{Alberda1996UsingFM, title={Using formal methods to cultivate trust in Smart Card Operating Systems}, author={Marjan I. Alberda and Pieter H. Hartel and Eduard K. de Jong Frz}, journal={Future Generation Comp. Syst.}, year={1996}, volume={13}, pages={39-54} }