A procedure for deciding symbolic equivalence between sets of constraint systems (Q2013557)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A procedure for deciding symbolic equivalence between sets of constraint systems |
scientific article |
Statements
A procedure for deciding symbolic equivalence between sets of constraint systems (English)
0 references
8 August 2017
0 references
formal methods
0 references
verification
0 references
security protocols
0 references
privacy-type properties
0 references
symbolic model
0 references
