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

This Dataset contains 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.