Security protocols, applications and challenges
Automatically check safety protocols
Article REF: RE95 V1
Security protocols, applications and challenges
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?

1. Security protocols, applications and challenges

Yohan BOICHUT, after a thesis in the INRIA-CASSIS project, is currently a post-doctoral fellow in the INRIA-LANDE project in Rennes.

Pierre-Cyrille HÉAM and Olga KOUCHNARENKO are respectively Senior Lecturer and Professor at the Computer Science Laboratory of the University of Franche-Comté, and members of the INRIA-CASSIS project.

All three took part in the European AVISPA project.

At a time when French rents are being massively equipped with high-speed Internet connections, when cell phones are being enhanced with new functionalities, when people are declaring their income via the Internet, the need to ensure the confidentiality of messages and data (for commercial, ethical or legal reasons) has increased considerably. As the thousands of kilometers of telephone cable...

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?


Ongoing reading
Security protocols, applications and challenges

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