Formal Security Analysis for Ad-Hoc Networks

@article{Nanz2006FormalSA,
  title={Formal Security Analysis for Ad-Hoc Networks},
  author={Sebastian Nanz and Chris Hankin},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2006},
  volume={142},
  pages={195-213}
}
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can perform a variety of attacks just by not behaving according to the specification. Whilst secure versions of routing protocols are under development, little effort has been made to formalise the scenario similarly to developments in the realm of traditional security protocols for secrecy and authentication. We present a… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…