A Security Policy And Formal Top Level Specification For A Multi-Level Secure Local Area Network | IEEE Conference Publication | IEEE Xplore