154 search results - page 4 / 31 » Proving Group Protocols Secure Against Eavesdroppers |
SPW
2004
Springer
13 years 11 months ago
2004
Springer
In this paper, we present a security framework that provides identity protection against active and passive attacks for end-points. The framework is based on a two-round-trip authe...
GLOBECOM
2008
IEEE
14 years 15 days ago
2008
IEEE
—The group signature based security scheme is a promising approach to provision privacy in vehicular ad hoc networks (VANETs). In this paper, we propose a novel distributed key m...
JALC
2006
13 years 6 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
CSFW
2005
IEEE
13 years 11 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
CANS
2009
Springer
13 years 10 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...