Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder

Francis Klay Judson Santiago Laurent Vigneron Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder http://arxiv.org/abs/0710.3305 2007 CoRR abs/0710.3305 db/journals/corr/corr0710.html#abs-0710-3305 informal publication