@inproceedings{Dragoni-WISTP-2010, author = {Nicola Dragoni and Olga Gadyatskaya and Fabio Massacci}, title = {Can We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract?}, 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}, pages = {221--228}, year = {2010} }