多线程环境中的二维降密策略
金丽;朱浩
【期刊名称】《计算机科学》
【年(卷),期】2015(042)012
【摘要】降密策略的主要目的在于确保程序中敏感信息的安全释放.目前,降密策略的安全条件和实施机制的研究主要集中在顺序式程序设计语言,它们不能直接移植到多线程并发环境,原因在于攻击者能利用线程调度的某些性质推导出敏感信息.为此,基于多线程程序设计语言模型和线程调度模型,建立了支持多线程并发环境的二维降密策略,有效确保了在合适的程序点降密合适的信息;建立了多线程并发环境下该降密策略的动态监控机制,并证明了该实施机制的可靠性.
【总页数】5页(243-246,282)
【关键词】信息流;多线程环境;机密性;无干扰
【作者】金丽;朱浩
【作者单位】南通大学江苏省专用集成电路设计重点实验室南通226019;南京航空航天大学计算机科学与技术学院南京210016;南通大学计算机科学与技术学院南通226019
【正文语种】中文
【中图分类】TP311
【相关文献】
1.基于自动机监控的二维降密策略 [J], 金丽; 朱浩
2.多线程程序的信息抹除和降密安全策略 [J], 姜励; 陈健; 平玲娣; 陈小平
3.一种基于多线程加密的防伪二维码的生成方法 [J], 郑志学; 李长云; 倪伟