3115 search results - page 283 / 623 » Synthesizing Secure Protocols |
192
click to vote
CCS
2005
ACM
16 years 7 days 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...
179
Voted
NDSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Many business transactions on the Internet occur between strangers, that is, between entities with no prior relationship and no common security domain. Traditional security approa...
166
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We extend the definitional work of Dwork, Naor and Sahai from deniable authentication to deniable key-exchange protocols. We then use these definitions to prove the deniability fe...
182
click to vote
EUROCRYPT
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of computing the intersection of private datasets of two parties, where the datasets contain lists of elements taken from a large domain. This problem has m...
160
Voted
IAJIT
2010
15 years 5 months ago
2010
: Routing is the process of forwarding data across an inter-network from a designated source to a final destination. Along the way from source to destination, at least one intermed...