@InProceedings{ cederquist.ea:complexity:2011, author = {Jan Cederquist and Mohammad Torabi Dashti}, booktitle = {ACM Symposium On Applied Computing (SAC)}, copyright = {ACM New York, USA}, copyrighturl = {http://doi.acm.org/10.1145/1982185.1982507}, isbn = {978-1-4503-0113-8}, language = {USenglish}, pages = {1502--1509}, pdf = {papers/2011/p1502-cederquist.pdf}, publisher = {ACM}, series = {SAC '11}, title = {Complexity of fairness constraints for the Dolev-Yao attacker model }, url = {http://doi.acm.org/10.1145/1982185.1982507}, year = 2011, user = {bgeiser} }