547 search results - page 104 / 110 » Analysis of a mobile communication security protocol |
60
Voted
IWCMC
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we study the fabricated report with false votes attack and the false votes on real reports attack in wireless sensor networks. Since most of the existing works addr...
CMSB
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
PODC
2003
ACM
15 years 2 months ago
2003
ACM
All too often a seemingly insurmountable divide between theory and practice can be witnessed. In this paper we try to contribute to narrowing this gap in the field of ad-hoc rout...
117
click to vote
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
In recent years, there has been an increase in video surveillance systems in public and private environments due to a heightened sense of security. The next generation of surveill...
ICCCN
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract—The current system design of mobile ad hoc networks (MANET), derived from their traditional fixed counterparts, cannot fully meet the requirements inherent to the dynam...