Overview
ABSTRACT
The quality/reliability approach is not as demanding in computing as in domains such as mechanics. However, in sectors such as the aerospace industry or information safety, quality, reliability and safety are paramount in every computing project. The European project AVISPA is dedicated to the development of validation techniques for safety protocols in order to make them available to the engineers who develop such protocols. The dual objective was to develop efficient validation and provide access to these performances to non-specialists.
Read this article from a comprehensive knowledge base, updated and supplemented with articles reviewed by scientific committees.
Read the articleINTRODUCTION
The European AVISPA project is dedicated to the development of security protocol validation techniques, to make them easily available to engineers developing these protocols. The twofold challenge was to be both efficient in this validation and to make these performances accessible to non-specialists.
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Vérifier automatiquement les protocoles de sécurité
Security protocols, applications and challenges
Bibliography
References
- (1) - MANICORE (J.-M.) - Bénéfices environnementaux envisageables liés à l'introduction du télétravail - . Ministère de l'Industrie (2001). http://www.manicore.com/documentation/teletravail/OSI_synthese.html ...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Article included in this offer
"Networks and Telecommunications"
(
176 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
