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

Name: Dataset in support of the thesis 'An Information Security Model for an Internet of Things-enabled Smart Grid in the Saudi energy sector'
Creator: University of Southampton
Published: 2025-02-17 13:47:54
License: 暂无描述

DataCite Commons2025-02-17 更新2025-04-17 收录

下载链接：

https://eprints.soton.ac.uk/498327/

下载链接

链接失效反馈

官方服务：

资源简介：

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.

提供机构：

University of Southampton

创建时间：

2025-02-17