10891 search results - page 1898 / 2179 » Combining Model Reductions |
ESORICS
1994
Springer
15 years 5 months ago
1994
Springer
Abstract. An oblivious signature with n keys (or messages) is a signature that the recipient can choose one of n keys (or messages) to get signed while the signer cannot find out o...
132
click to vote
ESORICS
1994
Springer
15 years 5 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
129
click to vote
ICS
1993
Tsinghua U.
15 years 5 months ago
1993
Tsinghua U.
Performance monitoring of large scale parallel computers creates a dilemma: we need to collect detailed information to find performance bottlenecks, yet collecting all this data ...
124
click to vote
NGITS
1993
Springer
15 years 5 months ago
1993
Springer
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...
SIGCSE
1993
ACM
15 years 5 months ago
1993
ACM
Programming contests can provide a high-profile method for attracting interest in computer science. We describe our philosophy as it pertains to the purpose and merits of program...