READ ME File For 'Dataset in support of the thesis 'An Information Security Model for an Internet of Things-enabled Smart Grid in the Saudi energy sector'

Dataset DOI: 10.5258/SOTON/D3060

ReadMe Author: Abeer Akkad, University of Southampton ORCID ID

This dataset supports the thesis entitled An Information Security Model for an Internet of Things-enabled Smart Grid in the Saudi energy sector'
AWARDED BY: Univeristy of Southampton
DATE OF AWARD: 2024

DESCRIPTION OF THE DATA
The Event B model for the IoT-enabled SG and transcripts for expert reviews

Event-B representation (codes) of the formal model using Rodin Toolset. The formal model consists of the Abstract Context C0, the Abstract Machine M0, the Context of the First Refinement C1, the Machine of the First Refinement M1, the Context of the Second Refinement C2, the Machine of the Second Refinement M2.

The Event-B models can be imported as projects in the Rodin toolset, available as bundled installation packages via 
https://www.uml-b.org/Downloads.html.

The transcripts are encoded and comply with the Ethical Approval policy. The ethical approval was achieved on 17/12/2020 with ethics approval reference number 62423.

Licence:CC-BY


Related Funders:Department of Information Systems, Faculty of Computing and Information Technology, King AbdulAziz University, Jeddah, Saudi Arabia


Date that the file was created: Feb, 2025

--------------