Theses and Dissertations
Now showing items 1-1 of 1
A formal analysis of the MLS LAN: TCB-to-TCBE, Session Status, and TCBE-to-Session Server Protocols
(Monterey, California. Naval Postgraduate School, 2004-09)
This thesis presents a formal analysis process and the results of applying that process to the MLS LAN: TCB-to- TCBE, Session Status, and TCBE-to-Session Server Protocols. The formal analysis process consists of several ...