• Apr 24, 2017 News! Vol.6, No.4 has been indexed by EI (Inspec).   [Click]
  • Dec 27, 2017 News!2018 the annual meeting of IJMO Editorial Board, ECDMO 2018, will be held in Krakow, Poland, February 10-12, 2018.   [Click]
  • Dec 29, 2017 News!Vol 7, No 6 has been published with online version 10 original aritcles from 6 countries are published in this issue    [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