252 search results - page 4 / 51 » Scalability in a Secure Distributed Proof System |
164
click to vote
RIVF
2008
15 years 7 months ago
2008
In this work we present the principles of a flexible quantum key distribution (QKD) system using quadraturephase-shift-keying (QPSK) base and symbol encoding and dualthreshold bala...
129
Voted
SP
2000
IEEE
15 years 10 months ago
2000
IEEE
We describe the design and implementation of a security infrastructure for a distributed Java application. This work is inspired by SDSI/SPKI, but has a few twists of its own. We ...
159
click to vote
HPDC
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents the design, implementationand evaluation of Mingle, a secure distributed search system. Each participatinghost runs a Mingle server, which maintains an inverte...
155
Voted
ESORICS
2007
Springer
15 years 9 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
186
Voted
SIGCOMM
2004
ACM
15 years 11 months ago
2004
ACM
We present a Scalable Distributed Information Management System (SDIMS) that aggregates information about large-scale networked systems and that can serve as a basic building bloc...