N. Fukae, A. Fujihara, and H. Miwa. INCoS, volume 23 of Lecture Notes on Data Engineering and Communications Technologies, page 294-305. Springer, (2018)
Y. Murayama, Y. Fujihara, and D. Nishioka. Security Protocols Workshop, volume 7114 of Lecture Notes in Computer Science, page 205-214. Springer, (2011)