5. Results and limitations
5.1 Automatic analysis tools
In this formal framework, however, the preservation of secrecy by a protocol is an undecidable problem, i.e. it can be shown
the number of agents is arbitrary;
the number of sessions is arbitrary;
at each stage, the number of possible actions is arbitrary, as the opponent can send any deducible message of his choice;
new arbitrary...
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
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
Results and limitations
References
Some recent theses
Websites
AVISPA tool platform
http://www.avispa-project.org/
EVA tool platform
Introducing the PROUVÉ project
...Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
The Ultimate Scientific and Technical Reference