5634 search results - page 906 / 1127 » About Abstract Classes |
169
click to vote
PKC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Efficient secure time-stamping schemes employ a 2-level approach in which the time-stamping service operates in rounds. We say that a time-stamping service is accountable...
182
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
It is possible to define conversation policies, such as communication or dialogue protocols, that are based strictly on what messages and, respectively, what performatives may foll...
170
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
168
click to vote
CRYPTO
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. In this paper we present an eficient protocol for “Committed Oblivious Transfer” to perform oblivious transfer on committed bits: suppose Alice is committed to bits 0...
175
click to vote
AFRICACRYPT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Proxy re-encryption (PRE) allows a semi-trusted proxy to convert a ciphertext originally intended for Alice into one encrypting the same plaintext for Bob. The proxy only...