Sciweavers

71
Voted
ICFEM
2009
Springer
14 years 7 months ago
Improving Automatic Verification of Security Protocols with XOR
Abstract. K
Xihui Chen, Ton van Deursen, Jun Pang