3504 search results - page 532 / 701 » Secure protocol composition |
282
click to vote
ICDCS
2005
IEEE
16 years 1 months ago
2005
IEEE
Directories have become an important component of the enterprise security and identity management middleware. This paper describes a novel filter based replication model for Light...
155
Voted
LCN
2005
IEEE
16 years 1 months 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...
202
click to vote
ICALP
2005
Springer
16 years 28 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...
193
Voted
IFIP
2004
Springer
16 years 23 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...
262
Voted
TCC
2010
Springer
16 years 16 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...