%0 Conference Paper %1 conf/post/ChothiaSS15 %A Chothia, Tom %A Smyth, Ben %A Staite, Christopher %B POST %D 2015 %E Focardi, Riccardo %E Myers, Andrew C. %I Springer %K %P 137-155 %T Automatically Checking Commitment Protocols in ProVerif without False Attacks. %U http://dblp.uni-trier.de/db/conf/post/post2015.html#ChothiaSS15 %V 9036 %@ 978-3-662-46665-0

@inproceedings{conf/post/ChothiaSS15, added-at = {2023-12-13T02:39:28.000+0100}, author = {Chothia, Tom and Smyth, Ben and Staite, Christopher}, biburl = {https://www.bibsonomy.org/bibtex/2272cbd860e2838a09ffda00bd88a7fcf/admin}, booktitle = {POST}, crossref = {conf/post/2015}, editor = {Focardi, Riccardo and Myers, Andrew C.}, ee = {https://doi.org/10.1007/978-3-662-46666-7_8}, interhash = {81fafaa7d8e579afa2af31b1ae3c3030}, intrahash = {272cbd860e2838a09ffda00bd88a7fcf}, isbn = {978-3-662-46665-0}, keywords = {}, pages = {137-155}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:39:28.000+0100}, title = {Automatically Checking Commitment Protocols in ProVerif without False Attacks.}, url = {http://dblp.uni-trier.de/db/conf/post/post2015.html#ChothiaSS15}, volume = 9036, year = 2015 }