Workshop on
Foundations of Computer Security - FCS'03
Ottawa, Canada, 26-27 June 2003
Secure Protocols for Secrecy
Hanane Houmani and Mohamed Mejri (Laval University - Canada)
Abstract
This paper aims to ensure the correctness of cryptographic protocols with
respect to the secrecy property. The idea is to establish some sufficient
conditions (hypotheses) under which the correctness of a given protocol is
guaranteed. Intuitively, a protocol is said to be correct with respect to
the secrecy property if every valid trace (a trace in which all honest
agents act according to the protocols specification and any message used by
the intruder is previously defined) does not leak any sensitive information.
To this end, we give some conditions that restrict what honest users
participating in the protocol can send as messages.