6. Conclusion
The analysis of cryptographic protocols using formal methods is still in full development. It has proved its worth on relatively simple authentication protocols, and the current aim is to enable the processing of more complex protocols.
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
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!
