- Tytuł:
- Is it possible to decide whether a cryptographic protocol is secure or not?
- Autorzy:
-
Comon, H.
Shmatikov, V. - Data publikacji:
- 2002
- Wydawca:
- Instytut Łączności - Państwowy Instytut Badawczy
- Tematy:
-
protokół kryptograficzny
kryptografia
bezpieczeństwo
cryptographic protocols
decision procedures
logic
security - Dostawca treści:
- Biblioteka Nauki
Artykuł