Iotverif: Automatic Verification of SSL/TLS Certificate for IoT Applications

Iotverif: Automatic Verification of SSL/TLS Certificate for IoT Applications

Although extensive research has been conducted on securing the Internet of Things (IoT) communication protocols, various vulnerabilities and exploits are continuously discovered and reported. Since vulnerabilities are introduced from either insecure communication protocols or defectiveness of applic...

Full description

Bibliographic Details
Main Authors: Anyi Liu, Ali Alqazzaz, Hua Ming, Balakrishnan Dharmalingam
Format: Article
Language:English
Published: IEEE 2021-01-01
Series:IEEE Access
Subjects:
Certificate
Internet of Things (IoT)
model checking
protocol verification
secure socket layer (SSL)
transport layer security (TLS)
Online Access:https://ieeexplore.ieee.org/document/8941131/

Internet

https://ieeexplore.ieee.org/document/8941131/

Similar Items