三上 啓 君が(CFI 2016)で発表しました.
- Kei Mikami, Daisuke Ando, Kunitake Kaneko, and Fumio Teraoka, “Verification of a Multi-Domain Authentication and Authorization Infrastructure Yamata-no-Orochi”, In Proceedings of the 11th International Conference on Future Internet Technologies (CFI ‘16). ACM, Nanjing, China, 69-75.