Relaxed Conditions for Secrecy in a Role-Based Specification
arXiv:1801.08410
Abstract
In this paper, we look at the property of secrecy through 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.
The initial version of this paper was published in the International Journal of Information Security, 2014. V1, pp 33-36. This is an enhanced version and an extended one of it that includes the proofs of correcntess of increasing protocols. It is a prerequisite for arXiv:1408.2774 and all the series of other papers related to witness functions