5324 search results - page 168 / 1065 » Internet Security Protocols |
122
click to vote
COMPUTER
2000
15 years 4 months ago
2000
Abstract--An emerging generation of mission-critical networked applications is placing demands on the Internet protocol suite that go well beyond the properties they were designed ...
136
click to vote
ASM
2005
ASM
15 years 9 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
132
Voted
CCS
2010
ACM
15 years 1 months ago
2010
ACM
We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. The protocol steps are modeled as rigid Horn clauses, and t...
148
click to vote
PKC
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents an efficient protocol for securely computing the fundamental problem of pattern matching. This problem is defined in the two-party setting, where party P1 hold...
136
click to vote
SEC
2001
15 years 5 months ago
2001
: The Cliques protocols are extensions of the Diffie-Hellman key exchange protocol to a group setting. In this paper, we are analysing the A-GDH.2 suite that is intended to allow a...