Date Added: Mar 2012
Wireless sensor networks offer the advantages of simple and low-resource communication. Challenged by this simplicity and low-resources, security is of particular importance in many cases such as transmission of sensitive data or strict requirements of tamper-resistance. Updating the security keys is one of the essential points in security, which restrict the amount of data that may be exposed when a key is compromised. In this paper, the authors investigate key update methods that may be used in wireless sensor networks, and benefiting from stochastic model checking they derive characteristics of these methods in security perspective.