原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
动态远程证明协议及其形式化分析 dynamic remote attestation protocol and its formal analysis
2012年8月 计算机工程与设计 Aug．201z
(、r)MPUTERF：N(；lNFFRlN(jANDDEsl(；N No．8
第33卷第8期 V01．33
动态远程证明协议及其形式化分析
辛思远1’3，赵勇2“，王婷4
摘要：针时程序的运行时动态攻击给远程证明带来的安全威胁，设计一种动态远程证明协议DItAP，对内存中处于运行
状态的程序实施实时的动态度量，并向远程验证方证明平台实时状态。针对DRAP协议所用的TPM功能对LS2逻辑进行
配置寄存器中的扩展序列能够反映平台中程序的实时运行状态，并且在TPM可信和证明代理可信的前提下，远程验证者
能够有效验证平台的实时可信状态。
关键词：动态度量；远程证明；时间戳；L酽逻辑；形式化分析
中图法分类号：TP309文献标识号：A 文章编号：1000一7024(2012)08—2901一05
remoteattestationandit’sformal
Dynamic protocol anaiysis
XIN
Si—yuanl’3，ZHA()Yon矿”，WANGTin酽
of Infonnation
(1。Institute Engineer主ngUniverSity，zhen2hou450004·Chinaj
Electronic风hnology．PLA
Science of
and l00124，Chi聃l
2．collegeof＆mputer TechnoIogy，Be订ingUniveristyTechnology，Beiing
3．Instituteof 0fsci印。咚．state of
soft、^，are，(=hinese№d锄y leyLaboratoq
110000，Chim)
4．65047Anny，Shenyang
runtime threatofremoteattestation，aremoteattestatbn
Abst瑚Ict：A曲1edatthe attack
process d”“c
inreal andthe stateof is to
inthe ismeasuredtime the
designed，theprocessrunnig memory dyn啪icrunlling pIatformreported
in
remoteveri矗er．BasedontheTPM us·edD黜铲，the己9isextended。and￡hePcRresecrulea剥timenileis
func哟n logic
effectivenessofDRAPare that
iIIlponedinto aIld
您可能关注的文档
- 电磁驱动机器鱼的运动仿真研究.pdf
- 电磁相关法流量测量传感器检测电极距离研究 detection electrode distance study of electromagnetic correlation method flow measurement sensor.pdf
- 电力生产管理系统应用集成平台 electricity production management system application integration platform.pdf
- 电力线信道模型下ofdm通信系统的simulink仿真研究 simulating research of simulink for ofdm communication system under power line channel.pdf
- 电力远程抄表中集中器的设计 the design of power remote meter reading concentrator.pdf
- 电力无线通信异构多网共存环境中的网络选择算法 a network selection algorithm in heterogeneous multi-networks coexistence of electric power wireless communications.pdf
- 电力cyber-physical系统建模仿真研究综述 overview of modelling and simulation of electric power cyber-physical systems.pdf
- 电子鼻在气体检测中的应用研究 application research on electronic nose in multi-gas detection.pdf
- 电子商城的数据仓库建模研究 research on data warehouse modeling in e-market.pdf
- 电网综合防灾减灾系统.pdf
- 动态云平台下的快速闭树聚类并行算法 fast closed tree clustering parallel algorithm for dynamic cloud platform.pdf
- 动态增殖流形学习算法 a dynamically incremental manifold learning algorithm.pdf
- 动态指向式旋转导向钻井系统的虚拟现实仿真 the virtual reality simulation of dynamic point-the-bit rotary steerable drilling system.pdf
- 动态选择时钟的资源约束下调度算法 an algorithm for resource constrained scheduling with clock selection.pdf
- 动态自适应dds实时中间件的研究与实现 research on implementation of dynamic adaptive real-time middleware based on dds.pdf
- 动态信息网络中的角色演化异常及其发现 role evolving outliers detection in dynamic information networks.pdf
- 动态种群划分量子遗传算法求解几何约束 geometric constraint solving based on dynamic population divided quantum genetic algorithm.pdf
- 动态自学习的入侵检测模型研究 research on dynamic self-learning intrusion detection model.pdf
- 动态有序树存储模型与实现方法 storage model and implementation of the dynamic ordered tree.pdf
- 动态自由节点滞后的任务调度算法 task scheduling algorithm of dynamic unrestricted node lag.pdf
文档评论（0）