1) Network security policy model
网路安全策略模型
2) security policy model
安全策略模型
1.
Research on formal security policy model specification and its formal analysis;
安全策略模型规范及其形式分析技术研究
2.
Then SECIMOS architecture is outlined;security policy model and security modules are introduced respectively.
然后,给出SECIMOS的构建,简介了各个安全策略模型及其实现模块,并描述结合多个安全模块的方法。
3.
Since the behaviors of security products are more precisely described in the security models instead of the specifications, the authors provide a test case generation method based on the formal security policy model.
提出了基于安全策略模型的安全功能测试用例自动生成方法,该方法包括基于语法的划分、基于规则的划分、基于类型的划分等步骤,依据形式化安全模型生成正确描述系统行为的操作测试用例集。
3) safety policy and module
安全策略与模型
4) Formal Security Policy Model
形式化安全策略模型
5) Securrity policy for network in campus
校园网安全策略
补充资料:安全网
1.在高空进行建筑施工﹑设备安装或技艺表演时,在其下或其侧设置的起保护作用的网,以防因人或物件坠落而造成的事故。一般用绳索等编成。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条