• Dec 31, 2019 News!Welcome Assoc. Prof. David E. Breen from USA to join the Editorial board of IJMO.   [Click]
  • May 13, 2022 News!Vol. 12, No. 3 has been published with online version.   [Click]
  • Dec 24, 2021 News!Vol 11, No 1- Vol 11, No 2 has been indexed by IET-(Inspec)   [Click]
General Information
Prof. Adrian Olaru
University Politehnica of Bucharest, Romania
I'm happy to take on the position of editor in chief of IJMO. It's a journal that shows promise of becoming a recognized journal in the area of modelling and optimization. I'll work together with the editors to help it progress.
IJMO 2015 Vol.5(3): 186-191 ISSN: 2010-3697
DOI: 10.7763/IJMO.2015.V5.459

Introduction to the Witness-Functions for Secrecy in Cryptographic Protocols

Jaouhar Fattahi, Mohamed Mejri, and Hanane Houmani
Abstract—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

Index Terms—Cryptographic protocol, role-based specification, secrecy.

Jaouhar Fattahi and Mohamed Mejri are with LSI Group, Laval University, Quebec, Canada (e-mail: jaouhar.fattahi.1@ulaval.ca, 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.

Copyright © 2008-2022. International Journal of Modeling and Optimization. All rights reserved.
E-mail: ijmo@iacsitp.com