Please use this identifier to cite or link to this item:
Modeling The Secure Boot Protocol Using Actor Network Theory
|Title:||Modeling The Secure Boot Protocol Using Actor Network Theory|
|Contributors:||Computer Science (department)|
|Keywords:||Science of Safety|
|Date Issued:||Dec 2017|
|Publisher:||University of Hawaiʻi at Mānoa|
|Abstract:||We propose a framework for modeling and analyzing the security of cyber-physical systems, in particular|
the security properties of a Secure Boot protocol. By reviewing the history of safety in Aviation & Urban
Development, we observe how their safety systems matured and identify key factors for their success such
as economic incentives, investments in to obtain a deep understanding of a system’s components, the ability
to scale and the rigorous definition & analysis of objectives. Cyber-physical systems are hindered by the
lack of rigorous models to express and analyze security objectives. Based on previous works of formal
Actor Networks from Computer Science and informal Actor Network Theory from Sociology, we propose
a mathematical framework to model cyber-physical protocols and analyze their security properties while
keeping the interactions, in particular the physical interactions, flexible. Finally, the thesis develops four
Actor Network models and analyzes security properties of a Secure Boot protocol.
|Description:||M.S. Thesis. University of Hawaiʻi at Mānoa 2017.|
|Rights:||All UHM dissertations and theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission from the copyright owner.|
|Appears in Collections:||
M.S. - Computer Science|
Please email email@example.com if you need this content in ADA-compliant format.
Items in ScholarSpace are protected by copyright, with all rights reserved, unless otherwise indicated.