39 search results - page 5 / 8 » Automatic analysis of distance bounding protocols |
GLOBECOM
2008
IEEE
14 years 1 months ago
2008
IEEE
—This paper provides a queueing analysis for the slotted Aloha network. We assume the use of an exponential backoff protocol. Most prior work on slotted Aloha focuses on the anal...
FSTTCS
2003
Springer
14 years 5 days ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
GBRPR
2009
Springer
14 years 1 months ago
2009
Springer
The collection of behavior protocols is a common practice in human factors research, but the analysis of these large data sets has always been a tedious and time-consuming process....
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
—This paper addresses the dynamics of broadcast flooding in random wireless ad hoc networks. In particular, we study the subset of nodes covered by a flood as well as timing is...
MOBIHOC
2004
ACM
14 years 6 months ago
2004
ACM
APS algorithms use the basic idea of distance vector routing to find positions in an ad hoc network using only a fraction of landmarks, for example GPS enabled nodes. All the node...