Français
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.
The Ultimate Scientific and Technical Reference
This article is included in
Mathematics
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Safety features
Modeling
References
Some recent theses
Websites
AVISPA tool platform
http://www.avispa-project.org/
EVA tool platform
Introducing the PROUVÉ project
...
The Ultimate Scientific and Technical Reference
