Michael Roe. Panel Session: Is Protocol Modelling Finished?. In Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe, editors, Security Protocols, 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers. Volume 3364 of Lecture Notes in Computer Science, pages 213-217, Springer, 2003. [doi]
@inproceedings{Roe03:1,
title = {Panel Session: Is Protocol Modelling Finished?},
author = {Michael Roe},
year = {2003},
doi = {10.1007/11542322_26},
url = {http://dx.doi.org/10.1007/11542322_26},
tags = {protocol},
researchr = {https://researchr.org/publication/Roe03%3A1},
cites = {0},
citedby = {0},
pages = {213-217},
booktitle = {Security Protocols, 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers},
editor = {Bruce Christianson and Bruno Crispo and James A. Malcolm and Michael Roe},
volume = {3364},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-28389-7},
}