基于状态迁移网络安全联动策略验证与模型构造

• 作者: 刘雨晨 吴紫薇 程晓荣 董振亮
• 来源期刊: 电脑编程技巧与维护
• 关键词: 状态迁移 完整性 正确性 一致性 冗余性
• 年，卷（期）: 2016,（6）
• 所属期刊栏目: 网络与通信
• 页码范围: 76-77,87
• 页数: 3页
• 字数: 2969字
• 语种: 中文

摘要

随着科技发展和网络与计算机的普及，网络安全问题变得日益严重。针对此问题提出了一个基于状态迁移的新的网络安全联动策略模型，生成安全策略，并在安全域的基础上对其中策略的完整性、正确性、一致性和冗余性进行验证。新模型实现了一个策略从生成到验证，再到执行直至最后失效的整个过程监控管理。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程晓荣	华北电力大学计算机系	86	480	12.0	19.0
2	董振亮		7	4	1.0	2.0
3	刘雨晨	华北电力大学计算机系	4	4	1.0	2.0
4	吴紫薇	华北电力大学计算机系	2	4	1.0	2.0