1612 search results - page 14 / 323 » About models of security protocols |
ACISP
2005
Springer
15 years 3 months ago
2005
Springer
We present a provably secure tree based authenticated group key agreement protocol in dynamic scenario. Bilinear pairing and multi-signature are at the heart of our protocol. We p...
60
Voted
CCS
2010
ACM
14 years 10 months ago
2010
ACM
CAD
2000
Springer
14 years 9 months ago
2000
Springer
The protocols selected and developed by the NIIIP Consortium have been validated in three end-of-cycle demonstrations. In each cycle, a team with expertise in technical product da...
INDOCRYPT
2004
Springer
15 years 3 months ago
2004
Springer
A definition of secure multi-party key exchange in the Canetti-Krawczyk proof model is proposed, followed by a proof of the security of the Joux tripartite key agreement protocol...
IEEEARES
2006
IEEE
15 years 3 months ago
2006
IEEE
Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the...