Key exchange protocol for wireless sensor network: Formal verification using CSN modal logic

2008 IEEE Sensors Applications Symposium, SAS-2008 - Proceedings

Volumn , Issue , 2008, Pages 193-198

  Li, Yue ^a   Newe, Thomas ^a  

^a UNIVERSITY OF LIMERICK   (Ireland)

Author keywords

Authentication; Formal verification; Modal logic; Wireless networks

Indexed keywords

AUTHENTICATION; COMPUTER CIRCUITS; FORMAL LOGIC; FORMAL VERIFICATION; INTERNET PROTOCOLS; PATIENT MONITORING; PROCESS MONITORING; SECURITY SYSTEMS; SENSOR NODES; WIRELESS NETWORKS;

ADVANCED APPLICATIONS; AUTHENTICATED KEY EXCHANGE PROTOCOLS; DESIGN SPECIFICATION; KEY EXCHANGE PROTOCOLS; MODAL LOGIC; PROTOCOL SECURITY; PUBLIC SERVICES; SECURITY MANAGER;

NETWORK SECURITY;

EID: 78649728344     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/sas13374.2008.4472969     Document Type: Conference Paper

References (6)

1. Hwang D. D., Lai B.C., and Verbauwhede I.,(2004) Energy-Memory-Security Tradeoffs in Distributed Sensor Networks. ADHOC-NOW 2004, LNCS 3158, pp. 70-81.
2. W.-K. Chen, Linear Networks and Systems (Book style). Belmont, CA: Wadsworth, 1993, pp. 123-135.
3. Q. Huang, J. Cukier, H. Kobayashi, B. Liu, and J. Zhang, (2003) "Fast authenticated key establishment protocols for self-organizing sensor networks," in Proc. of the Second ACM International Conference on Wireless Sensor Networks and Applications. ACM Press
4. X.Tian, D.S.Wong (2005) "Analysis and Improvement of an Authenticated Key Exchange Protocol for Sensor Networks" in Proc. Of IEEE Communications Letters, Vol. 9, NO.11,
5. Newe, T. and Coffey, T. (2003). Formal Verification Logic for Hybrid Security Protocols. International Journal of Computer Systems Science and Engineering, Vol. 18 no 1, pp. 17-25,
6. Shamir, A. and Tauman, Y. (2001) Improved on-line/off-line signature schemes. In Proc. Advances in Cryptology - Crypto'01, Santa Barbara, CA, August 19-23, LNCS 2139, pp. 355-367. Springer-Verlag, Berlin.