Checking secure interactions of smart card applets
BieberP., CazinJ., GirardP., WielsV., ZanonG. · 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 level...