3088 search results - page 28 / 618 » Multichannel Security Protocols |
140
Voted
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
113
Voted
CSFW
1999
IEEE
15 years 7 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
134
Voted
IASTEDSEA
2004
15 years 4 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
113
click to vote
ESORICS
2009
Springer
16 years 3 months ago
2009
Springer
In this paper, we propose a novel ID-based secure distance bounding protocol. Unlike traditional secure distance measurement protocols, our protocol is based on standard insecure d...
197
Voted
POPL
2002
ACM
16 years 2 months ago
2002
ACM
