Cargando…
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...
| Autores principales: | , , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
MDPI
2021
|
| Materias: | |
| 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 |