loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Hanane Houmani and Mohamed Mejri

Affiliation: Laval University, Canada

Keyword(s): Secure communications, Cryptographic protocols, Secrecy, Formal verification, Sufficient conditions.

Related Ontology Subjects/Areas/Topics: e-Commerce Protocols and Micropayment Schemes ; Information and Systems Security ; Mobile System Security ; Network Security ; Wireless Network Security

Abstract: This paper gives sufficient conditions to ensure secrecy property of cryptographic protocols that allow to share a session keys. Indeed, this paper proves that if within a protocol agents don’t decease or increase the security level of components, then this protocol respect the secrecy property. This sufficient condition holds even we change our context of verification (message algebra, intruder capacities or cryptographic assumptions). To verify this condition we use the notion of interpretation functions. An interpretation function is a safe way allowing an agent to appropriately estimate the security level of message components that he receives so that he can handle them correctly.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.192.107.255

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Houmani, H. and Mejri, M. (2008). ENSURING THE CORRECTNESS OF CRYPTOGRAPHIC PROTOCOLS WITH RESPECT TO SECRECY. In Proceedings of the International Conference on Security and Cryptography (ICETE 2008) - SECRYPT; ISBN 978-989-8111-59-3; ISSN 2184-3236, SciTePress, pages 184-189. DOI: 10.5220/0001927401840189

@conference{secrypt08,
author={Hanane Houmani. and Mohamed Mejri.},
title={ENSURING THE CORRECTNESS OF CRYPTOGRAPHIC PROTOCOLS WITH RESPECT TO SECRECY},
booktitle={Proceedings of the International Conference on Security and Cryptography (ICETE 2008) - SECRYPT},
year={2008},
pages={184-189},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001927401840189},
isbn={978-989-8111-59-3},
issn={2184-3236},
}

TY - CONF

JO - Proceedings of the International Conference on Security and Cryptography (ICETE 2008) - SECRYPT
TI - ENSURING THE CORRECTNESS OF CRYPTOGRAPHIC PROTOCOLS WITH RESPECT TO SECRECY
SN - 978-989-8111-59-3
IS - 2184-3236
AU - Houmani, H.
AU - Mejri, M.
PY - 2008
SP - 184
EP - 189
DO - 10.5220/0001927401840189
PB - SciTePress