Title of article :
Formal verification: an imperative step in the design of security protocols
Author/Authors :
Tom Coffey، نويسنده , , Reiner Dojen، نويسنده , , Tomas Flanagan، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Keywords :
BCY protocol attack , cryptography , Modal logics , Security protocols , Formal verification
Journal title :
Computer Networks
Journal title :
Computer Networks
