搜索结果: 1-1 共查到“密码学 automated proofs”相关记录1条 . 查询时间(0.125 秒)
Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions
automated proofs symbolic security attribute-based encryption
2017/10/10
Attribute-based encryption (ABE) is a cryptographic primitive which supports fine-grained access control on encrypted data, making it an appealing building block for many applications. In this paper, ...