Overview
Français
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.
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
Cryptographic protocols: analysis using formal methods
Cryptographic protocols
References
Some recent theses
Websites
AVISPA tool platform
http://www.avispa-project.org/
EVA tool platform
Introducing the PROUVÉ project
...
The Ultimate Scientific and Technical Reference
