3 search results - page 1 / 1 » Automata-Based Analysis of Recursive Cryptographic Protocols |
STACS
2004
Springer
14 years 21 days ago
2004
Springer
IANDC
2007
13 years 7 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 7 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...