Home Publications

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

Research Area: Uncategorized Year: 2013
Type of Publication: In Proceedings
  • 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
partner: UNITN; project: NESSoS; no tier; citation: 0