Towards testability in smart card operating system design


Hartel, Pieter H. and Jong, Eduard K. de (1994) Towards testability in smart card operating system design. In: First Smart Card Research and Advanced Application Conference, CARDIS 1994, Lille, France (pp. pp. 73-88).

open access
Abstract:The operating system of a smart card is a safety critical system. Distributed in millions, smart cards with their small 8-bit CPU support applications where transferred values are only protected by the strength of a cryptographic protocol. This strength goes no further than the implementation of the software in the card and terminal allows. Because of its complexity, to guarantee absolute reliability of the smart card software is prohibitively expensive. Obtaining a high level of confidence in the implementation of a smart card application is essential for their widespread acceptance. A highly structured design of the smart card operating system gives the designer control over the complexity of the system. A functional language has been used to prototype a smart card operating system. The prototype has the same structure as the real operating systemand it offersmost of the functionality of the real system. The well defined semantics of pure functional languages and their compositionality in particular are instrumental to the structuring of the prototype. With the functional language implementation as reference, the reliability of the implementation can be assessed in detail
Item Type:Conference or Workshop Item
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page