曹珲
- 作品数：5 被引量：2H指数：1
- 供职机构：武汉大学计算机学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 可信软件安全性测评关键理论及技术研究
- 随着软件在信息系统中发挥日益重要的作用,人们对软件可靠性和安全性等可信性质的要求也愈来愈高。为此,近年来国内外纷纷有针对性地提出了可信软件与可信环境构建的相关研究计划。如美国的《国家软件发展战略(2006--2015)》...
- 曹珲
- 关键词：信息安全隐私性并发程序
- 文献传递
- 分布式入侵检测系统的能耗优化模型研究
- 分布式检测系统(DIDS)已经成为保障网络安全极为重要的研究课题之一,但是DIDS在各个安全性分析组件都需要计算的同时会导致互联网的能耗增长,因此,基于绿色网络的观点,需综合性考虑DIDS策略与网络能耗的关系。本文通过建...
- 曹珲张焕国
- 关键词：分布式入侵检测系统绿色网络安全性能耗优化
- 文献传递
- 基于无干扰理论的并发程序隐私性分析模型研究被引量：1
- 2012年
- 基于无干扰理论和Hoare公理方法,针对并发进程中不可信代码带来的信息泄露问题,提出一种隐私性分析模型CPNIAM,一方面把并发程序功能正确性证明分化为对程序中所有并发进程的形式化验证,以达到复杂程序简单化证明的目的;另一方面,可以在进程的功能正确性验证的基础上进行并发进程间的无干扰性分析.实例分析表明,相对于传统的无干扰模型,本文提出的模型可以在程序设计及实现阶段的形式化验证过程中,对由不可信代码导致的进程间隐私泄露问题进行分析,分析结果可指导程序设计者用于不可信代码定位和修改.
- 曹珲张焕国严飞
- 关键词：隐私保护无干扰理论并发程序形式化验证
- Flume系统的隐蔽信道搜索问题研究被引量：1
- 2013年
- Flume系统不仅可以为处于不同安全级别的进程传输信息提供安全保障,还可以通过显式标签机制解决在隐式标签系统中进程间通信连接超时导致的隐蔽信道问题.但是其系统中的部分不合理标签分配机制可能会导致信息在传递过程中同样存在泄露问题.针对这个问题提出一种隐蔽信道搜索模型(covert channel detection model,CCDM),将隐蔽信道的搜索问题抽象为有向图联通问题.最后结合回溯算法的思想提出IniaPathSearch算法和QuickPathSearch算法来对隐蔽信道进行自动搜索.实验结果表明,IniaPathSearch算法和QuickPathSearch算法可以正确有效地对Flume系统中隐蔽信道进行检测,并能为信息传递提供合法最短路径,其结果可以用于指导提高系统的安全性.
- 曹珲熊胜超张焕国严飞
- 关键词：隐蔽信道有向图安全性
- 基于无干扰理论的并发程序隐私性分析模型研究
- 基于无干扰理论和Hoare公理方法,针对并发进程中不可信代码带来的信息泄露问题,提出一种隐私性分析模型CPNIAM,一方面把并发程序功能正确性证明分化为对程序中所有并发进程的形式化验证,以达到复杂程序简单化证明的目的;另...
- 曹珲张焕国严飞
- 关键词：数据安全隐私保护无干扰理论并发程序
- 文献传递
