Sciweavers

5488 search results - page 20 / 1098
» On the Secure Implementation of Security Protocols
Sort
View
160
Voted
CSFW
1997
IEEE
15 years 11 months ago
Proving Properties of Security Protocols by Induction
Lawrence C. Paulson
168
Voted
CSFW
1996
IEEE
15 years 11 months ago
A High-Throughput Secure Reliable Multicast Protocol
Dalia Malki, Michael K. Reiter
ESORICS
2008
Springer
15 years 9 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 ...
224
Voted
ICALP
2004
Springer
16 years 24 days 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