@inproceedings{18e11436ce1f4c34825a35058632dfa4,
title = "A load time policy checker for open multi-application smart cards",
abstract = "Applications on multi-application smart cards contain sensitive data and can exchange information. Thus a major concern is that these applications should not exchange data unless permitted by their respective policy. As modern smart cards allow post-issuance installation and removal of applications, traditional approaches for information flow analysis are not suitable. We suggest the Security-by-Contract approach for loading time application certification on the card, that will enable the stakeholders with the means to ensure the compliance of every update of the card with their security policy. We describe an extension of the card security architecture to deal with verification for different types of updates and present a Java Card prototype implementation of the Policy Checker with performance measurements. {\textcopyright} 2011 IEEE.",
author = "N. Dragoni and E. Lostal and O. Gadyatskaya and F. Massacci and F. Paci",
year = "2011",
doi = "10.1109/POLICY.2011.40",
language = "English",
isbn = "9780769543307",
series = "Proceedings - 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, POLICY 2011",
pages = "153--156",
booktitle = "Proceedings - 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, POLICY 2011",
note = "2011 IEEE International Symposium on Policies for Distributed Systems and Networks, POLICY 2011 ; Conference date: 06-06-2011 Through 08-06-2011",
}