%0 Conference Paper %1 conf/sp/SchmidtSCB14 %A Schmidt, Benedikt %A Sasse, Ralf %A Cremers, Cas %A Basin, David A. %B IEEE Symposium on Security and Privacy %D 2014 %I IEEE Computer Society %K dblp %P 179-194 %T Automated Verification of Group Key Agreement Protocols. %U http://dblp.uni-trier.de/db/conf/sp/sp2014.html#SchmidtSCB14 %@ 978-1-4799-4686-0

@inproceedings{conf/sp/SchmidtSCB14, added-at = {2023-08-08T00:00:00.000+0200}, author = {Schmidt, Benedikt and Sasse, Ralf and Cremers, Cas and Basin, David A.}, biburl = {https://www.bibsonomy.org/bibtex/201b9b33456b3c38b936e488f9d4fe830/dblp}, booktitle = {IEEE Symposium on Security and Privacy}, crossref = {conf/sp/2014}, ee = {https://doi.ieeecomputersociety.org/10.1109/SP.2014.19}, interhash = {daed69e29fb76b875f097ff716792c26}, intrahash = {01b9b33456b3c38b936e488f9d4fe830}, isbn = {978-1-4799-4686-0}, keywords = {dblp}, pages = {179-194}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:09:39.000+0200}, title = {Automated Verification of Group Key Agreement Protocols.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp2014.html#SchmidtSCB14}, year = 2014 }