DMCA

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

by Wojciech Mostowski
Venue:PROC. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE), EDINBURGH, VOLUME 3442 OF LNCS
Citations:18 - 3 self