Architecture Design and Security Evaluation of Secure Optical Transport Network Using Formal Verification.

Shion Maeda, Misato Nakabayashi, Tetsuya Okuda

Browse the full COMPSAC paper archive.