3228 search results - page 525 / 646 » Computationally Sound Proofs |
NDSS
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...
ICCHP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. While there are many barcode readers available for identifying products in a supermarket or at home on mobile phones (e.g., Red Laser iPhone app), such readers are inacce...
ICA3PP
2009
Springer
14 years 1 months ago
2009
Springer
In-memory data sharing for grids allow location-transparent access to data stored in volatile memory. Existing Grid middlewares typ- ically support only explicit data transfer betw...
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
The Border Gateway Protocol (BGP), which is used to distribute routing information between autonomous systems, is an important component of the Internet’s routing infrastructure...
SP
2000
IEEE
14 years 1 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...