Vérifier automatiquement les protocoles de sécurité : A little cryptography

A little cryptography
Vérifier automatiquement les protocoles de sécurité

Authors : Yohan BOICHUT, Pierre-Cyrille HÉAM, Olga KOUCHNARENKO

Publication date: October 10, 2007 | Lire en français

Add to my library

2. A little cryptography

On cryptography:

Applied cryptography [H 5 210] by P.-A. Fouque

Cryptographic protocols: analysis using formal methods [AF 176]...

You do not have access to this resource.

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed? Log in!

Ongoing reading
A little cryptography

(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

You do not have access to this resource.

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed? Log in!

Article included in this offer

Updated and enriched with articles validated by our scientific committees

Services

A set of exclusive tools to complement the resources