A NIIE-BLP model for network isolation and information exchange system
Hong-gang Lin · 2010
For solving information confidentiality problems in the network isolation and information exchange system, a NIIE-BLP model is proposed based on the BLP model. This model incorporated the new concept of the planar-classification function, which combined the classification of the sub-network and the classification of object. The security level of the sub-network was divided in the system and the communication between subjects was controlled by the function. The verification of formal methods showed that this model is reasonable and safe, which can reflect the safety requirements and solve information confidentiality problem in the network isolation and information exchange system.