Chiara Bodei Mikael Buchholtz Pierpaolo Degano Flemming Nielson Hanne Riis Nielson Static validation of security protocols. 347-390 2005 13 Journal of Computer Security 3 http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-227X&volume=13&issue=3&spage=347 db/journals/jcs/jcs13.html#BodeiBDNN05