Can We Support Applications Evolution in Multi-application Smart Cards by Security-by-Contract?

Nicola Dragoni, Olga Gadyatskaya, Fabio Massacci. Can We Support Applications Evolution in Multi-application Smart Cards by Security-by-Contract?. In Pierangela Samarati, Michael Tunstall, Joachim Posegga, Konstantinos Markantonakis, Damien Sauveron, editors, Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices, 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings. Volume 6033 of Lecture Notes in Computer Science, pages 221-228, Springer, 2010. [doi]

@inproceedings{DragoniGM10,
  title = {Can We Support Applications  Evolution in Multi-application Smart Cards by Security-by-Contract?},
  author = {Nicola Dragoni and Olga Gadyatskaya and Fabio Massacci},
  year = {2010},
  doi = {10.1007/978-3-642-12368-9_16},
  url = {http://dx.doi.org/10.1007/978-3-642-12368-9_16},
  tags = {contracts, security},
  researchr = {https://researchr.org/publication/DragoniGM10},
  cites = {0},
  citedby = {0},
  pages = {221-228},
  booktitle = {Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices, 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings},
  editor = {Pierangela Samarati and Michael Tunstall and Joachim Posegga and Konstantinos Markantonakis and Damien Sauveron},
  volume = {6033},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12367-2},
}