A Framework for Language-Based Cryptographic Proofs (2008)
Gilles Barthe, Benjamin Grégoire, Romain Janvier, Santiago Zanella Béguelin
Motivation In cryptography, provable security advocates a mathematical approach where the goals and requirements of cryptographic systems are specified precisely, and where the security proof is...
A formal specification of the MIDP 2.0 security model (2008)
Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna
Abstract. This paper presents, to the best of our knowledge, the first formal specification of the application security model defined by the Mobile Information Device Profile 2.0 for Java 2 Micro...