4111 search results - page 220 / 823 » Security, Protocols, and Trust |
120
Voted
FC
2006
Springer
15 years 4 months ago
2006
Springer
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...
123
Voted
PKC
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents an efficient protocol for securely computing the fundamental problem of pattern matching. This problem is defined in the two-party setting, where party P1 hold...
104
Voted
SEC
2001
15 years 2 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...
112
Voted
FUIN
2007
15 years 18 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...
100
Voted
FUIN
2007
15 years 18 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 ...