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
Keywords :
Secure protocols , Belief logic , Simulated annealing , Genetic algorithms
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology