%0 Conference Paper %1 journals/entcs/ChevalierKRT05 %A Chevalier, Yannick %A Küsters, Ralf %A Rusinowitch, Michaël %A Turuani, Mathieu %B ARSPA@IJCAR %D 2004 %E Armando, Alessandro %E Viganò, Luca %I Elsevier %K dblp %N 1 %P 55-66 %T Deciding the Security of Protocols with Commuting Public Key Encryption. %U http://dblp.uni-trier.de/db/conf/arspa/arspa2004.html#ChevalierKRT05 %V 125

@inproceedings{journals/entcs/ChevalierKRT05, added-at = {2023-08-28T00:00:00.000+0200}, author = {Chevalier, Yannick and Küsters, Ralf and Rusinowitch, Michaël and Turuani, Mathieu}, biburl = {https://www.bibsonomy.org/bibtex/24d4513bf1cf462c25274a60c855ae5e8/dblp}, booktitle = {ARSPA@IJCAR}, crossref = {conf/arspa/2004}, editor = {Armando, Alessandro and Viganò, Luca}, ee = {https://www.wikidata.org/entity/Q115044351}, interhash = {d74ee883c57bb186930a0da5b099fa3a}, intrahash = {4d4513bf1cf462c25274a60c855ae5e8}, keywords = {dblp}, number = 1, pages = {55-66}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T23:34:27.000+0200}, title = {Deciding the Security of Protocols with Commuting Public Key Encryption.}, url = {http://dblp.uni-trier.de/db/conf/arspa/arspa2004.html#ChevalierKRT05}, volume = 125, year = 2004 }