@inproceedings{e43d2aaf90674659baf8228ebbb06f75,
title = "Controlling application interactions on the novel smart cards with security-by-contract",
abstract = "In this paper we investigate novel use cases for open multi-application smart card platforms. These use cases require a fine-grained access control mechanism to protect the sensitive functionality of on-card applications. We overview the Security-by-Contract approach that validates at load time that the application code respects the interaction policies of other applications already on the card, and discuss how this approach can be used to address the challenging change scenarios in the target use cases. {\textcopyright} 2013 Springer-Verlag.",
author = "O. Gadyatskaya and F. Massacci",
year = "2013",
doi = "10.1007/978-3-642-40615-7_7",
language = "English",
isbn = "9783642406140",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "197--215",
booktitle = "Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Revised Lectures",
note = "11th International Symposium on Formal Methods for Components and Objects, FMCO 2012 ; Conference date: 24-09-2012 Through 28-09-2012",
}