位置：成果数据库 > 会议 > 会议详情页
Some Improvements on Model Checking CoreASM Models of Security Protocols
  • 所属机构名称：中国科学院软件研究所
  • 成果类型：会议
  • 相关项目：口令认证密钥交换协议的可证明安全性研究
同会议论文项目
口令认证密钥交换协议的可证明安全性研究
期刊论文 8 会议论文 13
同项目会议论文
A new anonymous password-based authenticated key exchange protocol
Trusted Channels with Password-based Authentication and TPM-based Attestation
Collusion attack on a self- healing key distribution with revocation in wireless sensor networks
Gateway-Oriented Password- Authenticated Key Exchange Protocol with Stronger Security
On Password-based Key Exchange with Enhanced Security
Three-Party Password Authenticated Key Exchange in the Standard Model
Attribute-based conditional proxy re-encryption with chosen- ciphertext security
Efficient Ciphertext Policy Attribute-Based Encryption with Constant-Size Ciphertext and Constant Co
Efficient ciphertext policy attribute-based encryption with constant-size ciphertext and constant co
A Ciphertext Policy Attribute- Based Encryption Scheme without Pairings
A Generic Construction from Selective-IBE to Public-Key Encryption with Non-interactive Opening
Efficient Password-Based Authenticated Key Exchange Protocol in the UC Framework