Deriving event data sharing in IoT systems using formal modelling and analysis
Research output: Contribution to journal › Article
Standard
Deriving event data sharing in IoT systems using formal modelling and analysis. / Fremantle, Paul; Aziz, Benjamin.
In: Internet of Things: Engineering Cyber Physical Human Systems, Vol. 8, 100092, 12.2019.Research output: Contribution to journal › Article
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - JOUR
T1 - Deriving event data sharing in IoT systems using formal modelling and analysis
AU - Fremantle, Paul
AU - Aziz, Benjamin
PY - 2019/12
Y1 - 2019/12
N2 - The increasing presence and utilisation of IoT systems raises many fundamental security and privacy issues that require robust approaches in understanding the behaviour of IoT systems and tackling those issues. In previous works, we demonstrated how some of the security and privacy questions in IoT systems could be answered by means of using federated identity management and authorisation frameworks, such as OAuth, intelligent gateways and personal cloud systems. In this paper, we take these works into a more fundamental level by formally modelling and analysing the OAuthing personal cloud-based IoT system. We demonstrate that this exercise reveals how data is shared across the system, and therefore how security and privacy guarantees can be established at a fundamental level.
AB - The increasing presence and utilisation of IoT systems raises many fundamental security and privacy issues that require robust approaches in understanding the behaviour of IoT systems and tackling those issues. In previous works, we demonstrated how some of the security and privacy questions in IoT systems could be answered by means of using federated identity management and authorisation frameworks, such as OAuth, intelligent gateways and personal cloud systems. In this paper, we take these works into a more fundamental level by formally modelling and analysing the OAuthing personal cloud-based IoT system. We demonstrate that this exercise reveals how data is shared across the system, and therefore how security and privacy guarantees can be established at a fundamental level.
KW - CSP
KW - Federated Systems
KW - Formal Modeling
KW - IoT
U2 - 10.1016/j.iot.2019.100092
DO - 10.1016/j.iot.2019.100092
M3 - Article
VL - 8
JO - Internet of Things: Engineering Cyber Physical Human Systems
JF - Internet of Things: Engineering Cyber Physical Human Systems
SN - 2542-6605
M1 - 100092
ER -
ID: 15113075