多线程环境中的二维降密策略

摘要：

降密策略的主要目的在于确保程序中敏感信息的安全释放.目前,降密策略的安全条件和实施机制的研究主要集中在顺序式程序设计语言,它们不能直接移植到多线程并发环境,原因在于攻击者能利用线程调度的某些性质推导出敏感信息.为此,基于多线程程序设计语言模型和线程调度模型,建立了支持多线程并发环境的二维降密策略,有效确保了在合适的程序点降密合适的信息;建立了多线程并发环境下该降密策略的动态监控机制,并证明了该实施机制的可靠性.

关键词：信息流、多线程环境、机密性、无干扰

所属期刊栏目：42

分类号：TP311(计算技术、计算机技术)

资助基金：江苏省博士后科研资助计划1401022C;江苏省高校自然科学研究面上项目14KJB510028;南通市科技计划项目BK2014061

在线出版日期：2016-02-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：243-246,282