Abstract—In this paper, we present a new framework to verify cryptographic protocols statically for the property of confidentiality using the witness-functions. A witness-function is a reliable metric able to prove confidentiality in a cryptographic protocol by measuring security in it. Here, we present the theory of witness-functions and we run an analysis on the flawed version of the Woo-Lam protocol using one of these metrics.

Index Terms—Confidentiality, cryptographic protocols, proof, witness-function.

Jaouhar Fattahi and Mohamed MejriLSI are with the Computer Science and Software Engineering Department, Laval University, Adrien-Pouliot 1065, Avenue of Medicine, Quebec, G1V 0A6, Canada.
Moeiz Miraoui is with the LaTIS, Department of Electrical Engineering, School of Superior Technologies (T. S), 1100, Notre-Dame Ouest, Montreal, H3C 1K3, Canada.
Hanane Houmani is with the ENSEM, University Hassan II, Casablanca, Morocco.

Cite:Jaouhar Fattahi, Mohamed Mejri, Moeiz Miraoui, Hanane Houmani, "Ensuring Confidentiality in Cryptographic Protocols with the Witness-Functions," International Journal of Computer and Communication Engineering vol. 4, no. 4, pp. 219-233, 2015.