Download now Free registration required
In wireless systems, Neighbor Discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocols and a wide range of applications. To thwart abuse of ND and the resultant compromise of the dependent functionality of wireless systems, numerous works proposed solutions to secure ND. Nonetheless, until very recently, there has been no formal analysis of secure ND protocols. The authors close this gap, but they concentrate primarily on the derivation of an impossibility result for a class of protocols. In this paper, they focus on reasoning about specific protocols. First, they contribute a number of extensions and refinements on the framework.
- Format: PDF
- Size: 243.48 KB