@misc{indiciae74a465b4b6ea, title = {Building Secure and Anonymous Communication Channel: Formal Model and its Prototype Implementation}, author = {Keita Emura and Akira Kanaoka and Satoshi Ohta and Takeshi Takahashi}, year = {2014}, url = {https://arxiv.org/abs/1403.7014}, note = {Source identifier: 1403.7014} }