Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA (Q6104494)
From MaRDI portal
scientific article; zbMATH DE number 7703762
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA |
scientific article; zbMATH DE number 7703762 |
Statements
Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA (English)
0 references
28 June 2023
0 references
