Title of article :
Strategy for Verifying Security Protocols with Unbounded Message Size
Author/Authors :
Y. Chevalier and L. Vigneron ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Keywords :
security protocols , Flaw detection , Verification , intruder model , automatic strategies
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
