263 search results - page 47 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
WISEC
2009
ACM
14 years 2 months ago
2009
ACM
We address the problem of control-channel jamming attacks in multi-channel ad hoc networks. Deviating from the traditional view that sees jamming attacks as a physical-layer vulne...
ISPA
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. Wireless Sensor Networks are edging closer to widespread feasibility with recent research showing promising results in developing and adapting new mechanisms to suit thei...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
Enterprise network security is typically reactive, and it relies heavily on host security and middleboxes. This approach creates complicated interactions between protocols and sys...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Consider a pollster who wishes to collect private, sensitive data from a number of distrustful individuals. How might the pollster convince the respondents that it is trustworthy?...
JCP
2007
13 years 7 months ago
2007
—The computational Grid concept is gaining great popularity as the best way to deliver access to a wide range of distributed computing and data resources. But, as Grids move from...