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]

@inproceedings{EmuraKOT14,
  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},
  doi = {10.1145/2554850.2554879},
  url = {http://doi.acm.org/10.1145/2554850.2554879},
  researchr = {https://researchr.org/publication/EmuraKOT14},
  cites = {0},
  citedby = {0},
  pages = {1641-1648},
  booktitle = {Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014},
  editor = {Yookun Cho and Sung Y. Shin and Sang-Wook Kim and Chih-Cheng Hung and Jiman Hong},
  publisher = {ACM},
  isbn = {978-1-4503-2469-4},
}