Title of article :
Protocols are programs too: the meta-heuristic search for security protocols
Author/Authors :
John A. Clark، نويسنده , , Jeremy L. Jacob، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2001
Pages :
14
From page :
891
To page :
904
Keywords :
Secure protocols , Belief logic , Simulated annealing , Genetic algorithms
Journal title :
Information and Software Technology
Serial Year :
2001
Journal title :
Information and Software Technology
Record number :
134836
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134836
بازگشت