4111 search results - page 672 / 823 » Security, Protocols, and Trust |
151
click to vote
LCN
2005
IEEE
16 years 22 days ago
2005
IEEE
Network Address Translation (NAT) is often used in routers that connect home and small-office networks to the Internet. Unfortunately, NAT may not interoperate well with many pro...
195
click to vote
ICALP
2005
Springer
16 years 20 days 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...
190
click to vote
IFIP
2004
Springer
16 years 15 days ago
2004
Springer
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...
250
click to vote
TCC
2010
Springer
16 years 8 days ago
2010
Springer
We consider message authentication codes for streams where the key becomes known only at the end of the stream. This usually happens in key-exchange protocols like SSL and TLS wher...
193
click to vote
ASAP
2004
IEEE
15 years 11 months ago
2004
IEEE
IPSec is a suite of protocols that adds security to communications at the IP level. Protocols within the IPSec suite make extensive use of cryptographic algorithms. Since these al...