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!
Already subscribed? Log in!
Results and limitations
Conclusion
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!
