Cryptographic protocols
Cryptographic protocols: analysis using formal methods

Add to my library

AF176 V1 Article

Cryptographic protocols


Cryptographic protocols: analysis using formal methods

Author : Véronique CORTIER

Publication date: April 10, 2006 | Lire en français

Add to my library Add to my library

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

Already subscribed?

1. Cryptographic protocols

With the development of communication networks such as the Internet and cell phone networks, the need to ensure the confidentiality and authenticity of exchanged messages has grown considerably. Cryptographic protocols are rules of exchange between network points, whose role is precisely to secure communications. They are used, for example, on the Internet for e-commerce or secure access to certain web pages. They are also used daily in ATMs, pay-TV subscriptions, mobile telephony and electronic purses.

As the description of these protocols is generally very short, you'd think it would be easy to check their reliability. This is not the case: new attacks are regularly found, sometimes on protocols that have been known for several years.

The difficulty in designing protocols lies in the fact that the messages exchanged can be listened in...

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

"Mathematics"

( 167 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

Dans les ressources documentaires

Monnaies cryptographiques et blockchains - Créer de la confiance

En 2008, Satoshi Nakamoto définissait un nouveau modèle de monnaies, dont l'émission et la gestion s'opèr...

Créer de la confiance avec les blockchains - Infographie

En 2008 Satoshi Nakamoto définissait un nouveau modèle de monnaies, dont l'émission et la gestion s'opère...

Cryptographie appliquée

La cryptographie est une discipline scientifique à part entière qui utilise des concepts mathématiques et...

Introduction à la sécurité des systèmes d'information (SSI)

La Sécurité des systèmes d'information (SSI) est un domaine extrêmement vaste puisqu'elle fait appel à de...

Tous les livres blancs
Article Blockchain : entre buzz word et réalité
7 March 2019
Blockchain : entre buzz word et réalité

La Blockchain pourrait « révolutionner » différents secteurs d’activité et en particulier tous les intermédiaires de « confiance ». Mais attention au battage mé...

Toutes les actualités
Contact us