Checking secure interactions of smart card applets: extended version1
Pierre Bieber, Jacques Cazin, Pierre Girard, J.-L. Lanet, Virginie Wiels, Guy Zanon · Journal of Computer Security · 2002
This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been defined that associates levels to applet attributes and methods and defines author