195 search results - page 28 / 39 » Security and Privacy Using One-Round Zero-Knowledge Proofs |
126
click to vote
SP
2000
IEEE
15 years 4 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.,...
CSFW
2002
IEEE
15 years 4 months ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...
SP
1990
IEEE
15 years 3 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
116
click to vote
DASFAA
2006
IEEE
15 years 5 months ago
2006
IEEE
Database outsourcing is an important emerging trend which involves data owners delegating their data management needs to an external service provider. Since a service provider is a...
SP
2005
IEEE
15 years 5 months ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...