Keita Emura, Akira Kanaoka, Satoshi Ohta, Takeshi Takahashi. Building secure and anonymous communication channel: formal model and its prototype implementation. In Yookun Cho, Sung Y. Shin, Sang-Wook Kim, Chih-Cheng Hung, Jiman Hong, editors, Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014. pages 1641-1648, ACM, 2014. [doi]
Abstract is missing.