天基综合信息系统安全策略设计与验证技术研究

• 作者: 刘小霞 朱登科 马恒太
• 来源期刊: 中国电子科学研究院学报
• 学科: 工学
• 关键词: 信息安全 空间数据 安全策略 策略验证
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: "天地一体化信息网络"专题
• 页码范围: 468-473
• 页数: 6页
• 分类号: TP391.9
• 字数: 4422字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5692.2015.05.004

摘要

针对天基综合信息系统面临的安全威胁,结合安全需求和约束条件,面向远程空间信息支援任务想定,设计主动可控的安全防护策略规则,并研究安全策略规则的形式化描述方法,进而实现动态可配置的安全策略仿真验证系统,以安全策略规则对安全分发技术的动态部署驱动为例,迭代验证安全策略对安全技术的指导作用.为从策略层面提高天基综合信息系统安全防护部署的可动态配置能力和性能/代价提供解决思路和验证方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马恒太	中国科学院软件研究所	34	1503	11.0	34.0
2	朱登科	中国科学院软件研究所	3	5	2.0	2.0
3	刘小霞	中国科学院软件研究所	1	0	0.0	0.0