A Symbolic Framework to Analyse Physical Proximity in Security Protocols (Q5090968)
From MaRDI portal
scientific article; zbMATH DE number 7561334
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Symbolic Framework to Analyse Physical Proximity in Security Protocols |
scientific article; zbMATH DE number 7561334 |
Statements
21 July 2022
0 references
cryptographic protocols
0 references
verification
0 references
formal methods
0 references
process algebra
0 references
dolev-Yao model
0 references
A Symbolic Framework to Analyse Physical Proximity in Security Protocols (English)
0 references
