Supporting Applications' Evolution in Multi-Application Smart Cards by Security-by-Contract

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 4th Workshop in Information Security Theory and Practices
Publication date	2010
Publication status	Published - 2010
Event	4th Workshop in Information Security Theory and Practices - Passau, Germany Duration: 12 Apr 2010 → 14 Apr 2010 Conference number: 4

Workshop	4th Workshop in Information Security Theory and Practices
Number	4
Country/Territory	Germany
City	Passau
Period	12/04/2010 → 14/04/2010

OpenUrl availability

@inproceedings{53ccd5b5b43f430db605306bc01aaf26,

title = "Supporting Applications' Evolution in Multi-Application Smart Cards by Security-by-Contract",

author = "Nicola Dragoni and Olga Gadyatskaya and Fabio Massacci",

year = "2010",

language = "English",

booktitle = "Proceedings of the 4th Workshop in Information Security Theory and Practices",

note = "4th Workshop in Information Security Theory and Practices, WISTP ; Conference date: 12-04-2010 Through 14-04-2010",

}

TY - GEN

T1 - Supporting Applications' Evolution in Multi-Application Smart Cards by Security-by-Contract

AU - Dragoni, Nicola

AU - Gadyatskaya, Olga

AU - Massacci, Fabio

N1 - Conference code: 4

PY - 2010

Y1 - 2010

M3 - Article in proceedings

BT - Proceedings of the 4th Workshop in Information Security Theory and Practices

T2 - 4th Workshop in Information Security Theory and Practices

Y2 - 12 April 2010 through 14 April 2010

ER -