%0 Journal Article %1 journals/tcs/ChevalierKRT05 %A Chevalier, Yannick %A Küsters, Ralf %A Rusinowitch, Michaël %A Turuani, Mathieu %D 2005 %J Theor. Comput. Sci. %K dblp %N 1-3 %P 247-274 %T An NP decision procedure for protocol insecurity with XOR. %U http://dblp.uni-trier.de/db/journals/tcs/tcs338.html#ChevalierKRT05 %V 338

@article{journals/tcs/ChevalierKRT05, added-at = {2021-02-17T00:00:00.000+0100}, author = {Chevalier, Yannick and Küsters, Ralf and Rusinowitch, Michaël and Turuani, Mathieu}, biburl = {https://www.bibsonomy.org/bibtex/2c26608ead0510e3862dc243bae385ca4/dblp}, ee = {https://doi.org/10.1016/j.tcs.2005.01.015}, interhash = {2e13227cc1808ea55be92e40e3a508fd}, intrahash = {c26608ead0510e3862dc243bae385ca4}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-3}, pages = {247-274}, timestamp = {2024-04-08T18:47:32.000+0200}, title = {An NP decision procedure for protocol insecurity with XOR.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs338.html#ChevalierKRT05}, volume = 338, year = 2005 }