A little cryptography
Automatically check safety protocols
Article REF: RE95 V1
A little cryptography
Automatically check safety protocols

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

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

Logo Techniques de l'Ingenieur You do not have access to this resource.
Request your free trial access! Free trial

Already subscribed?

2. A little cryptography

On cryptography:

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

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

...

You do not have access to this resource.
Logo Techniques de l'Ingenieur

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?

Article included in this offer

"Networks and Telecommunications"

( 170 articles )

Complete knowledge base

Updated and enriched with articles validated by our scientific committees

Services

A set of exclusive tools to complement the resources

View offer details
Contact our team FAQ