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...

Descripción completa

Detalles Bibliográficos
Autores principales: Szymoniak, Sabina, Siedlecka-Lamch, Olga, Zbrzezny, Agnieszka M., Zbrzezny, Andrzej, Kurkowski, Miroslaw
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2021
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8123872/
https://www.ncbi.nlm.nih.gov/pubmed/33925606
http://dx.doi.org/10.3390/s21093055

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8123872/
https://www.ncbi.nlm.nih.gov/pubmed/33925606
http://dx.doi.org/10.3390/s21093055

Ejemplares similares