Show simple item record

dc.contributor.convenorA. Bouzerdoumen_AU
dc.contributor.authorSingh, Kalvinderen_US
dc.contributor.authorMuthukkumarasamy, Vallipuramen_US
dc.contributor.editorA. Bouzerdoumen_US
dc.date.accessioned2017-04-24T11:12:40Z
dc.date.available2017-04-24T11:12:40Z
dc.date.issued2008en_US
dc.date.modified2011-05-04T09:52:31Z
dc.identifier.doi10.1109/ISSNIP.2008.4762015en_AU
dc.identifier.urihttp://hdl.handle.net/10072/23764
dc.description.abstractA 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.en_US
dc.description.publicationstatusYesen_AU
dc.format.extent358114 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherIEEE Press.en_US
dc.publisher.placeNew York, USAen_US
dc.publisher.urihttp://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4752632en_AU
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencenameFourth International Conference on Intelligent Sensors, Sensor networks and Information Processingen_US
dc.relation.ispartofconferencetitleISSNIP 2008 Proceedings: The 2008 International Conference on Intelligent Sensors, Sensor networks and Information Processing.en_US
dc.relation.ispartofdatefrom2008-12-15en_US
dc.relation.ispartofdateto2008-12-18en_US
dc.relation.ispartoflocationSydney, Australiaen_US
dc.relation.ispartofissue6en_US
dc.relation.ispartofvolume3en_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchInformation and Computing Sciences not elsewhere classifieden_US
dc.subject.fieldofresearchcode089999en_US
dc.titleVerification of Key Establishment Protocols for a Home Health Care Systemen_US
dc.typeConference outputen_US
dc.type.descriptionE2 - Conference Publications (Non HERDC Eligible)en_US
dc.type.codeE - Conference Publicationsen_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.rights.copyrightCopyright 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.en_AU
gro.date.issued2008
gro.hasfulltextFull Text


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record