程相然
- 作品数：5 被引量：24H指数：2
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术军事理学更多>>
- 绝对中位点定理在网络选址问题中的应用
- 2007年
- 从图论知识出发,介绍并证明了绝对中位点定理,结合实例,通过与常规解法的分析比较,阐明了绝对中位点定理的应用价值.
- 贾利新程相然
- 基于属性的访问控制策略模型被引量：17
- 2010年
- 研究属性、属性谓词、属性名值对的抽象与描述,提出一种基于属性的访问控制策略模型,对策略、策略评估进行形式化定义。描述在设置策略合并算法和系统缺省授权下的访问控制判决过程,设计一种改进的策略管理框架并对其进行仿真测试。结果表明,该框架具有较强的可扩展性,能够为实施基于属性的访问控制提供依据。
- 程相然陈性元张斌杨艳
- 美国国防部网络安全众测的做法、成果及启示被引量：1
- 2019年
- 网络安全众测是检测和发掘漏洞的新模式。美国国防部率先开展了政府级网络安全众测活动。研究分析美国网络国防部安全众测的主要做法,梳理总结其成果收益,探索给出我国发展网络安全众测的启示建议。
- 刘小虎张玉臣张恒巍程相然
- 关键词：漏洞美国国防部
- 多域环境下基于角色的安全互操作关键技术研究
- 动态、分布、异构、自治的多域环境对域间安全互操作提出了新的挑战,传统的访问控制模型由于采用集中式的管理方法,已不能满足分布式环境下跨域互操作的安全需求。如何在实现跨域授权与访问控制的同时确保本地的自治性和安全性成为当前网...
- 程相然
- 关键词：角色冲突消解
- 文献传递
- RBAC策略冲突及其检测算法的研究被引量：5
- 2010年
- 针对RBAC模型在实施职责分离、最小特权等安全原则时引起的冲突问题,形式化定义5种RBAC策略冲突类型,分析策略冲突产生的原因,提出一种完整的策略冲突检测算法并进行仿真测试。结果表明,该算法能够有效检测定义的各类策略冲突,为RBAC策略冲突检测实施提供基础。
- 程相然陈性元张斌杨艳
