741 search results - page 134 / 149 » Verification of security protocols using LOTOS-method and ap... |
189
click to vote
SICHERHEIT
2010
15 years 3 months ago
2010
Intrusion-tolerant replication enables the construction of systems that tolerate a finite number of malicious faults. An arbitrary number of faults can be tolerated during system ...
178
click to vote
USS
2010
15 years 3 months ago
2010
Current Electronic Toll Pricing (ETP) implementations rely on on-board units sending fine-grained location data to the service provider. We present , a privacy-preserving ETP syst...
180
click to vote
ESORICS
2005
Springer
15 years 11 months ago
2005
Springer
The freedom and transparency of information flow on the Internet has heightened concerns of privacy. Given a set of data items, clustering algorithms group similar items together...
157
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Current consumer electronics devices do not interoperate and are hard to use. Devices use proprietary, device-specific and inflexible protocols. Resources across device classes, s...
189
click to vote
EUROCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...