Strategy for Verifying Security Protocols with Unbounded Message Size.

Yannick Chevalier Laurent Vigneron Strategy for Verifying Security Protocols with Unbounded Message Size. 141-166 2004 11 Autom. Softw. Eng. 2 http://springerlink.metapress.com/index/10.1023/B:AUSE.0000017741.10347.9b db/journals/ase/ase11.html#ChevalierV04