Heuristic Methods for Security Protocols

Qurat ul Ain Nizamani Emilio Tuosto Heuristic Methods for Security Protocols http://arxiv.org/abs/0910.4053 2009 CoRR abs/0910.4053 db/journals/corr/corr0910.html#abs-0910-4053 informal publication