5488 search results - page 193 / 1098 » On the Secure Implementation of Security Protocols |
148
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
175
click to vote
CSREASAM
2004
15 years 8 months ago
2004
A VPN establishes a secure network using the insecure media of the Internet. However, before a VPN can be established keys must be exchanged between the communicating peers. In th...
205
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Overlay networks have shown tremendous potential in solving large scale data dissemination problem by employing peer-to-peer communication protocols. These networks, however, have ...
162
click to vote
PACT
2005
Springer
16 years 8 hour ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...