Verification of Key Establishment Protocols for a Home Health Care System
| File | Size | Format | |
|---|---|---|---|
| 55059_1.pdf | 349Kb | Adobe PDF | View |
| Title | Verification of Key Establishment Protocols for a Home Health Care System |
|---|---|
| Author | Singh, Kalvinder; Muthukkumarasamy, Vallipuram |
| Publication Title | ISSNIP 2008 Proceedings: The 2008 International Conference on Intelligent Sensors, Sensor networks and Information Processing. |
| Editor | A. Bouzerdoum |
| Year Published | 2008 |
| Place of publication | New York, USA |
| Publisher | IEEE Press. |
| 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. |
| Peer Reviewed | No |
| Published | Yes |
| Publisher URI | http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4752632 |
| Alternative URI | http://dx.doi.org/10.1109/ISSNIP.2008.4762015 |
| Copyright Statement | Copyright 2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. |
| ISBN | 978-1-4244-2957-8 |
| Conference name | Fourth International Conference on Intelligent Sensors, Sensor networks and Information Processing |
| Location | Sydney, Australia |
| Date From | 2008-12-15 |
| Date To | 2008-12-18 |
| URI | http://hdl.handle.net/10072/23764 |
| Date Accessioned | 2009-03-31 |
| Date Available | 2011-05-04T09:52:31Z |
| Language | en_AU |
| Research Centre | Institute for Integrated and Intelligent Systems |
| Faculty | Faculty of Science, Environment, Engineering and Technology |
| Subject | Information and Computing Sciences |
| Publication Type | Conference Publications (Full Written Paper - Non-Refereed) |
| Publication Type Code | e2 |
Please use this identifier to cite this record: http://hdl.handle.net/10072/23764
Griffith University copyright notice
Copyright in individual works within the repository belongs to their authors or publishers. You may make a print or digital copy of a work for your personal non-commercial use. All other rights are reserved, except for fair dealings or other user rights granted by the copyright laws of your country.
Footer information
Back to top