Title of article :
On the relationships between models in protocol verification
Author/Authors :
Sebastian Modersheim، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Keywords :
Formal verification , Abstraction , Security protocols
Journal title :
Information and Computation
Journal title :
Information and Computation
