Security Engineering for Lifelong Evolvable Systems

Algorithms for Security-by-Contract on Multi-Application Java Cards

TitleAlgorithms for Security-by-Contract on Multi-Application Java Cards
Publication TypeJournal Article
Year of Publication2011
Refereed DesignationRefereed
AuthorsN.Dragoni, O. Gadyatskaya, F. Massacci, and A. Philippov
JournalJournal of Critical Computer-Based Systems