一种基于安全虚拟机内省的动态可信证明方法.pdfVIP

  • 6
  • 0
  • 约3.6万字
  • 约 11页
  • 2016-02-12 发布于安徽
  • 举报

一种基于安全虚拟机内省的动态可信证明方法.pdf

优秀硕士毕业论文,完美PDF格式,可在线免费浏览全文和下载,支持复制编辑,可为大学生本专业本院系本科专科大专和研究生学士硕士相关类学生提供毕业论文范文范例指导,也可为要代写发表职称论文提供参考!!!

种基于安全虚拟机内省的动态可信证明方法 1 1、2 1、2 光源 ,沈昌祥 ,刘毅 (1. 京工业大学 京市可信计算重点实验室,北京 100124 ; 2. 海军计算技术研究所,北京 100841) 摘要:现有的复杂网络计算环境中安全问题日益严峻,使人们对于可信计算环境的需求非常急迫。可信证明技术是可信 计算中非常重要的特性,为解决计算平台可信问题提供了新的研究方向。但是,现有的可信证明方法存在证据获取不及 时、缺乏对于证明方的隐私保护以及证明方法自身安全性等问题,针对这些问题本文提供一种基于安全虚拟机内省的动 态可信证明方法。首先,利用确定下推自动机(Deterministic Push Down Automata ,DPDA )建立程序的预期行为模型, Virtual Machine Introspection VMI 然后,通过虚拟机内省技术 (

文档评论(0)

1亿VIP精品文档

相关文档