Shion Maeda, Misato Nakabayashi, Tetsuya Okuda. Architecture Design and Security Evaluation of Secure Optical Transport Network Using Formal Verification. In Hong Va Leong, Sahra Sedigh Sarvestani, Yuuichi Teranishi, Alfredo Cuzzocrea, Hiroki Kashiwazaki, Dave Towey, Ji-Jiang Yang, Hossain Shahriar, editors, 46th IEEE Annual Computers, Software, and Applications Conferenc, COMPSAC 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022. pages 1810-1815, IEEE, 2022. [doi]
Abstract is missing.