718 search results - page 108 / 144 » Security protocols, properties, and their monitoring |
110
click to vote
DBSEC
2007
15 years 3 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...
118
click to vote
ICISC
2008
15 years 3 months ago
2008
Secure Evaluation of Private Functions (PF-SFE) allows two parties to compute a private function which is known by one party only on private data of both. It is known that PF-SFE c...
103
click to vote
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
106
click to vote
ASIACRYPT
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, we investigate the gap between auxiliary-input zero-knowledge (AIZK) and blackbox-simulation zero-knowledge (BSZK). It is an interesting open problem whether or not ...
123
click to vote
PODC
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...