Architecture Design and Security Evaluation of Secure Optical Transport Network Using Formal Verification | IEEE Conference Publication | IEEE Xplore