![](/assets/images/picto-drapeau-france-3a76576a5d60a512053b4612ab58dae5.png)
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!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
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!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference