Using formal methods to cultivate trust in smart card operating systems

Alberda, Marjan I. and Hartel, Pieter H. and Jong de, Eduard K. (1997) Using formal methods to cultivate trust in smart card operating systems. Future Generation Computer Systems, 13 (1). pp. 39-54. ISSN 0167-739X

Preview

PDF
1361Kb

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 specific 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 reason about properties of the language, which results in more trustworthy software. We explore this process by specifying the core of a proprietary systems programming language for smart card operating systems. We show how the specification obtained is used in proofs, and in the development of tool support.
Item Type:	Article
Copyright:	© 1997 Elsevier Science B.V.
Link to this item:	http://purl.utwente.nl/publications/55697
Official URL:	http://dx.doi.org/10.1016/S0167-739X(97)89110-8
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page