Parole chiave di "A New Knowledge Representation Strategy for Cryptographic Protocol Analysis"
- Label
- Parole chiave di "A New Knowledge Representation Strategy for Cryptographic Protocol Analysis" (literal)
- Keywords of "A New Knowledge Representation Strategy for Cryptographic Protocol Analysis" (literal)
- Insieme di parole chiave di
- A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (Articolo in rivista) (Prodotto della ricerca)
- Ha membro
- free-term algebras (Parola chiave)
- cryptographic protocols (Parola chiave)
- formal analysis (Parola chiave)
- attacker's knowledge (Parola chiave)
- spi calculus (Parola chiave)
Incoming links:
- Insieme di parole chiave
- A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (Articolo in rivista) (Prodotto della ricerca)
- Membro di
- spi calculus (Parola chiave)
- cryptographic protocols (Parola chiave)
- free-term algebras (Parola chiave)
- attacker's knowledge (Parola chiave)
- formal analysis (Parola chiave)
