Using formal methods to cultivate trust in smart card operating systems

Share/Save/Bookmark

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

[img]
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

 

Repository Staff Only: item control page