3115 search results - page 444 / 623 » Synthesizing Secure Protocols |
192
click to vote
JSAC
2006
15 years 6 months ago
2006
Network mobility introduces far more complexity than host mobility. Therefore, host mobility protocols such as Mobile IPv6 (MIPv6) need to be extended to support this new type of m...
184
click to vote
CCS
2009
ACM
15 years 3 months ago
2009
ACM
Privacy of RFID systems is receiving increasing attention in the RFID community. Basically, there are two kinds of RFID privacy notions: one based on the indistinguishability of t...
172
click to vote
IFIP
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
266
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
Wireless Sensor Networks (WSNs) may be deployed in hostile or inaccessible environments and are often unattended. In these conditions securing a WSN against malicious attacks is a...
180
click to vote
SIGCOMM
2012
ACM
13 years 8 months ago
2012
ACM
This demo presents Signposts, a system to provide users with a secure, simple mechanism to establish and maintain communication channels between their personal cloud of named devi...