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

Secure websites use HTTPS
A lock (Dot gov) or https:// means you've safely connected to our website. Please do not share sensitive information with us.

This is an archive
(replace .gov by .rip)

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: May 18-20, 2020
Location: Virtual Conference

Abstract

Keywords

IoT; security rules; verification
Control Families

None selected

Documentation

Publication:
Poster

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