426 search results - page 69 / 86 » Specification, Abduction, and Proof |
ESORICS
2006
Springer
14 years 1 months ago
2006
Springer
Data confidentiality is a major concern in database systems. Encryption is a useful tool for protecting the confidentiality of sensitive data. However, when data is encrypted, perf...
FOSAD
2000
Springer
14 years 1 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
CRYPTO
1995
Springer
14 years 1 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...
AI
2008
Springer
13 years 12 months ago
2008
Springer
The web, as a real mass medium, has become an invaluable data source for Information Extraction and Retrieval systems. Digital authoring is a relatively new style of communication,...
BIRTHDAY
2008
Springer
13 years 12 months ago
2008
Springer
The Church-Turing Thesis has been the subject of many variations and interpretations over the years. Specifically, there are versions that refer only to functions over the natural ...