631 search results - page 7 / 127 » Intrusion-Resilient Secure Channels |
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
—We present a probabilistic framework for physical layer secrecy when the locations and channels of the eavesdroppers are unknown. The locations are modeled by a Poisson point pr...
ESORICS
2011
Springer
13 years 11 months ago
2011
Springer
We explore the suitability of Dolev-Yao-based attacker models for the security analysis of wireless communication. The Dolev-Yao model is commonly used for wireline and wireless ne...
103
click to vote
JCS
2011
14 years 6 months ago
2011
One of the main challenges in pervasive computing is how we can establish secure communication over an untrusted high-bandwidth network without any initial knowledge or a Public K...
TDHMS
2008
14 years 10 months ago
2008
In this paper, well-known attacks named oracle attacks are formulated within a realistic network communication model where they reveal to use suitable covert channels, we name orac...
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...