3811 search results - page 430 / 763 » The Safe-Tcl Security Model |
196
click to vote
TIFS
2008
15 years 6 months ago
2008
In autonomous mobile ad-hoc networks, one major challenge is to stimulate cooperation among selfish nodes, especially when some nodes may be malicious. In this paper, we address co...
197
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
164
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
—Internet users such as individuals and organizations are subject to different types of epidemic risks such as worms, viruses, and botnets. To reduce the probability of risk, an ...
187
click to vote
TKDE
2008
15 years 6 months ago
2008
Malicious users can exploit the correlation among data to infer sensitive information from a series of seemingly innocuous data accesses. Thus, we develop an inference violation d...
210
click to vote
JOC
2007
15 years 6 months ago
2007
This paper is about the Oblivious Transfer in the distributed model proposed by M. Naor and B. Pinkas. In this setting a Sender has n secrets and a Receiver is interested in one o...