The Security Proof of a Link-state Routing Protocol for Wireless Sensor Networks
Gergely Ács, Levente Buttyán, István Vajda · 2007
In this paper, we present a flexible and mathematically rigorous modeling framework for analyzing the security of sensor network routing protocols. Then, we demonstrate the usage of this framework by formally proving that INSENS (Intrusion-Tolerant Routing in Wireless Sensor Networks), which is a secure sensor network routing protocol proposed in the literature independently of our work, can be proven to be secure in our model.