Cryptographic protocols: analysis using formal methods

Overview

ABSTRACT

Read this article from a comprehensive knowledge base, updated and supplemented with articles reviewed by scientific committees.

Read the article

AUTHOR

Véronique CORTIER : CNRS Research Associate at LORIA (Laboratoire lorrain de recherche en informatique et ses applications)

INTRODUCTION

Cryptographic protocols are short message exchange programs based on encryption. They are designed to secure computer networks. They are notoriously difficult to design and analyze. The application of formal methods has now proved its worth for fault detection and proof of security.

Notations and symbols
Symbol	Definition
A, B, C, a, b, c ...	agent identities
N _a , N _b ...	nonces (randomly generated numbers)
pub (A)	agent A's public key
prv (A)...

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
Cryptographic protocols: analysis using formal methods

Cryptographic protocols

References

(1) - ASOKAN (N.), SHOUP (V.), WAIDNER (M.) - Optimistic fair exchange of digital signatures. - In Advances in Cryptology – Eurocrypt '98, vol. 1403 of LNCS, p. 591-606 (1998).
(2) - BELLARE (M.), DESAI (A.), POINTCHEVAL (D.), ROGAWAY (P.) - Relations among...

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

"Mathematics"

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