Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2013
Type of Publication:	In Proceedings
Authors:	Gadyatskaya, Olga Massacci, Fabio
Editor:	Giachino, Elena and Hähnle, Reiner and Boer, FrankS. and Bonsangue, MarcelloM.
Book title:	Formal Methods for Components and Objects
Pages:	197-215


ISBN:	978-3-642-40614-0

@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", }
Note:	partner: UNITN; project: NESSoS; no tier; citation: 0
Online version [Bibtex]