Security-by-Contract for Applications Evolution in Multi-Application Smart Cards

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

Original language	English
Title of host publication	4th Nordic Workshop on Dependability and Security (NODES 2010)
Publisher	Technical University of Denmark, DTU Informatics, Building 321
Publication date	2010
Publication status	Published - 2010
Event	4th Nordic Workshop on Dependability and Security - Copenhagen, Denmark Duration: 22 Apr 2010 → 23 Apr 2010 Conference number: 4

Conference	4th Nordic Workshop on Dependability and Security
Number	4
Country/Territory	Denmark
City	Copenhagen
Period	22/04/2010 → 23/04/2010

OpenUrl availability

@inproceedings{ee5ac302335949968385e1171bb4cf97,

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

author = "Nicola Dragoni",

year = "2010",

language = "English",

booktitle = "4th Nordic Workshop on Dependability and Security (NODES 2010)",

publisher = "Technical University of Denmark, DTU Informatics, Building 321",

note = "4th Nordic Workshop on Dependability and Security, (NODES10 ; Conference date: 22-04-2010 Through 23-04-2010",

}

TY - GEN

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

AU - Dragoni, Nicola

N1 - Conference code: 4

PY - 2010

Y1 - 2010

M3 - Article in proceedings

BT - 4th Nordic Workshop on Dependability and Security (NODES 2010)

PB - Technical University of Denmark, DTU Informatics, Building 321

T2 - 4th Nordic Workshop on Dependability and Security

Y2 - 22 April 2010 through 23 April 2010

ER -