Verification of Security Protocols with Lists: From Length One to Unbounded Length (Q2894316)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of Security Protocols with Lists: From Length One to Unbounded Length |
scientific article |
Statements
Verification of Security Protocols with Lists: From Length One to Unbounded Length (English)
0 references
29 June 2012
0 references
