507 search results - page 44 / 102 » The relation between protocols and games |
94
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
We propose a new approach to accessing databases through the Web that is based on the WebDAV protocol (Web-based Distributed Authoring and Versioning). This paper introduces an ex...
90
Voted
INDOCRYPT
2009
Springer
15 years 7 months ago
2009
Springer
Distance bounding protocols aim at avoiding relay attacks during an authentication process. They are particularly awaited in RFID, where mounting a relay attack between a lowcapabi...
121
Voted
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
102
click to vote
CCS
2005
ACM
15 years 6 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...
108
Voted
OPODIS
2004
15 years 1 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...