Is it possible to decide whether a cryptographic protocol is secure or not?

We consider the so called ``cryptographic protocols`` whose aim is to ensure some security properties when communication channels are not reliable. Such protocols usually rely on cryptographic primitives. Even if it is assumed that the cryptographic primitives are perfect, the security goals may no...

Full description

Bibliographic Details
Main Authors: Hubert Comon, Vitaly Shmatikov
Format: Article
Language:English
Published: National Institute of Telecommunications 2002-12-01
Series:Journal of Telecommunications and Information Technology
Subjects:
Online Access:https://jtit.pl/jtit/article/view/149