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

• Autorzy: Comon H. , Shmatikov V.
• Języki publikacji: EN

Abstrakty

EN

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 not be achieved: the protocol itself may have weaknesses which can be exploited by an attacker. We survey recent work on decision techniques for the cryptographic protocol analysis.

Słowa kluczowe

EN

cryptographic protocols; decision procedures; logic; security

PL

protokół kryptograficzny; kryptografia; bezpieczeństwo

• Wydawca: Instytut Łączności - Państwowy Instytut Badawczy
• Czasopismo: Journal of Telecommunications and Information Technology
• Rocznik: 2002
• Tom: nr 4
• Strony: 5--15
• Opis fizyczny: Bibliogr. 54 poz.

Twórcy

autor

Comon H.

autor

Shmatikov V.

• LSV/ Ecole Normale Superieure de Cachan & CNRS UMR, Cachan Cedex, France,