718 search results - page 17 / 144 » Security protocols, properties, and their monitoring |
118
Voted
INDOCRYPT
2004
Springer
15 years 7 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...
112
click to vote
SEC
2001
15 years 3 months ago
2001
: The Cliques protocols are extensions of the Diffie-Hellman key exchange protocol to a group setting. In this paper, we are analysing the A-GDH.2 suite that is intended to allow a...
106
Voted
ASIAN
2007
Springer
15 years 5 months ago
2007
Springer
We investigate the problem of verifying location claims of mobile devices, and propose a new property called simultaneous distance modification (SDM). In localization protocols sat...
139
Voted
SACMAT
2010
ACM
15 years 6 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
CSFW
1999
IEEE
15 years 6 months ago
1999
IEEE
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related proble...