- 1、本内容来自版权合作机构,您在本站购买的阅读使用权仅限于您本人阅读使用,您不得/不能给任何第三方使用,由此造成的一切相关后果本平台保留向您追偿索赔的权利!版权所有,后果自负!
- 2、本文档为正版电子图书,虚拟物品付费之后概不接收任何理由退款。
查看更多
5.2软件行为和证明信息基85软件行为符合软件预期行为描述集中的相关规则,则认为软件是可信的,否则说明软件不可信。这种基于软件行为动态完整性度量方法的研究是初步的,还需要进一步深入研究。HuanguoZ等人利用一棵行为树,提出了一种基于行为
您可能关注的文档
- 微过程的划分-[共3页]-21-UML系统分析与设计教程(第2版)-人民邮电出版社-冀振燕 编著.pdf
- 绪论-[共9页]-9-UML系统分析与设计教程(第2版)-人民邮电出版社-冀振燕 编著.pdf
- 参考文献-[共16页]-160-可信计算远程证明与应用-人民邮电出版社-闫建红.pdf
- 附录 术语解释-[共4页]-156-可信计算远程证明与应用-人民邮电出版社-闫建红.pdf
- 下一步信息安全的热点问题-[共3页]-153-可信计算远程证明与应用-人民邮电出版社-闫建红.pdf
- 物联网数据传输中的远程认证-[共4页]-144-可信计算远程证明与应用-人民邮电出版社-闫建红.pdf
- 安全性分析-[共3页]-125-可信计算远程证明与应用-人民邮电出版社-闫建红.pdf
- 基于可信计算的DRM的工作过程-[共7页]-118-可信计算远程证明与应用-人民邮电出版社-闫建红.pdf
- 实验结果与分析-[共3页]-108-可信计算远程证明与应用-人民邮电出版社-闫建红.pdf
- 实验过程-[共4页]-90-可信计算远程证明与应用-人民邮电出版社-闫建红.pdf
最近下载
- 翼状胬肉的护理查房-PPT.ppt
- 2022年应急管理工作应知应会知识竞赛题库(含答案).pdf
- 全民微信时代增进了VS减弱了人与人之间的交流辩论赛 正方辩词一辩、二辩、三辩、四辩发言稿.docx
- 超星网课尔雅《人人学点营销学》尔雅答案2022章节测试答案.docx
- 2019CSP-J NOIP普及组初赛C++试卷.pdf VIP
- 2024年《城镇燃气管理条例题库》考试题库(含答案).pdf VIP
- 最新浙教版八年级上册劳动技术 项目三 任务二《打蛋器的制作》课件(课件).pptx
- 纪律意识方面存在不足及措施4篇.pdf
- 消防安全教育PPT课件.pptx VIP
- 《新中国成立75周年》全文课件.ppt VIP
文档评论(0)