Title of article
Strategy for Verifying Security Protocols with Unbounded Message Size
Author/Authors
Y. Chevalier and L. Vigneron ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
26
From page
141
To page
166
Keywords
security protocols , Flaw detection , Verification , intruder model , automatic strategies
Journal title
Automated Software Engineering
Serial Year
2004
Journal title
Automated Software Engineering
Record number
307126
Link To Document