- 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 - Źródło:
-
Journal of Telecommunications and Information Technology; 2002, 4; 5-15
1509-4553
1899-8852 - Język:
- angielski
- Prawa:
- Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
- Dostawca treści:
- Biblioteka Nauki
- Artykuł