• Apr 24, 2017 News! Vol.6, No.4 has been indexed by EI (Inspec).   [Click]
  • Apr 24, 2017 News! Vol.6, No.3 has been indexed by EI (Inspec).   [Click]
  • Jun 26, 2017 News!Vol 7, No 4 has been published with online version 12 original aritcles from 6 countries are published in this issue   [Click]
General Information
    • ISSN: 2010-3697
    • Frequency: Bimonthly
    • DOI: 10.7763/IJMO
    • Editor-in-Chief: Prof. Adrian Olaru
    • Executive Editor: Ms.Yoyo Y. Zhou
    • Abstracting/ Indexing: Engineering & Technology Digital Library, ProQuest, Crossref, Electronic Journals Library, Google Scholar, EI (INSPEC, IET).
    • E-mail ijmo@iacsitp.com
Editor-in-chief
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).

[PDF]

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