A formally verified decentralized key management architecture for wireless sensor networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2775, Issue , 2003, Pages 27-39

  Law, Yee Wei ^a   Corin, Ricardo ^a   Etalle, Sandro ^a   Hartel, Pieter H ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE; ENERGY UTILIZATION; INTEROPERABILITY; WIRELESS SENSOR NETWORKS;

CONSTRAINT SOLVING; KEY ESTABLISHMENTS; KEY MANAGEMENT; KEY STORAGE; PROTOCOL VERIFICATION; SYMMETRIC CRYPTOGRAPHY;

NETWORK ARCHITECTURE;

EID: 33751047869     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39867-7_3     Document Type: Article

References (14)

1. M. Abdalla and M. Bellare. Increasing the lifetime of a key: A comparative analysis of the security of rekeying techniques. In T. Okamoto, editor, Advances in Cryptology - ASIACRYPT 2000, volume 1976 of LNCS, pages 546-565. Springer-Verlag, 2000.
2. S. Basagni, K. Herrin, D. Bruschi, and E. Rosti. Secure pebblenets. In Proceedings of the 2001 ACM Int. Symp. on Mobile Ad Hoc Networking and Computing, pages 156-163. ACM Press, October 2001.
3. M. Brown, D. Cheung, D. Hankerson, J. L. Hernandez, M. Kirkup, and A. Menezes. PGP in Constrained Wireless Devices. In 9th USENIX Security Symposium, pages 247-261. USENIX Association, Aug 2000.
4. D.W. Carman, P.S. Kruus, and B.J. Matt. Constraints and approaches for distributed sensor network security. Technical Report #00-010, NAI Labs, 2000.
5. J.L. Carter and M.N. Wegman. Universal classes of hash functions. Journal of Computer and System Sciences, 18:143-154, 1979.
6. R. Corin and S. Etalle. An improved constraint-based system for the verification of security protocols. In M. Hermenegildo and G. Puebla, editors, 9th Int. Static Analysis Symp. (SAS), volume 2477, pages 326-341, Madrid, Spain, Sep 2002. Springer-Verlag.
7. S.A. Crosby and D.S. Wallach. Denial of service via algorithmic complexity attacks. In 12th USENIX Security Symposium. USENIX Association, 2003. To appear.
8. R. di Pietro, L.V. Mancini, and S. Jajodia. Secure selective exclusion in ad hoc wireless network. In M.A. Ghonaimy, M.T. El-Hadidi, and H.K. Asian, editors, Security in the Information Society: Visions and Perspectives, pages 423-434. Kluwer Academic Publishers, 2002.
9. C. Intanagonwiwat, R. Govindan, and D. Estrin. Directed diffusion: A scalable and robust communication paradigm for sensor networks. In 6th Annual Int. Conf. on Mobile Computing and Networking (MobiCOM '00), pages 56-67, Boston, Massachusetts, United States, 2000. ACM Press.
10. J. Jonsson. On the security of CTR + CBC MAC. In K. Nyberg and H.Heys, editors, Selected Areas in Cryptography, 9th Annual Workshop (SAC 2002), volume 2595 of LNCS, pages 76-93. Springer-Verlag, 2002.
11. H. Luo, P. Zerfos, J. Kong, S. Lu, and L. Zhang. Self-securing ad hoc wireless networks. In 7th IEEE Symp. on Computers and Communications, pages 567-574, 2002.
12. A. Perrig, R. Szewczyk, V. Wen, D. Culler, and J.D. Tygar. SPINS: Security Protocols for Sensor Networks. In Proceedings of the 7th Ann. Int. Conf. on Mobile Computing and Networking, pages 189-199. ACM Press, 2001.
13. RF Monolithics, Inc. TR1001: 868.35 MHz Transceiver. Datasheet, http://www.rfm.com/products/data/tr1001.pdf.
14. S. Slijepcevic, V. Tsiatsis, S. Zimbeck, M.B. Srivastava, and M. Potkonjak. On communication security in wireless ad-hoc sensor networks. In 11th IEEE Int. Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pages 139-144, Jun 2002.