- Tytuł:
- Analysis of cryptographic protocols using logics of belief: an overview
- Autorzy:
- Monniaux, D.
- Tematy:
-
protokół kryptograficzny
kryptografia
cryptographic protocols
logics of belief
BAN
GNY
decidability - Pokaż więcej
- Data publikacji:
- 2002
- Wydawca:
- Instytut Łączności - Państwowy Instytut Badawczy
- Dostawca treści:
- Biblioteka Nauki
Artykuł