- Tytuł:
- Process calculi and the verification of security protocols
- Autorzy:
-
Boreale, M.
Gorla, D. - Data publikacji:
- 2002
- Wydawca:
- Instytut Łączności - Państwowy Instytut Badawczy
- Tematy:
-
protokół kryptograficzny
kryptografia
bezpieczeństwo
cryptographic protocols
Dolev-Yao model
observational equivalence
process calculi
spi calculus - Dostawca treści:
- Biblioteka Nauki
Artykuł