Date of Award
5-2024
Degree Type
Thesis
Degree Name
Master of Science – Cyber Security
Department
College of Science and Mathematics
First Advisor
Christopher Ivancic
Second Advisor
James Adams
Third Advisor
Jeremy Becnel
Fourth Advisor
Matthew Beauregard
Abstract
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.
Repository Citation
Mellema, Thomas Rolando, "Formalization of a Security Framework Design for a Health Prescription Assistant in an Internet of Things System" (2024). Electronic Theses and Dissertations. 559.
https://scholarworks.sfasu.edu/etds/559
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.
Included in
Information Security Commons, Logic and Foundations Commons, Software Engineering Commons, Theory and Algorithms Commons
Tell us how this article helped you.
