Strict mathematic verification showed that this information flow model is reasonable and safe, which can reflect the safety requirements of the Nuclear Power Plant network.
经过严格的数学证明，新的信息流模型合理且安全，能较好反映核电站网络的安全要求。
Aimed at the problem that the computer terminal is the source of the safe risk in the network system, this paper proposed a new reliable terminal model based on non-interference theory.
针对外包数据库系统中的隐私匹配问题，提出了基于分布针对计算机终端是网络系统中安全风险的根源问题之一，提出了一种新的基于进程保护的可信终端模型。
It introduces an available safe model, and the steps to guard the unknown attacks to protect the safety of the network.
分析了目前企业网络安全存在的问题，结合现有的各种安全防护措施，给出了一种针对企业网的网络安全模型。
应用推荐