Title of article
Formal analysis of modern security protocols
Author/Authors
Alec Yasinsac، نويسنده , , Justin Childs، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
23
From page
189
To page
211
Keywords
formal methods , Weakestpreconditions , network security , Cryptographic protocols
Journal title
Information Sciences
Serial Year
2005
Journal title
Information Sciences
Record number
176796
Link To Document