| 标题 |
 TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms TrustFound：可信计算平台模型检验的形式化基础
相关领域
计算机科学
直接匿名认证
可信计算
模型检查
受信任的网络连接
可信平台模块
计算机安全
保密
形式验证
形式化方法
理论计算机科学
软件工程
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Lecture Notes in Computer Science 作者：Guangdong Bai; Jianan Hao; Jiankang Wu; Yang Liu; Zhenkai Liang; et al 出版日期：2014-01-01 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
杳鸢
不配.
嗯哼
乐乐乐乐乐乐
Endlessway
完美的天空
YuanbinMao
8R60d8
36456657
一一
xjcy
甜甜玫瑰
tuanheqi
精明的迎松
shinysparrow
Billy
pluto
HCLonely
HEIKU
pcr163
皖公网安备34019202002308
