Checking secure interactions of smart card applets: extended version1

Abstract
The Pacap project was partially funded by MENRT décision d’aide 98.B.0251. 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

This publication has 0 references indexed in Scilit: