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.
Abstract is missing.