Formal modeling and analysis with humans in infrastructures for IoT health care systems
Conference paper
Kammueller, F. 2017. Formal modeling and analysis with humans in infrastructures for IoT health care systems. 5th International Conference on Human Aspects of Security, Privacy and Trust, HCII-HAS 2017. Vancouver, BC, Canada 09 - 14 Jul 2017 Springer. pp. 339-352 https://doi.org/10.1007/978-3-319-58460-7_24
Type | Conference paper |
---|---|
Title | Formal modeling and analysis with humans in infrastructures for IoT health care systems |
Authors | Kammueller, F. |
Abstract | In this paper, we integrate previously developed formal methods to model infrastructure, actors, and policies of human centric infrastructures in order to analyze security and privacy properties. A fruitful approach for discovering attacks on human centric infrastructure models is invalidation of global policies. Invalidating global policies by a complete exploration of the state space can be realized by modelchecking. To counter the state explosion problem inherent in modelchecking, Higher Order Logic (HOL) supported by the interactive theorem prover Isabelle can be used to emulate modelchecking. In addition, the Isabelle Insider framework supports modeling and analysis of human centric infrastructures including attack trees. In this paper, we investigate how Isabelle modelchecking might help to improve detection of attack traces and re-finement of attack tree analysis. To this end, we use a case study from security and privacy of IoT devices in the health care sector as proposed in the CHIST-ERA project SUCCESS. |
Conference | 5th International Conference on Human Aspects of Security, Privacy and Trust, HCII-HAS 2017 |
Page range | 339-352 |
ISSN | 0302-9743 |
ISBN | |
Hardcover | 9783319584591 |
Publisher | Springer |
Publication dates | |
14 Jul 2017 | |
Online | 13 May 2017 |
Publication process dates | |
Deposited | 13 Jun 2017 |
Accepted | 01 Dec 2016 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-58460-7_24 |
Additional information | Paper published as: |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-319-58460-7_24 |
Language | English |
Book title | Human Aspects of Information Security, Privacy and Trust: 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings |
https://repository.mdx.ac.uk/item/87027
Download files
44
total views18
total downloads0
views this month0
downloads this month