10 search results - page 1 / 2 » sasn 2003 |
69
Voted
SASN
2003
ACM
15 years 3 months ago
2003
ACM
SASN
2003
ACM
15 years 3 months ago
2003
ACM
85
Voted
SASN
2003
ACM
15 years 3 months ago
2003
ACM
In this paper we present SECTOR, a set of mechanisms for the secure verification of the time of encounters between nodes in multi-hop wireless networks. This information can be u...
93
Voted
SASN
2003
ACM
15 years 3 months ago
2003
ACM
Until recently, ad hoc networks were mainly used for military and security-sensitive applications. Nowadays, they could also be used in SOHO (Small Office / Home Office) or home n...
97
Voted
SASN
2003
ACM
15 years 3 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...