搜索结果: 1-2 共查到“军事学 Authorization”相关记录2条 . 查询时间(0.074 秒)
Public Key Encryption Supporting Equality Test and Flexible Authorization without Bilinear Pairings
PKEET public-key cryptography
2016/3/14
In recent years, public key encryption with equality test (PKEET) has become
a hot research topic in the cryptography community due to the advancement of cloud
computing. Recently, Ma et al. propose...
Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version)
TPM Trusted Computing formal methods
2016/1/25
We present the first automated proof of the authorization
protocols in TPM 2.0 in the computational model. The Trusted Platform
Module(TPM) is a chip that enables trust in computing platforms
and a...