Ensuring Confidentiality in Cryptographic Protocols with the Witness-Functions

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.