Keywords of "Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus"
- Label
- Keywords of "Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus" (literal)
- Parole chiave di "Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus" (literal)
- Insieme di parole chiave di
- Ha membro
- Formal specification (Parola chiave)
- Java (Parola chiave)
- Spi Calculus (Parola chiave)
- Cryptographic Protocols (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Membro di
- Java (Parola chiave)
- Spi Calculus (Parola chiave)
- Formal specification (Parola chiave)
- Cryptographic Protocols (Parola chiave)
