849 search results - page 21 / 170 » Evaluation of Security Protocols for the Session Initiation ... |
109
Voted
FUIN
2007
15 years 11 days ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
96
Voted
FUIN
2007
15 years 11 days ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
105
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
119
click to vote
EUC
2007
Springer
15 years 6 months ago
2007
Springer
This paper proposes a low-cost and strong-security RFID protocol to reduce the computational load on both the back-end database and the tags in an RFID system. When desynchronizati...
90
Voted
CARDIS
1998
Springer
15 years 4 months ago
1998
Springer
We describe the implementation of the Shoup-Rubin key distribution protocol. This protocol stores long-term keys on a smartcard and uses the cryptographic capability of the card t...