Sciweavers

ICFEM
2009
Springer

Improving Automatic Verification of Security Protocols with XOR

13 years 1 months ago
Improving Automatic Verification of Security Protocols with XOR
Abstract. K
Xihui Chen, Ton van Deursen, Jun Pang
Added 19 Feb 2011
Updated 19 Feb 2011
Type Journal
Year 2009
Where ICFEM
Authors Xihui Chen, Ton van Deursen, Jun Pang
Comments (0)