Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model (Q5195250)
From MaRDI portal
scientific article; zbMATH DE number 7106486
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model |
scientific article; zbMATH DE number 7106486 |
Statements
18 September 2019
0 references
PVS
0 references
formalization of security properties
0 references
automated theorem proving
0 references
algebraic specification
0 references
Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model (English)
0 references
