Abstract
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, we investigate key update
methods that may be used in wireless sensor networks, and
benefiting from stochastic model checking we derive
characteristics of these methods in security perspective.
Original language | English |
---|---|
Title of host publication | Proceedings of the International Conference on Network Communication and Computer (ICNCC 2011) |
Publication date | 2011 |
Pages | 132-136 |
Publication status | Published - 2011 |
Event | International Conference on Network Communication and Computer - New Delhi, India Duration: 1 Jan 2011 → … |
Conference
Conference | International Conference on Network Communication and Computer |
---|---|
City | New Delhi, India |
Period | 01/01/2011 → … |
Keywords
- Security
- Sensor networks
- Verification
- Key management