沈建军
- 作品数:6 被引量:0H指数:0
- 供职机构:中国科学院软件研究所更多>>
- 发文基金:北京市自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 安全操作系统信息流技术与安全架构研究
- 本文旨在进行高等级安全操作系统研发的技术探索,尤其针对隐蔽信道分析和系统架构设计两大关键难题。在安全系统研发和隐蔽信道分析的工作实践基础上,形成了本文另一部分研究主题一安全系统动态信息流模型的基本思想。信息流动态模型反映...
- 沈建军
- 关键词:安全操作系统信息流模型安全架构
- 一种多策略适应的POSIX权能遗传算法
- 多数支持POSIX权能机制的安全操作系统提出了各自的权能遗传算法,但这些算法都只适用于特定的特权控制策略,并且存在语义冲突、安全目标不明确等问题,不能有效支持安全需求不同的特权策略。本文通过对这些算法的深入分析,提出一种...
- 沈晴霓卿斯汉贺也平沈建军
- 关键词:操作系统安全最小特权
- 文献传递
- 多策略适应的一种POSIX权能遗传算法
- 2006年
- 多数支持POSIX权能机制的安全操作系统提出了各自的权能遗传算法,但这些算法都只适用于特定的最小特权控制策略,并且存在语义冲突、安全目标不明确等问题,不能有效支持多种安全需求不同的特权策略。通过对一些现有算法的深入分析,提出了一种新的权能遗传算法,该算法引入策略关联的权能控制变量以及可信应用属性。实例分析表明本算法具有策略适应性和可用性,形式化分析和验证表明它可使系统满足特权策略的基本安全定理。
- 沈晴霓卿斯汉贺也平沈建军
- 关键词:操作系统安全最小特权
- 一种多策略适应的POSIX权能遗传算法
- 多数支持POSIX权能机制的安全操作系统提出了各自的权能遗传算法,但这些算法都只适用于特定的特权控制策略,并且存在语义冲突、安全目标不明确等问题,不能有效支持安全需求不同的特权策略。本文通过对这些算法的深入分析,提出一种...
- 沈晴霓卿斯汉贺也平沈建军
- 关键词:操作系统最小特权
- 文献传递
- 一种远程网络服务的完整性检验方法
- 本发明提供一种远程网络服务的完整性检验方法,包括网络服务检验协议和服务器端的完整性检验机制:协议规定客户通过向远程服务器的特定网络端口发送特定格式的报文请求检验指定网络服务的完整性,报文中指定待检验网络服务使用的侦听端口...
- 沈建军卿斯汉
- 文献传递
- 一种远程网络服务的完整性检验方法
- 本发明提供一种远程网络服务的完整性检验方法,包括网络服务检验协议和服务器端的完整性检验机制:协议规定客户通过向远程服务器的特定网络端口发送特定格式的报文请求检验指定网络服务的完整性,报文中指定待检验网络服务使用的侦听端口...
- 沈建军卿斯汉
- 文献传递