搜索结果: 1-4 共查到“军事学 generic-group model”相关记录4条 . 查询时间(0.156 秒)
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, ...
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model
Automated analysis Generic Group Model Structure-Preserving Signatures
2016/3/11
We develop a new method to automatically prove security
statements in the Generic Group Model as they occur in actual papers.
We start by defining (i) a general language to describe security definit...
Adapting the weaknesses of the Random Oracle model to the Generic Group model
weaknesses Random Oracle model Generic Group model
2009/4/14
This paper presents results that show that there exist problems in
that are provably hard in the generic group model but easy to solve
whenever the random encoding function is replaced with a specif...
The Hardness of the DHK Problem in the Generic Group Model
Hardness DHK Generic Group Model
2008/11/19
In this note we prove that the controversial Diffie-Hellman
Knowledge problem is secure in the generic group model. This appears
to be the first paper that presents any evidence as to whether the Di...