3504 search results - page 506 / 701 » Secure protocol composition |
124
Voted
IFIP
2010
Springer
14 years 8 months 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...
116
click to vote
ICASSP
2011
IEEE
14 years 5 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...
123
click to vote
SIGCOMM
2012
ACM
13 years 4 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...
157
click to vote
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
113
click to vote
PKC
2012
Springer
13 years 4 months ago
2012
Springer
We define a new notion of relatively-sound non-interactive zeroknowledge (NIZK) proofs, where a private verifier with access to a trapdoor continues to be sound even when the Ad...