Sciweavers

CORR
2007
Springer

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

13 years 4 months ago
Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder
Francis Klay, Judson Santiago, Laurent Vigneron
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where CORR
Authors Francis Klay, Judson Santiago, Laurent Vigneron
Comments (0)