Repository logo
 

Access control for IoT environments: specification and analysis

Simple item page
dc.contributor.authorPeterson, Jordan T., author
dc.contributor.authorRay, Indrakshi, advisor
dc.contributor.authorPrabhu, Vinayak, advisor
dc.contributor.authorGersch, Joseph, committee member
dc.contributor.authorHayne, Stephen, committee member
dc.date.accessioned2021-06-07T10:19:35Z
dc.date.available2021-06-07T10:19:35Z
dc.date.issued2021
dc.description.abstractSmart homes have devices which are prone to attacks as seen in the 2016 Mirai botnet attacks. Authentication and access control form the first line of defense. Towards this end, we propose an attribute-based access control framework for smart homes that is inspired by the Next Generation Access Control (NGAC) model. Policies in a smart home can be complex. Towards this end, we demonstrate how the formal modeling language Alloy can be used for policy analysis. In this work we formally define an IoT environment, express an example security policy in the context of a smart home, and show the policy analysis using Alloy. This work introduces processes for identifying conflicting and redundant rules with respect to a given policy. This work also demonstrates a practical use case for the processes described. In other words, this work formalizes policy rule definition, home IoT environment definition, and rule analysis all in the context of NGAC and Alloy.
dc.format.mediumborn digital
dc.format.mediummasters theses
dc.identifierPeterson_colostate_0053N_16416.pdf
dc.identifier.urihttps://hdl.handle.net/10217/232471
dc.languageEnglish
dc.language.isoeng
dc.publisherColorado State University. Libraries
dc.relation.ispartof2020-
dc.rightsCopyright and other restrictions may apply. User is responsible for compliance with all applicable laws. For information about copyright law, please see https://libguides.colostate.edu/copyright.
dc.subjectattribute-based access control
dc.subjectformal modeling
dc.subjectredundancy identification
dc.subjectconflict identification
dc.subjectAlloy
dc.subjectNext Generation Access Control
dc.titleAccess control for IoT environments: specification and analysis
dc.typeText
dcterms.rights.dplaThis Item is protected by copyright and/or related rights (https://rightsstatements.org/vocab/InC/1.0/). You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s).
thesis.degree.disciplineComputer Science
thesis.degree.grantorColorado State University
thesis.degree.levelMasters
thesis.degree.nameMaster of Science (M.S.)

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Peterson_colostate_0053N_16416.pdf
Size:
639.86 KB
Format:
Adobe Portable Document Format
Download

Collections

2020-
Theses and Dissertations