Canonical narrowing with irreducibility constraints as a symbolic protocol analysis method

DOI10.1007/978-3-030-19052-1_4OpenAlexW2946528866MaRDI QIDQ2303359

Santiago Escobar, José Meseguer

Publication date: 3 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-19052-1_4

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Network protocols (68M12)

Related Items (1)

An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis

This page was built for publication: Canonical narrowing with irreducibility constraints as a symbolic protocol analysis method