Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 3 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is O. Gadyatskaya  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
Dragoni, N., O. Gadyatskaya, and F. Massacci, "Supporting Software Evolution for Open Smart Cards by Security-by-Contract", Dependability and Computer Engineering: Concepts for Software-Intensive Systems: IGI , 2011.
L
Gadyatskaya, O., F. Massacci, F. Paci, E. Lostal, and N. Dragoni, "A Load Time Policy Checker for Open Multi-application Smart Cards", Policy symposium 2011, Pisa, 2011.
A
N.Dragoni, O. Gadyatskaya, F. Massacci, and A. Philippov, "Algorithms for Security-by-Contract on Multi-Application Java Cards", Journal of Critical Computer-Based Systems, 2011.