4340 search results - page 7 / 868 » Formal Methods and Cryptography |
171
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
187
click to vote
PKC
2009
Springer
16 years 6 months ago
2009
Springer
Abstract.We introduce the notion of distributed password-based publickey cryptography, where a virtual high-entropy private key is implicitly dened as a concatenation of low-entrop...