Verification of key establishment protocols for a home health care system

ISSNIP 2008 - Proceedings of the 2008 International Conference on Intelligent Sensors, Sensor Networks and Information Processing

Volumn , Issue , 2008, Pages 363-368

  Singh, Kalvinder ^a,b   Muthukkumarasamy, Vallipuram ^b  

^a IBM Australia   (Australia)

^b GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOUR TREES; BODY SENSOR NETWORKS; CHRONIC DISEASE; GENETIC DESIGNS; HEALTH CARE SYSTEMS; HOME HEALTH CARES; KEY ESTABLISHMENT PROTOCOLS; MEMORY REQUIREMENTS; MODEL CHECKERS; PHYSIOLOGICAL DATUM; SALIENT FEATURES;

HEALTH; HEALTH CARE; INTELLIGENT CONTROL; SENSOR NETWORKS; SMART SENSORS; WIRELESS SENSOR NETWORKS;

MODEL CHECKING;

EID: 63149190349     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSNIP.2008.4762015     Document Type: Conference Paper

References (28)

1. K. Singh and V. Muthukkumarasamy, "Authenticated key establishment protocols for a home health care system," in Proceedings of the Third International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), Melbourne, Australia, December 2007.
2. A. Hampapur, L. Brown, J. Connell, N. Haas, M. Lu, H. Merkl, S. Pankanti, A. Senior, C.-F. Shu, and Y. Tian, "S3-r1: the ibm smart surveillance system-release 1," in ETP '04: Proceedings of the 2004 ACM SIGMM workshop on Effective telepresence. New York, NY, USA: ACM Press, 2004, pp. 59-62.
3. USA, "Summary of hipaa health insurance probability and accountability act," US Department of Health and Human Service, May 2003.
4. J. Espina, T. Falck, and O. Mülhens, "Network topologies, communication protocols, and standards," in Body Sensor Networks, G.-Z. Yang, Ed. Springer-Verlag, 2006.
5. O. Aziz, B. Lo, A. Darzi, and G.-Z. Yang, "Introduction," in Body Sensor Networks, G.-Z. Yang, Ed. Springer-Verlag, 2006.
6. D. Liu and P. Ning, Security for Wireless Sensor Networks, S. Jajodia, Ed. Springer Berlin / Heidelberg, 2007.
7. P. Hämäläinen, M. Kuorilehto, T. Alho, M. Hännikäinen, and T. D. Hämäläinen, "Security in wireless sensor networks: Considerations and experiments." in SAMOS, 2006, pp. 167-177.
8. H. Chan and A. Perrig, "PIKE: Peer intermediaries for key establishment in sensor networks," in Proceedings of IEEE Infocom. IEEE Computer Society Press, Mar. 2005.
9. K. Singh, K. Bhatt, and V. Muthukkumarasamy, "Protecting small keys in authentication protocols for wireless sensor networks," in Proceedings of the Australian Telecommunication Networks and Applications Conference, Melbourne, Australia, December 2006, pp. 31-35.
10. A. Kansal and M. Srivastava, "Energy-harvesting-aware power management," in Wireless Sensor Networks: A Systems Perspective, N. Bulusu and S. Jha, Eds. Artech House, 2005.
11. C. C. Y. Poon, Y.-T. Zhang, and S.-D. Bao, "A novel biometrics method to secure wireless body area sensor networks for telemedicine and m-health," IEEE Communications Magazine, vol. 44, pp. 73-81, April 2006.
12. S.-D. Bao, Y.-T. Zhang, and L.-F. Shen, "Physiological signal based entity authentication for body area sensor networks and mobile healthcare systems," in 27th Annual International Conference of the Engineering in Medicine and Biology Society, 2005. IEEE Press, 2005, pp. 2455-2458.
13. C. West, "General technique for communications protocol validation," IBM Journal of Research and Development, vol. 22, no. 4, 1978.
14. E. M. Clarke and J. M. Wing, "Formal methods: state of the art and future directions," ACM Comput. Surv., vol. 28, no. 4, pp. 626-643, 1996.
15. E. Sithirasenan, S. Zafar, and V. Muthukkumarasamy, "Formal verification of the ieee 802. 11i wlan security protocol," in Australian Software Engineering Conference (ASWEC '06), Sydney, Australia, 2006.
16. R. Dromey, "From requirements to design: Formalizing the key steps," sefm, vol. 00, p. 2, 2003.
17. K. K. Venkatasubramanian and S. K. S. Gupta, "Security for pervasive health monitoring sensor applications," in ICISIP '06: Proceedings of the 4th International Conference on Intelligent Sensing and Information Processing. Bangalore, India: IEEE Press, December 2006, pp. 197-202.
18. S. M. Bellovin and M. Merritt, "Encrypted key exchange: Password-based protocols secure against dictionary attacks," in IEEE Symposium on Research in Security and Privacy. IEEE Computer Society Press, 1992, pp. 72-84.
19. J. Rushby, "The needham-schroeder protocol in sal," October 2003, http://www.csl.sri.com/users/rushby/abstracts/needham03.
20. Crossbow, "Crossbow," http://www.xbow.com/, 2006.
21. Tiny OS, "An operating system for sensor motes," http://www.tinyos.net/, 2007.
22. K. Singh and V. Muthukkumarasamy, "Performance analysis of proposed key establishment protocols in multi-tiered sensor networks," Journal of Networks, vol. 3, no. 6, 2008.
23. C. Karlof, N. Sastry, and D. Wagner, "Tinysec: a link layer security architecture for wireless sensor networks," in SenSys '04: Proceedings of the 2nd international conference on Embedded networked sensor systems. New York, NY, USA: ACM Press, 2004, pp. 162-175.
24. R. Rivest, "The md5 message-digest algorithm," April 1992, http://tools.ietf.org/html/rfc1321.
25. H. Krawczyk, M. Bellare, and R. Canetti, "Hmac: Keyed-hashing for message authentication," February 1997, http://tools.ietf.org/html/rfc2104.
26. P. K. Dutta, J. W Hui, D. C. Chu, and D. E. Culler, "Securing the deluge network programming system," In the Fifth International Conference on Information Processing in Sensor Networks (IPSN'06), April 2006.
27. W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery, "Root finding and nonlinear sets of equation," in Numerical Recipes: The Art of Scientific Computing, W. H. Press, Ed. Cambridge University Press, 2007.
28. A. Liu, P. Kampanakis, and P. Ning, "Tinyecc: Elliptic curve cryptography for sensor networks (version 0.3)," February 2007, http://discovery.csc.ncsu.edu/software/TinyECC/.