U.S. flag   An unofficial archive of your favorite United States government website
Dot gov

Official websites do not use .rip
We are an unofficial archive, replace .rip by .gov in the URL to access the official website. Access our document index here.

Https

We are building a provable archive!
A lock (Dot gov) or https:// don't prove our archive is authentic, only that you securely accessed it. Note that we are working to fix that :)

Conference Paper

Defining Actionable Rules for Verifying IoT Security [poster]

Published: May 18, 2020

Author(s)

Kayla Ibrahim (University at Albany, SUNY), Suryadipta Majumdar (University at Albany, SUNY), Daniel Bastos (British Telecom Research Lab), Anoop Singhal (NIST)

Conference

Name: 41st IEEE Symposium on Security and Privacy
Dates: 05/18/2020 - 05/20/2020
Location: Virtual Conference

Abstract

Keywords

IoT; security rules; verification
Control Families

None selected

Documentation

Publication:
Poster (pdf)

Supplemental Material:
None available

Document History:
05/18/20: Conference Paper (Final)

Topics

Security and Privacy

general security & privacy, risk management

Applications

Internet of Things