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]
Abstract is missing.