—In this paper, we examine the property of secrecy in cryptographic protocols from the angle of the growth of the protocol. Intuitively, an increasing protocol preserves the secret. For that, we need functions to estimate the security of messages. Here, we give relaxed conditions on the functions and on the protocol and we prove that an increasing protocol is correct when analyzed with functions that meet these conditions. Then, we shortly introduce the witness-functions to analyze protocols for secrecy
—Cryptographic protocol, role-based specification, secrecy.
Jaouhar Fattahi and Mohamed Mejri are with LSI Group, Laval University, Quebec, Canada (e-mail: email@example.com, Mohamed.Mejri@ift.ulaval.ca).
Hanane Houmani is with University Hassan II, Morocco (e-mail: Hanane.Houmani@ift.ulaval.ca).
Cite: Jaouhar Fattahi, Mohamed Mejri, and Hanane Houmani, "Introduction to the Witness-Functions for Secrecy in Cryptographic Protocols," International Journal of Modeling and Optimization vol. 5, no. 3, pp. 186-191, 2015.