5324 search results - page 85 / 1065 » Internet Security Protocols |
ESOP
2003
Springer
15 years 3 months ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
STACS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
SOUPS
2009
ACM
15 years 4 months ago
2009
ACM
Initiating and bootstrapping secure, yet low-cost, ad-hoc transactions is an important challenge that needs to be overcome if the promise of mobile and pervasive computing is to b...
ACSW
2006
14 years 11 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
84
Voted
CANS
2009
Springer
15 years 1 months ago
2009
Springer
We extend the well-known Tree-Diffie-Hellman technique used for the design of group key exchange (GKE) protocols with robustness, i.e. with resistance to faults resulting from poss...