2702 search results - page 299 / 541 » Message from the Editor |
134
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
120
click to vote
IEEESCC
2007
IEEE
15 years 10 months ago
2007
IEEE
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...
114
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— In wireless networks mutual interference impairs the quality of received signals and might even prevent the correct reception of messages. It is therefore of paramount importan...
139
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper, an anti-sensor network system is proposed, aiming to protect an important area from being under surveillance by an adversary’s sensor nodes. The major component...
132
click to vote
MOBIQUITOUS
2007
IEEE
15 years 10 months ago
2007
IEEE
An important objective of wireless sensor networks (WSNs) is to reliably sense data about the environment in which they are deployed. Reliability in WSNs has been widely studied in...