3115 search results - page 471 / 623 » Synthesizing Secure Protocols |
154
click to vote
PODC
2011
ACM
14 years 8 months ago
2011
ACM
This paper focuses on designing incentive mechanisms for overlay multicast systems. Existing proposals on the problem are no longer able to provide proper incentives when rational...
183
click to vote
PADL
2012
Springer
14 years 1 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
176
click to vote
MOBISYS
2009
ACM
16 years 6 months ago
2009
ACM
Establishing trust between a group of individuals remains a difficult problem. Prior works assume trusted infrastructure, require an individual to trust unknown entities, or provi...
161
Voted
CCS
2005
ACM
15 years 11 months ago
2005
ACM
In automated trust negotiation (ATN), two parties exchange digitally signed credentials that contain attribute information to establish trust and make access control decisions. Be...
162
Voted
ESORICS
2005
Springer
15 years 11 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...