An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis (Q6052948)
From MaRDI portal
scientific article; zbMATH DE number 7741961
Language | Label | Description | Also known as |
---|---|---|---|
English | An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis |
scientific article; zbMATH DE number 7741961 |
Statements
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis (English)
0 references
25 September 2023
0 references
narrowing
0 references
SMT solver
0 references
Maude
0 references
security protocols
0 references
symbolic analysis
0 references
0 references
0 references
0 references