您的位置： 专家智库 > >

浙江省科技计划项目(2007L11068)

作品数：1 被引量：5H指数：1
相关作者：陈健姜励平玲娣陈小平更多>>
相关机构：浙江大学更多>>
发文基金：国家科技支撑计划国家高技术研究发展计划浙江省科技计划项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇多线程
  • 1篇多线程程序
  • 1篇线程

机构

  • 1篇浙江大学

作者

  • 1篇陈小平
  • 1篇平玲娣
  • 1篇姜励
  • 1篇陈健

传媒

  • 1篇浙江大学学报...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
多线程程序的信息抹除和降密安全策略被引量：5
2010年
为了满足多线程环境下实际应用程序故意释放敏感信息以及加强信息机密性的需求,基于强互模拟等价的方式定义能够同时处理信息降密和抹除的安全属性.该属性能控制被释放的机密信息的内容,使得降密机制不会被攻击者破坏而获得额外的机密信息,并且保证低安全级信息被抹除后无法再被攻击者滥用;使用交叉拷贝技术构造实施该安全属性的安全转换类型系统,可消除由于线程之间互相竞争执行而引起的内部时间隐蔽通道.通过转换类型系统可将一个给定程序转换成具有相同结构以及时间行为的安全程序,消除其中的信息泄露.根据操作语义证明了该类型系统的类型可靠性,表明遵循类型规则转换后的程序可满足系统的安全属性.
姜励陈健平玲娣陈小平
全选 清除 导出
共1页<1>
聚类工具0