搜索结果: 1-3 共查到“军事学 ability”相关记录3条 . 查询时间(0.1 秒)
Theory and application of computationally independent one-way functions: Interactive proof of ability - Revisited
one-way functions zero knowledge proof computational independence
2019/4/1
We introduce the concept of computationally independent pair of one-way functions (CI-OWF). We also provide two rich classes of examples of such functions based on standard assumptions. We revisit two...
Security Proofs for Participation Privacy and Stronger Veriability for Helios
voting participation privacy privacy
2016/5/3
The Helios voting scheme is well studied including formal
proofs for verifiability and ballot privacy, but it does not provide participation
privacy (i.e. it reveals who participated in the election...
Re-encryption Verifiability: How to Detect Malicious Activities of a Proxy in Proxy Re-encryption
Proxy Re-encryption Re-encryption Verifiability Soundness
2016/1/4
In this paper, we introduce a new functionality for proxy re-encryption (PRE) that
we call re-encryption verifiability. In a PRE scheme with re-encryption verifiability (which we
simply call verifia...