MaudeNPA: Cryptographic protocol analysis modulo equational properties (2009)

by Santiago Escobar, Catherine Meadows, Jos Meseguer
Venue:Foundations of Security Analysis and Design V, volume 5705 of Lecture Notes in Computer Science