位置：成果数据库 > 会议 > 会议详情页
Formal analysis of ECC-based Direct Anonymous Attestation schemes in Applied Pi Calculus
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：16th Information Security Conference (ISC 2013)
  • 时间：2013
  • 成果类型：会议
  • 相关项目：下一代可信计算平台远程证明理论与方法研究
同会议论文项目
下一代可信计算平台远程证明理论与方法研究
期刊论文 15 会议论文 11
同项目会议论文
DAA-TZ: An Efficient DAA Scheme for Mobile Devices using ARM TrustZone
Improving the security of the HMQV protocol using tamper-proof hardware
Improving the Security of the HMQV Protocol Using Tamper-Proof Hardware
Direct Anonymous Attestation in practice: Implementation and efficient revocation
Providing Root of Trust for ARM TrustZone using On-Chip SRAM
Mobile Trusted Agent(MTA):Build user-based trust for general-purpose computer platform
DAA-Related APIs in TPM 2.0 Revisited
Mdaak: A flexible and efficient framework for direct anonymous attestation on mobile devices
Type-Based Analysis of Protected Storage in the TPM
TEEM: A User-Oriented Trusted Mobile Device for Multi-platform Security Applications