Please use this identifier to cite or link to this item:

Modeling The Secure Boot Protocol Using Actor Network Theory

File Size Format  
2017-12-ms-nelson.pdf 2.03 MB Adobe PDF View/Open

Item Summary

Title:Modeling The Secure Boot Protocol Using Actor Network Theory
Authors:Nelson, Mark
Contributors:Computer Science (department)
Keywords:Science of Safety
Formal Methods
Actor Networks
Secure Boot
Trusted Computing
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 if you need this content in ADA-compliant format.

Items in ScholarSpace are protected by copyright, with all rights reserved, unless otherwise indicated.