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