Formalisation and verification of Java Card security properties in dynamic logic (2005)

by W Mostowski
Venue:in: M. Cerioli (Ed.), Proceedings, Fundamental Approaches to Software Engineering (FASE) Conference 2005