718 search results - page 28 / 144 » Operational Semantics of Security Protocols |
NOSSDAV
2009
Springer
14 years 2 months ago
2009
Springer
Peer-to-peer distributed virtual environments (DVE's) distribute state tracking and state transitions. Many DVE's - such as online games - require ways to fairly determi...
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
—We establish formal bounds for the number of min-entropy bits that can be extracted in a timing attack against a cryptosystem that is protected by blinding, the state-of-the art...
EUC
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a low-cost and secure authentication protocol to reduce the computational load on both the back-end database and the tags in a distributed RFID system. The prop...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Wireless sensor networks are collections of large number of sensor nodes. The sensor nodes are featured with limited energy, computation and transmission power. Each node in the n...
ICNP
2003
IEEE
14 years 1 months ago
2003
IEEE
A prerequisite for secure communication between two nodes in an ad hoc network is that the nodes share a key to bootstrap their trust relationship. In this paper, we present a sca...