631 search results - page 53 / 127 » Intrusion-Resilient Secure Channels |
128
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
140
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Detecting malicious packet dropping is important in ad hoc networks to combat a variety of security attacks such as blackhole, greyhole, and wormhole attacks. We consider the de...
102
click to vote
I3E
2001
15 years 5 months ago
2001
: For an electronic election to be fully democratic there is a need for security mechanisms that will assure the privacy of the voters. With receipt-free electronic voting, a voter...
152
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We consider the Gaussian Multiple Access Wire-Tap Channel (GMAC-WT). In this scenario, multiple users communicate with an intended receiver in the presence of an intelligent and in...
127
click to vote
JCM
2007
15 years 4 months ago
2007
—Modulation techniques have attracted increasing attention in optical wireless communications. Basic schemes such as on off keying (OOK), pulse amplitude modulation (PAM) and pul...