3751 search results - page 40 / 751 » Events in security protocols |
ICEIS
2010
IEEE
13 years 5 months ago
2010
IEEE
MMMACNS
2010
Springer
13 years 5 months ago
2010
Springer
INDOCRYPT
2004
Springer
14 years 1 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...
LPAR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
CSFW
2008
IEEE
13 years 9 months ago
2008
IEEE
The IEEE 802.11s working group is tasked to provide ways of establishing and securing a wireless mesh network. One proposal establishes a Mesh Security Architecture (MSA), with a ...