Developing and Testing a Smart Card Application

We present our solution to design and test a security sensitive SmartCard application written in Java using a classical SmartCard. The design concentrates on the modeling of an interface between the user application and the SmartCard. Furthermore, we describe how to test the different levels of this interface. 1 Introduction The has been a considerable amount of work in the last years in moving towards Java as a universal language for desktop and business applications. At the same time, much effort has been spent to design and implement SmartCard security interfaces for authentification, digital signatures and, wherever needed, encryption. Almost all of these solutions were realized using SmartCards having their own proprietary operating system. Moreover, the classical language for the device drivers is C. Since JavaCards are not considered to be ready as an alternative for some time, one should seriously think of connecting the Java application to existing SmartCards through a native ..