4111 search results - page 630 / 823 » Security, Protocols, and Trust |
195
click to vote
ESORICS
2003
Springer
16 years 14 days 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...
199
click to vote
ENTCS
2006
15 years 7 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
251
click to vote
ACMSE
2008
ACM
15 years 9 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...
186
click to vote
MOBIHOC
2008
ACM
16 years 6 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...
221
click to vote
FOCS
2006
IEEE
16 years 1 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...