Formalization of a Security Framework Design for a Health Prescription Assistant in an Internet of Things System

<p>Security system design flaws will create greater risks and repercussions as the systems being secured further integrate into our daily life. One such application example is incorporating the powerful potential of the concept of the Internet of Things (IoT) into software services engineered for improving the practices of monitoring and prescribing effective healthcare to patients. A study was performed in this application area in order to specify a security system design for a Health Prescription Assistant (HPA) that operated with medical IoT (mIoT) devices in a healthcare environment. Although the efficiency of this system was measured, little was presented to provide verification of the given framework details to ensure the absence of design flaws that might cause security errors within the final implementation. Formal software modeling has long been utilized as a tool to combat ambiguity, incompleteness, and inconsistencies in a given system design, but these modeling methods lack frequent research application to modern technological concepts for the purpose of preventing security vulnerabilities. This study will translate components of an existing security framework proposal for an IoT HPA system through the lens of three different formal design methods: Z-notation, TLA+, and Petri Nets. Each formal model will then be expanded on in order to demonstrate the beginning iterative steps of how each specification method can be applied to help improve the completeness, correctness, and accuracy of any given design for a high-level security system.</p>

Name thesis:degree_name

Master of Science – Cyber Security

Level thesis:degree_level

Thesis

Discipline thesis:degree_discipline

College of Science and Mathematics

Year dc:date.available

2024

Author dc:creator

• Mellema, Thomas Rolando

Contributors dc:contributor

• Christopher Ivancic
• James Adams
• Jeremy Becnel

• Formalization
• Formal Methods
• Internet of Things
• Security System
• System Design
• Formal Software Design
• Healthcare Software
• Z-notation
• TLA+
• Petri Net
• Computer Sciences
• Information Security
• Logic and Foundations
• Software Engineering
• Theory and Algorithms

Repository record dc:identifier

https://scholarworks.sfasu.edu/etds/559

OAI identifier oai:identifier

oai:scholarworks.sfasu.edu:etds-1603