Código QR (código de barras bidimensional)

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

Fuld beskrivelse

Na minha lista:
Principais autores: Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski
Format: Artigo
Sprog:Inglês
Udgivet: MDPI AG 2021-04-01
Serier:Sensors
Fag:
security protocols
modelling
verification
sensor network protocols
time analysis
Online adgang:https://www.mdpi.com/1424-8220/21/9/3055
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker