%0 Journal Article %1 journals/tcs/AbadiC06 %A Abadi, Martín %A Cortier, Véronique %D 2006 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 2-32 %T Deciding knowledge in security protocols under equational theories. %U http://dblp.uni-trier.de/db/journals/tcs/tcs367.html#AbadiC06 %V 367

@article{journals/tcs/AbadiC06, added-at = {2023-08-28T00:00:00.000+0200}, author = {Abadi, Martín and Cortier, Véronique}, biburl = {https://www.bibsonomy.org/bibtex/2705b0691292e6b252b183775e8eb540f/dblp}, ee = {https://www.wikidata.org/entity/Q115036558}, interhash = {81d704d0065d65bdfaf5ca4d0b424877}, intrahash = {705b0691292e6b252b183775e8eb540f}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {2-32}, timestamp = {2024-04-08T18:46:57.000+0200}, title = {Deciding knowledge in security protocols under equational theories.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs367.html#AbadiC06}, volume = 367, year = 2006 }