273 search results - page 17 / 55 » Modular Security Proofs for Key Agreement Protocols |
170
click to vote
ACNS
2003
Springer
15 years 8 months ago
2003
Springer
Secure and reliable group communication is an increasingly active research area by growing popularity in group-oriented and collaborative application. One of the important challeng...
150
click to vote
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
A key agreement protocol is utilized in a network system such that two users are able to establish a commonly shared secret key. Entities within the same security level can commun...
152
click to vote
CSFW
2006
IEEE
15 years 11 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
143
Voted
ICPADS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we propose an efficient key agreement protocol suite for heterogeneous mobile ad-hoc groups, whose members use mobile devices with different performance limitations...
168
click to vote
JSS
2007
15 years 4 months ago
2007
We present the SEcure communicAtion Library (SEAL), a Linux-based C language application programming interface (API) library that implements secure group key agreement algorithms ...