Title of article :
Automated Design of Security Protocols
Author/Authors :
Chen-Hao Liu، نويسنده , , John A. Clark and Jeremy L. Jacob، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Pages :
14
From page :
503
To page :
516
Keywords :
BAN logic • security protocols • automated protocol synthesis • simulated annealing
Journal title :
Computational Intelligence
Serial Year :
2004
Journal title :
Computational Intelligence
Record number :
311370
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=311370
بازگشت