3504 search results - page 495 / 701 » Secure protocol composition |
111
click to vote
ESORICS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
162
click to vote
ACMSE
2008
ACM
15 years 3 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...
106
click to vote
MOBIHOC
2008
ACM
16 years 1 months ago
2008
ACM
Local monitoring is an effective mechanism for the security of wireless sensor networks (WSNs). Existing schemes assume the existence of sufficient number of active nodes to carry...
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
119
click to vote
FOCS
2006
IEEE
15 years 7 months ago
2006
IEEE
There is a vast body of work on implementing anonymous communication. In this paper, we study the possibility of using anonymous communication as a building block, and show that o...