%0 Journal Article %1 journals/tcs/RusinowitchT03 %A Rusinowitch, Michaël %A Turuani, Mathieu %D 2003 %J Theor. Comput. Sci. %K dblp %N 1-3 %P 451-475 %T Protocol insecurity with a finite number of sessions, composed keys is NP-complete. %U http://dblp.uni-trier.de/db/journals/tcs/tcs299.html#RusinowitchT03 %V 299

@article{journals/tcs/RusinowitchT03, added-at = {2017-05-28T00:00:00.000+0200}, author = {Rusinowitch, Michaël and Turuani, Mathieu}, biburl = {https://www.bibsonomy.org/bibtex/22b051b148f3a98f6940f65e89e181471/dblp}, ee = {https://doi.org/10.1016/S0304-3975(02)00490-5}, interhash = {34f91cd12bdf33655dcb96188d69731e}, intrahash = {2b051b148f3a98f6940f65e89e181471}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-3}, pages = {451-475}, timestamp = {2017-05-31T23:54:51.000+0200}, title = {Protocol insecurity with a finite number of sessions, composed keys is NP-complete.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs299.html#RusinowitchT03}, volume = 299, year = 2003 }