@conference{gadyatskaya-massacci-13-fmco,
author = "Olga Gadyatskaya and Fabio Massacci",
booktitle = "Formal Methods for Components and Objects",
doi = "10.1007/978-3-642-40615-7_7",
editor = "Giachino, Elena and H{\"a}hnle, Reiner and Boer, FrankS. and Bonsangue, MarcelloM.",
isbn = "978-3-642-40614-0",
note = "partner: UNITN; project: NESSoS; no tier; citation: 0",
pages = "197-215",
publisher = "Springer Berlin Heidelberg",
title = "{C}ontrolling {A}pplication {I}nteractions on the {N}ovel {S}mart {C}ards with {S}ecurity-by-{C}ontract",
url = "http://dx.doi.org/10.1007/978-3-642-40615-7_7",
year = "2013",
}