Verification of key establishment protocols for a home health care system

Author

Singh, Kalvinder ; Muthukkumarasamy, Vallipuram

fYear

2008

fDate

15-18 Dec. 2008

Firstpage

363

Lastpage

368

Abstract

A body sensor network can be used in a home health care system to monitor the elderly or patients with chronic diseases. The security and requirements of the home health care system is complex. We show how genetic design methodology models the requirements of the health care system. In our system, physiological data can be used to establish keys amongst body sensors, where the sensors have no other prior secret. We show how the requirements of the key establishment protocol can be placed into a requirement behaviour tree. A model is generated from the behaviour tree, and a model checker is used to formally verify the protocol within our system. Implementation of the salient features of each of the protocols is provided. The salient features of the protocols were implemented in TinyOS and run on mica2 motes. The time elapsed, complexity of the code, and memory requirements are analysed in detail.

Keywords

biomedical telemetry; body area networks; cryptographic protocols; diseases; formal verification; geriatrics; health care; patient monitoring; radiotelemetry; telecommunication security; wireless sensor networks; TinyOS; body sensor network; chronic disease; code complexity; elderly patient monitoring; formal verification; genetic design methodology; home health care system security; key establishment protocol; memory requirements; mica2 mote; model checker; physiological data; requirement behaviour tree; Body sensor networks; Data security; Design methodology; Diseases; Genetics; Medical services; Patient monitoring; Protocols; Senior citizens; Sensor systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Sensors, Sensor Networks and Information Processing, 2008. ISSNIP 2008. International Conference on

Conference_Location

Sydney, NSW

Print_ISBN

978-1-4244-3822-8

Electronic_ISBN

978-1-4244-2957-8

Type

conf

DOI

10.1109/ISSNIP.2008.4762015

Filename

4762015