SAT and SMT-Based Verification of Security Protocols Including Time Aspects

SAT and SMT-Based Verification of Security Protocols Including Time Aspects

For many years various types of devices equipped with sensors have guaranteed proper work in a huge amount of machines and systems. For the proper operation of sensors, devices, and complex systems, we need secure communication. Security protocols (SP) in this case, guarantee the achievement of secu...

Full description

Bibliographic Details
Main Authors: Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski
Format: Article
Language:English
Published: MDPI AG 2021-04-01
Series:Sensors
Subjects:
security protocols
modelling
verification
sensor network protocols
time analysis
Online Access:https://www.mdpi.com/1424-8220/21/9/3055

Internet

https://www.mdpi.com/1424-8220/21/9/3055

Similar Items