Skip to content
Back to outputs

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, 12.08.2019.

Research output: Contribution to journal › Article

Harvard

Fremantle, P & Aziz, B 2019, 'Deriving event data sharing in IoT systems using formal modelling and analysis', Internet of Things: Engineering Cyber Physical Human Systems.

APA

Fremantle, P., & Aziz, B. (Accepted/In press). Deriving event data sharing in IoT systems using formal modelling and analysis. Internet of Things: Engineering Cyber Physical Human Systems.

Vancouver

Fremantle P, Aziz B. Deriving event data sharing in IoT systems using formal modelling and analysis. Internet of Things: Engineering Cyber Physical Human Systems. 2019 Aug 12.

Author

Fremantle, Paul ; Aziz, Benjamin. / Deriving event data sharing in IoT systems using formal modelling and analysis. In: Internet of Things: Engineering Cyber Physical Human Systems. 2019.

Bibtex

@article{5a9e5e5597724302999cd14f84316800,
title = "Deriving event data sharing in IoT systems using formal modelling and analysis",
abstract = "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.",
keywords = "CSP, Federated Systems, Formal Modeling, IoT",
author = "Paul Fremantle and Benjamin Aziz",
year = "2019",
month = "8",
day = "12",
language = "English",
journal = "Internet of Things: Engineering Cyber Physical Human Systems",
issn = "2542-6605",
publisher = "Elsevier",

}

RIS

TY - JOUR

T1 - Deriving event data sharing in IoT systems using formal modelling and analysis

AU - Fremantle, Paul

AU - Aziz, Benjamin

PY - 2019/8/12

Y1 - 2019/8/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

M3 - Article

JO - Internet of Things: Engineering Cyber Physical Human Systems

T2 - Internet of Things: Engineering Cyber Physical Human Systems

JF - Internet of Things: Engineering Cyber Physical Human Systems

SN - 2542-6605

ER -

ID: 15113075