Michael Backes, Birgit Pfitzmann, Michael Waidner. Justifying a Dolev-Yao Model Under Active Attacks. In Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli, editors, Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures. Volume 3655 of Lecture Notes in Computer Science, pages 1-41, Springer, 2004. [doi]
@inproceedings{BackesPW04:0, title = {Justifying a Dolev-Yao Model Under Active Attacks}, author = {Michael Backes and Birgit Pfitzmann and Michael Waidner}, year = {2004}, doi = {10.1007/11554578_1}, url = {http://dx.doi.org/10.1007/11554578_1}, researchr = {https://researchr.org/publication/BackesPW04%3A0}, cites = {0}, citedby = {0}, pages = {1-41}, booktitle = {Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures}, editor = {Alessandro Aldini and Roberto Gorrieri and Fabio Martinelli}, volume = {3655}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-28955-0}, }