• Aug 01, 2018 News! [CFP] 2019 the annual meeting of IJMO Editorial Board, ECDMO 2019, will be held in Amsterdam, Netherlands, February 16-18, 2019.   [Click]
  • Aug 06, 2018 News! Vol.7, No.1- Vol.7, No.4 has been indexed by EI (Inspec).   [Click]
  • Aug 06, 2018 News! Vol.6, No.6 has been indexed by EI (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-2015.International Journal of Modeling and Optimization. All rights reserved.
E-mail: ijmo@iacsitp.com