3504 search results - page 462 / 701 » Secure protocol composition |
104
click to vote
LISA
2003
15 years 3 months ago
2003
Telecommuting and access over a Wireless LAN require strong security at the network level. Although IPsec is well-suited for this task, it is difficult to configure and operate ...
132
click to vote
TKDE
2010
15 years 8 days ago
2010
—Peer-to-peer (P2P) networks are vulnerable to peers who cheat, propagate malicious code, leech on the network, or simply do not cooperate. The traditional security techniques de...
145
click to vote
CCS
2011
ACM
14 years 1 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
111
click to vote
CHI
2004
ACM
16 years 2 months ago
2004
ACM
We identify a wide range of human memory phenomena as potential certificates of identity. These "imprinting" behaviors are characterized by vast capacity for complex exp...
127
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...