位置：成果数据库 > 期刊 > 期刊详情页
A Formal Analysis of TPM Commands for Compromising User Key
  • 期刊名称：China Communication
  • 时间：2012
  • 页码：91-102
  • 相关项目：可信计算环境测评理论和技术研究
作者： Yu Qin, Shijun Zhao, Qianying Zhang|
同期刊论文项目
可信计算环境测评理论和技术研究
期刊论文 56 会议论文 49 著作 1
同项目期刊论文
Analysis and Enhancement of an Optimized Gateway-Oriented Password-Based Authenticated Key Exchange
基于LS^2的可信虚拟平台信任链分析
Efficient identity based strong designated verifier signature schemes
Security Analysis of a Privacy-PreservingDecentralized Key-Policy Attribute-Based Encryption Scheme
On the provable security of TPM2.0 cryptography APIs
On the Provable Security of TPM2.0 Cryptography API
基于可信芯片的平台身份证明方案研究
Cryptanalysis and enhancement of a chaotic-maps-based 3-party password authenticated key exchange pr
跨平台的可信执行环境模块方案研究
TCM密钥迁移协议设计及形式化分析
基于信誉的快速无可信第三方匿名撤销方案
基于属性证明的可信网络接入方案
TPM可迁移密钥安全性分析与研究
基于TCM的安全Windows平台设计与实现
基于Trustzone的强安全需求环境下可信代码执行方案
基于串空间的可信计算协议分析
Formal analysis of TPM2.0 key management APIs
Security analysis of SM2 key exchange protocol in TPM2.0
标准模型下网关口令认证密钥交换协议的通用框架
标准模型下固定长度的基于身份环签名方案
The theory and practice in the evolution of trusted computing
基于可信移动平台的直接匿名证明方案研究
Security Analysis of a Privacy-Preserving Decentralized Key-Policy Attribute-Based Encryption Scheme
大数据安全与隐私保护
基于XACML的可验证云访问控制方案
基于PVS的数据库安全策略形式化分析方法
一个适应性安全的支持用户私钥撤销的KP-ABE方案
移动社交应用的用户隐私泄漏问题研究
基于异常控制流识别的漏洞利用攻击检测方法
基于扩展LS~2的可信虚拟平台信任链分析
面向社交网络的隐私保护方案
支持用户撤销的属性认证密钥协商协议
一种基于项重写的密码模块API安全性检测算法
基于社团并行发现的在线社交网络蠕虫抑制
标准模型下增强的基于属性的认证密钥协商协议
基于TrustZone的可信移动终端云服务安全接入方案
云计算环境虚拟机匿名身份证明方案
结构化对等网测量方法研究
FASER流密码的安全性分析
基于人脸生物特征的身份鉴别技术发展趋势研究
一种匿名口令鉴别构件系统