- Tytuł:
- Is it possible to decide whether a cryptographic protocol is secure or not?
- Autorzy:
-
Comon, H.
Shmatikov, V. - Powiązania:
- https://bibliotekanauki.pl/articles/309417.pdf
- Data publikacji:
- 2002
- Wydawca:
- Instytut Łączności - Państwowy Instytut Badawczy
- Tematy:
-
protokół kryptograficzny
kryptografia
bezpieczeństwo
cryptographic protocols
decision procedures
logic
security - Opis:
- 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.
- Źródło:
-
Journal of Telecommunications and Information Technology; 2002, 4; 5-15
1509-4553
1899-8852 - Pojawia się w:
- Journal of Telecommunications and Information Technology
- Dostawca treści:
- Biblioteka Nauki
Artykuł