3504 search results - page 84 / 701 » Secure protocol composition |
132
Voted
ACSW
2003
15 years 3 months ago
2003
We promote an engineering approach to design of provably secure key exchange protocols. Using the model of Canetti and Krawczyk we present a systematic method to arrive at efficie...
112
Voted
IEEEARES
2007
IEEE
15 years 8 months ago
2007
IEEE
Assuring information authenticity is an important issue in the field of information security. A new broadcast authentication protocol is proposed. The protocol is based on time sy...
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
MaxMash is a tool that can compose select features of networked application and generate the source code for application mashups that can integrate those features. This paper pres...
136
click to vote
DEXAW
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper introduces a peer-to-peer agent framework for supporting autonomic applications in decentralized distributed environments. The framework provides agents to discover, co...
114
click to vote
PODC
2010
ACM
15 years 6 months ago
2010
ACM
Most protocols for distributed, fault-tolerant computation, or multi-party computation (MPC), provide security guarantees in an all-or-nothing fashion: If the number of corrupted p...