3 search results - page 1 / 1 » Automata-Based Analysis of Recursive Cryptographic Protocols |
STACS
2004
Springer
14 years 4 months ago
2004
Springer
IANDC
2007
13 years 11 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
COMSUR
2011
12 years 11 months ago
2011
Abstract—Exchanging cryptographic keys to encrypt the media stream in the Session Initiation Protocol (SIP) has proven difficult. The challenge is to effectively exchange keys w...