Building secure and anonymous communication channel: formal model and its prototype implementation

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]

Authors

Keita Emura

This author has not been identified. Look up 'Keita Emura' in Google

Akira Kanaoka

This author has not been identified. Look up 'Akira Kanaoka' in Google

Satoshi Ohta

This author has not been identified. Look up 'Satoshi Ohta' in Google

Takeshi Takahashi

This author has not been identified. Look up 'Takeshi Takahashi' in Google