3115 search results - page 468 / 623 » Synthesizing Secure Protocols |
187
click to vote
SASN
2006
ACM
15 years 11 months ago
2006
ACM
Mesh network is vulnerable to privacy attacks because of the open medium property of wireless channel, the fixed topology, and the limited network size. Traditional anonymous rou...
247
click to vote
ICDCS
2005
IEEE
15 years 11 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...
132
click to vote
LCN
2005
IEEE
15 years 11 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...
154
Voted
ICALP
2005
Springer
15 years 11 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...
157
click to vote
IFIP
2004
Springer
15 years 11 months 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...