AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols
Iulian Aciobanitei +2 more
openaire +1 more source
ChebIoD: a Chebyshev polynomial-based lightweight authentication scheme for internet of drones environments. [PDF]
Al-Mekhlafi ZG +9 more
europepmc +1 more source
Revisiting the Poison Dart Frog <i>Ameerega ingeri</i> (Anura: Dendrobatidae): external morphology, tadpoles, natural history, distribution, advertisement call, phylogenetic position and conservation. [PDF]
Diaz-Ricaurte JC +11 more
europepmc +1 more source
A new secure offloading approach for internet of vehicles in fog-cloud federation. [PDF]
Salami Y, Khajehvand V, Zeinali E.
europepmc +1 more source
A triple-layer authentication framework with elliptic curve cryptography for securing IoT-assisted wireless sensor networks. [PDF]
Alanazi MD.
europepmc +1 more source
Systematic survey on data security in wireless body area networks in IoT healthcare system. [PDF]
Jian W, Tabassum A, Li JP.
europepmc +1 more source
Hyperledger Fabric-Powered Digital Identity Scheme: Transforming CIA-Triad Security in IoMT Integrated Healthcare Eco-System. [PDF]
Jena S, Barik RC, Padhan S.
europepmc +1 more source
A Case of Management Crisis and Overcome in Avispa Fukuoka
openaire +2 more sources
Secure LoRa Drone-to-Drone Communication for Public Blockchain-Based UAV Traffic Management. [PDF]
Khor JH, Sidorov M, Chong MJY.
europepmc +1 more source

