TY  - JOUR
AU  - Canh Minh Do
AU  - Riesco Rodríguez, Adrián
AU  - Santiago Escobar
AU  - Kazuhiro Ogata
PY  - 2025
DO  - 10.1109/TDSC.2025.3589584
UR  - https://hdl.handle.net/20.500.14352/122624
T2  - IEEE Transactions on Dependable and Secure Computing
AB  - Maude-NPA is a formal verification tool for analyzing cryptographic protocols in the Dolev-Yao strand space model modulo an equational theory defining the cryptographic primitives. It starts from an attack state to find counterexamples or conclude...
LA  - eng
PB  - IEEE
TI  - Parallel Maude-NPA for Cryptographic Protocol Analysis
TY  - journal article
ER  -