3. Safety features
A security property is any property that a protocol seeks to ensure. The most common properties are secrecy and authentication.
3.1 Secret
A protocol is generally said to ensure the secrecy of a piece of data if the intruder cannot find out about it.
Among secrecy properties, we distinguish between global and local properties: we can ask for a piece of data to be secret "all the time", or for it to be secret "until the corresponding session is over". The first notion is easier to model, since it suffices to express that the intruder can never deduce the secret. The second property requires a more precise model to express the beginning and end of sessions.
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Safety features
Modeling
Article included in this offer
"Mathematics"
(
167 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
References
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
