Sciweavers

5488 search results - page 20 / 1098
» On the Secure Implementation of Security Protocols
Sort
View
104
Voted
CSFW
1997
IEEE
15 years 7 months ago
Proving Properties of Security Protocols by Induction
Lawrence C. Paulson
111
Voted
CSFW
1996
IEEE
15 years 7 months ago
A High-Throughput Secure Reliable Multicast Protocol
Dalia Malki, Michael K. Reiter
ESORICS
2008
Springer
15 years 5 months ago
A Distributed Implementation of the Certified Information Access Service
In this paper we consider the problem of securely outsourcing computation on private data. We present a protocol for securely distributing the computation of the data structures u...
Carlo Blundo, Emiliano De Cristofaro, Aniello Del ...
130
Voted
ICALP
2004
Springer
15 years 9 months ago
Group Spreading: A Protocol for Provably Secure Distributed Name Service
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
Baruch Awerbuch, Christian Scheideler