@inproceedings{dragoni:hal-01059143,
  TITLE = {{Can We Support Applications' Evolution in                                    Multi-Application Smart Cards by Security-by-Contract?}},
  AUTHOR = {Dragoni, Nicola and Gadyatskaya, Olga and Massacci, Fabio},
  URL = {https://inria.hal.science/hal-01059143},
  BOOKTITLE = {{4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP)}},
  ADDRESS = {Passau, Germany},
  EDITOR = {Pierangela Samarati; Michael Tunstall; Joachim Posegga;                                    Konstantinos Markantonakis; Damien Sauveron},
  PUBLISHER = {{Springer}},
  SERIES = {Information Security Theory and Practices. Security                                    and Privacy of Pervasive Systems and Smart Devices},
  VOLUME = {LNCS-6033},
  PAGES = {221-228},
  YEAR = {2010},
  MONTH = Apr,
  DOI = {10.1007/978-3-642-12368-9\_16},
  KEYWORDS = {Security-by-Contract ; multi-application smart card ; illegal information exchange ; security policy enforcement},
  PDF = {https://inria.hal.science/hal-01059143/file/60330223.pdf},
  HAL_ID = {hal-01059143},
  HAL_VERSION = {v1},
}