%0 Conference Paper %1 conf/csfw/ChretienCD15 %A Chrétien, Rémy %A Cortier, Véronique %A Delaune, Stéphanie %B CSF %D 2015 %E Fournet, Cédric %E Hicks, Michael W. %E Viganò, Luca %I IEEE Computer Society %K %P 170-184 %T Decidability of Trace Equivalence for Protocols with Nonces. %U http://dblp.uni-trier.de/db/conf/csfw/csf2015.html#ChretienCD15 %@ 978-1-4673-7538-2

@inproceedings{conf/csfw/ChretienCD15, added-at = {2023-12-14T15:30:22.000+0100}, author = {Chrétien, Rémy and Cortier, Véronique and Delaune, Stéphanie}, biburl = {https://www.bibsonomy.org/bibtex/2151ab36d52f00c4c6653847d87c056e6/admin}, booktitle = {CSF}, crossref = {conf/csfw/2015}, editor = {Fournet, Cédric and Hicks, Michael W. and Viganò, Luca}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2015.19}, interhash = {ebe8e52740dd8ef844787eb6518df9f4}, intrahash = {151ab36d52f00c4c6653847d87c056e6}, isbn = {978-1-4673-7538-2}, keywords = {}, pages = {170-184}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T15:30:22.000+0100}, title = {Decidability of Trace Equivalence for Protocols with Nonces.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2015.html#ChretienCD15}, year = 2015 }