Kei Mikami, Daisuke Ando, Kunitake Kaneko, 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 2016, Nanjing, China, June 15-17, 2016. pages 69-75, ACM, 2016. [doi]
Abstract is missing.