Overview
ABSTRACT
Read this article from a comprehensive knowledge base, updated and supplemented with articles reviewed by scientific committees.
Read the articleAUTHOR
-
Véronique CORTIER: CNRS Research Associate at LORIA (Laboratoire lorrain de recherche en informatique et ses applications)
INTRODUCTION
Cryptographic protocols are short message exchange programs based on encryption. They are designed to secure computer networks. They are notoriously difficult to design and analyze. The application of formal methods has now proved its worth for fault detection and proof of security.
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Cryptographic protocols: analysis using formal methods
Cryptographic protocols
Article included in this offer
"Mathematics"
(
165 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!
