-
题名多线程环境中的二维降密策略
被引量：1
- 1
-
-
作者
金丽
朱浩
-
机构
南通大学江苏省专用集成电路设计重点实验室
南京航空航天大学计算机科学与技术学院
南通大学计算机科学与技术学院
-
出处
《计算机科学》
CSCD
北大核心
2015年第12期243-246,282,共5页
-
基金
江苏省博士后科研资助计划(1401022C)
江苏省高校自然科学研究面上项目(14KJB510028)
南通市科技计划项目(BK2014061)资助
-
文摘
降密策略的主要目的在于确保程序中敏感信息的安全释放。目前,降密策略的安全条件和实施机制的研究主要集中在顺序式程序设计语言,它们不能直接移植到多线程并发环境,原因在于攻击者能利用线程调度的某些性质推导出敏感信息。为此,基于多线程程序设计语言模型和线程调度模型,建立了支持多线程并发环境的二维降密策略,有效确保了在合适的程序点降密合适的信息;建立了多线程并发环境下该降密策略的动态监控机制,并证明了该实施机制的可靠性。
-
关键词
信息流
多线程环境
机密性
无干扰
-
Keywords
Information flow,Multithreaded environments,Confidentiality,Non-interference
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
