One-way network safety equipment is the major security equipment of information transmission between different classified levels. To ensure the safety equipment within the one-way network security and the security of the communication system, this paper analyzed the security requirements of one-way network security equipment, presented noninterference model, and proved the consistency of one-way network security equipment safety requirements and formal specification with mathematical induction. It analyzed and discussed the safety hazards of one-way network safety equipment, and the security policy was more perfect for information security. It plays certain referential significance on security design of one-way safety equipment.

[2019-04-05] Printed Article /doc/2017.11.1004/v2