@inproceedings{GroupProtocolsTamarin,
 author = {Schmidt, Benedikt and Sasse, Ralf and Cremers, Cas and Basin, David},
 title = {Automated Verification of Group Key Agreement Protocols},
 booktitle = {Proceedings of the 2014 IEEE Symposium on Security and Privacy},
 series = {SP '14},
 year = {2014},
 isbn = {978-1-4799-4686-0},
 ISSN = {1081-6011},
 pages = {179--194},
 numpages = {16},
 url = {http://dx.doi.org/10.1109/SP.2014.19},
 doi = {10.1109/SP.2014.19},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}