Keita Emura, Akira Kanaoka, Satoshi Ohta, Kazumasa Omote, Takeshi Takahashi. Secure and Anonymous Communication Technique: Formal Model and Its Prototype Implementation. IEEE Trans. Emerging Topics Comput., 4(1):88-101, 2016. [doi]
Abstract is missing.