Efstathios Stathakidis, Steve A. Schneider, James Heather. Robustness Modelling and Verification of a Mix Net Protocol. In Liqun Chen, Chris J. Mitchell, editors, Security Standardisation Research - First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings. Volume 8893 of Lecture Notes in Computer Science, pages 131-150, Springer, 2014. [doi]
@inproceedings{StathakidisSH14, title = {Robustness Modelling and Verification of a Mix Net Protocol}, author = {Efstathios Stathakidis and Steve A. Schneider and James Heather}, year = {2014}, doi = {10.1007/978-3-319-14054-4_9}, url = {http://dx.doi.org/10.1007/978-3-319-14054-4_9}, researchr = {https://researchr.org/publication/StathakidisSH14}, cites = {0}, citedby = {0}, pages = {131-150}, booktitle = {Security Standardisation Research - First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings}, editor = {Liqun Chen and Chris J. Mitchell}, volume = {8893}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-14053-7}, }