An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA.
Damián Aparicio-SánchezSantiago EscobarRaúl GutiérrezJulia SapiñaPublished in: ESORICS (2) (2020)
Keyphrases
- equational theories
- lightweight
- theorem proving
- cryptographic protocols
- coloured petri nets
- authentication protocol
- communication protocol
- transformation rules
- linear transformation
- formal specification
- theoretical framework
- relational databases
- database
- tcp ip
- logic programs
- ip address
- function symbols
- key agreement protocol
- artificial intelligence