Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols (Q6485963)
From MaRDI portal
scientific article; zbMATH DE number 7636327
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols |
scientific article; zbMATH DE number 7636327 |
Statements
Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols (English)
0 references
22 December 2022
0 references
