论文部分内容阅读
网络卫士防火墙4000-UF采用全新安全操作系统Topsec OS(简称TOS)，并采用具有更高性价比的硬件平台。该操作系统的安全模型采用了形式化设计方法，具有高可靠，高安全，可推导、可验证等特点。操作系统采用分层的设计理念，在硬件和OS内核层之间的硬件抽象层使TOS能适应各种硬件体系平台，充分利用各种计算技术的优势，TOS系统分为OS层、基础层、服务层和安全引擎层；稳定、可靠、安全的OS核融入了多项基础层和服务层提供了丰富的支撑功能，