- Tytuł:
- Analysis of cryptographic protocols using logics of belief: an overview
- Autorzy:
- Monniaux, D.
- Data publikacji:
- 2002
- Słowa kluczowe:
-
protokół kryptograficzny
kryptografia
cryptographic protocols
logics of belief
BAN
GNY
decidability - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł