573 search results - page 96 / 115 » Security Analysis of Voice-over-IP Protocols |
ACNS
2005
Springer
15 years 3 months ago
2005
Springer
Recently, several public key exchange protocols based on symbolic computation in non-commutative (semi)groups were proposed as a more efficient alternative to well established prot...
103
click to vote
CISS
2010
IEEE
14 years 1 months ago
2010
IEEE
—Distributed transmit beamforming has recently been proposed as a technique in which several single-antenna sources cooperate to form a virtual antenna array and simultaneously t...
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
CTRSA
2009
Springer
15 years 4 months ago
2009
Springer
Digital Enhanced Cordless Telecommunications (DECT) is a standard for connecting cordless telephones to a fixed telecommunications network over a short range. The cryptographic al...
108
click to vote
SAINT
2008
IEEE
15 years 4 months ago
2008
IEEE
Tor (The Onion Routing) provides a secure mechanism for offering TCP-based services while concealing the hidden server’s IP address. In general the acceptance of services strong...