Symbolic protocol analysis for monoidal equational theories (2008)

by S Delaune, P Lafourcade, D Lugiez, R Treinen
Venue:Inf. Comp