%0 Journal Article %1 journals/jcs/BodeiBDNN05 %A Bodei, Chiara %A Buchholtz, Mikael %A Degano, Pierpaolo %A Nielson, Flemming %A Nielson, Hanne Riis %D 2005 %J Journal of Computer Security %K %N 3 %P 347-390 %T Static validation of security protocols. %U http://dblp.uni-trier.de/db/journals/jcs/jcs13.html#BodeiBDNN05 %V 13

@article{journals/jcs/BodeiBDNN05, added-at = {2023-12-14T16:30:56.000+0100}, author = {Bodei, Chiara and Buchholtz, Mikael and Degano, Pierpaolo and Nielson, Flemming and Nielson, Hanne Riis}, biburl = {https://www.bibsonomy.org/bibtex/236d04ee6bf8fac08181aba7c2481100b/admin}, ee = {http://content.iospress.com/articles/journal-of-computer-security/jcs234}, interhash = {f91c8ff0a78cac30df778d38c18ee489}, intrahash = {36d04ee6bf8fac08181aba7c2481100b}, journal = {Journal of Computer Security}, keywords = {}, number = 3, pages = {347-390}, timestamp = {2023-12-14T16:30:56.000+0100}, title = {Static validation of security protocols.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs13.html#BodeiBDNN05}, volume = 13, year = 2005 }