Multi-Application Smart Cards are becoming more prevalent in society as the need to secure electronic transactions increases for both e-commerce and identity verification purposes. This paper studies two Multi-Application Smart Cards and their Operating Systems, namely the MULTOS Card and the Sun Java Card. This research provides an in-depth analysis of the efficacy of the mechanisms used to ve...

This paper describes the design and implementation of a static analysis tool for certifying Java Card applications, according to security rules defined by the smart card industry. Java Card is a dialect of Java designed for programming multi-application smart cards and the tool, called SawjaCard, has been specialised for the particular Java Card programming patterns. The tool is built around a ...

This paper presents some practical issues of a joint project between Gemplus and ONERA. In this approach, a smart card issuer can verify that a new applet securely interacts with already loaded applets. A security policy has been defined that associates levels to applet attributes and methods and defines authorized flows between levels. We propose a technique based on model checking to verify t...

In today’s world carrying a number of plastic smart cards to establish our identity has become an integral segment of our routine lives. Identity establishment necessitates a pre stored readily available data about self and to the administrator to authenticate it with claimer’s personal information. There is a distinct requirement of a technological solution for nationwide multipurpose identity...

An oo-line electronic cash system is presented that ooers appreciably greater security and better privacy than currently considered electronic cash systems with similar functionality. A tamper-resistant smart card, issued by the bank, controls a counter that represents the amount of electronic cash carried by the user. The use of a counter ensures that the computation and communication complexi...

This thesis breaks new ground by providing the first detailed study of smart card innovation during its first twenty years (1974-1996). The overall aim is to apply sociotechnical principles to further our understanding of the innovation process as it relates to smart card technology. By using a sociotechnical framework, this study also seeks to illustrate the Umitations of conventional innovati...

The introduction of smart cards into trusted architectures establishes a clear-cut separation between the roles and responsibilities of both platform and user. On one hand, the Trusted Platform Module (TPM) ensures the platform trustworthiness and secures platform credentials and secrets, while smart cards guarantee user identity and protect user credentials and access authorization. Starting f...

This paper is concerned with the business strategy in managing payment innovations. Particularly, the study looks at the smart card electronic cash (e-cash) innovation in the financial service industry. The smart card e-cash has yet to overcome obstacles to its diffusion. Given the e-commerce opportunity, banks and non-banks compete to deploy smart card technology for Internet use. A review of ...

In recent years, several smart card solutions for transportation services of cities with different technical infrastructures and business models has emerged considerably, which triggers new business and technical opportunities. In order to create a unique system, we present a novel, promising system called Multifunctional City Smart Card System to be used in all cities that provides transportat...

Modern processor architectures have proven their benefits by providing mechanisms that significantly improve the performance of classical operating systems. Yet, it has not been proven that such processors can be as much relevant to the Smart Card context. To start answering this question, we analyze how the Memory Management Unit of the MIPS 4KSc architecture can be used to build efficient mem...