Research on a Multi-Level Security Model for Network Isolation

For solving information confidentiality problems in the network isolation system, a multi-level security model for network isolation system is proposed. It can control communication between subjects by adding communicating factor into system and constructing new state transition rules that describe work course of system. The model is proved to be correct through formal methods .The model can isolate the inner net and the outer net effectively, protect the confidentiality of sensitive information, and provide a theoretical foundation for design of nework isolation system.