947 search results - page 51 / 190 » Provable Implementations of Security Protocols |
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
Gathering and processing sensitive data is a difficult task. In fact, there is no common recipe for building the necessary information systems. In this paper, we present a provably...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
A considerable number of anonymous RFID authentication schemes have been proposed. However, current proposals either do not provide robust security guarantees, or suffer from scal...
ACMSE
2004
ACM
15 years 5 months ago
2004
ACM
Sensors are tiny computers with limited computational capability and physical resources. The implementation of secure protocols for sensor network is a big challenge. In order to ...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
We give a new, simulation-based, definition for security in the bounded-quantum-storage model, and show that this definition allows for sequential composition of protocols. Damg...
117
click to vote
CTRSA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The TLS and SSL protocols are widely used to ensure secure communication over an untrusted network. Therein, a client and server first engage in the so-called handshake ...