期刊文献+

基于冗余代码插入外部时间信道屏蔽的算法

A Shielding Method Based on Inserting Redundant Code into External Time Channel
下载PDF
导出
摘要 提出了一种基于冗余代码插入的方法来平衡时间差,从而避免攻击者通过观察程序的执行时间来获取机密信息,并对转化方法进行了证明。 This paper proposed and proved a method of inserting redundant code to balance the time difference,by which confidential information cannot be obtained by the attacker by observing the program execution time.
作者 张欢欢
出处 《常州工学院学报》 2014年第6期34-37,52,共5页 Journal of Changzhou Institute of Technology
基金 2010年国家青年科学基金项目(61003311)
关键词 攻击者 时间泄密 外部时间信道 时间差 机密信息 attacker time leaks external time channel time difference confidential information
  • 相关文献

参考文献8

  • 1张迎周,刘玲玲.信息流安全技术回顾与展望[J].南京邮电大学学报(自然科学版),2011,31(5):87-96. 被引量:3
  • 2Agat J. Transforming Out Timing Leaks [ C ]//Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Progralnming Languages ,40 - 53. MA: Boston ,2000.
  • 3Stefan D, Russo A, Buiras P, et al. Addressing Covert Termina- tion and Timing Channels in Concurrent Information Flow Sys- tems [ J ]. ACM SIGPLAN Not. 47,2012 (9) :201 - 214.
  • 4李沁,袁志祥.一种宽容的多线程程序内部时间信息流类型系统[J].计算机科学,2014,41(3):163-168. 被引量:3
  • 5Smith G. Improved ZTypings for Probabilisfic Noninterference in a Multi-threaded Language J ]. J Comput Secur, 2006 : 14 ( 6 ) :591 -623.
  • 6Smith G, Volpano D. Secure Information Flow in a Multi-Threa- ded Imperative Language [ C ]//Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, California: San Diego, 1998:355 - 364.
  • 7Volpano D, Smith G. Eliminating Covert Flows with Minimum Typings[ C ]//Computer Security Foundations Workshop, Pro- ceedings. , 1997 (10) : 156 - 168.
  • 8Askarov A, Zhang Danfeng, Myers AC. Predictive Black-Box Mitigation of Timing Channels [ C ]//Proceedings of the 17th ACM Conference on Computer and Communications Security, Illinois Chicao, USA: ACM.2010:297 - 307.

二级参考文献27

共引文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部