4. Modeling
To describe protocols, we have so far used an intuitive representation. This presentation is in fact very ambiguous, as only the normal course of the protocol is described. In the case of the Needham-Schroeder protocol, we don't know whether the second agent tests whether the nonce received is indeed a nonce, what it does if the message is not of the expected form or, above all, what exactly the agent's "expected form" is.
The study of cryptographic protocols therefore begins with an initial modeling stage. Over the last four years or so, numerous models dedicated to protocols have been developed. The model chosen here is based on a deductive system.
4.1 Perfect encryption hypothesis
When it comes to verifying cryptographic protocols,...
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
Modeling
Results and limitations
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
