Results 161 to 170 of about 1,722 (212)

Security Validation of Information Card Protocol with AVISPA

Energy Procedia, 2011
Juan Wang, Hongxin Hu
openaire   +1 more source

AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols

Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, 2018
Iulian Aciobanitei, Roxana-Ioana Guinea, Mihai-Lica Pura   +2 more
openaire   +1 more source

ChebIoD: a Chebyshev polynomial-based lightweight authentication scheme for internet of drones environments. [PDF]

Sci Rep
Al-Mekhlafi ZG, Altmemi JMH, Al-Shareeda MA, Al-Hchaimi AAJ, Homod RZ, Mohammed BA, Alshammari G, Al-Dhlan KA, Alrashdi R, Alkhabra YA.   +9 more
europepmc   +1 more source

Secure Waste Collection Approach for Smart Cities

, 2023
LAMA R, KARMAKAR S.
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]

PeerJ
Diaz-Ricaurte JC, Navarro-Morales A, Malambo C, González-Ibarra JF, Garavito-David Y, Silva de Andrade F, Madrid-Ordoñez MA, Parra-Olarte MJ, Ruiz-Valderrama DH, Murcia-Ordoñez B, Varago A, Santana DJ.   +11 more
europepmc   +1 more source

Las Avispas de las agallas (Hymenoptera, Cynipidae)

, 2013
Se actualiza el estado de conocimiento de los cinípidos (Hymenoptera, Cynipidae) de Sierra Nevada. Por primera vez se aporta una lista de cinípidos de Sierra Nevada, integrada por 30 especies que representan el 21% de las especies ibéricas. Se comentan las especies citadas, aportando datos de abundancia, biología y plantas nutricias.
openaire   +1 more source

Biología y principales hospederos de la micro avispa parasitoide Trissoclus basalis (Hym: Selionidae)

Trissolcus bassalis is a micro wasp with the ability to parasitize pests of economic importance, used for the conservation of natural resources and biodiversity, its use helps reduce the population of harmful insects, causing their immediate death after ...
Mora Rosado, Pedro Ronaldo
core  

A new secure offloading approach for internet of vehicles in fog-cloud federation. [PDF]

Sci Rep
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]

PLoS One
Alanazi MD.
europepmc   +1 more source

Systematic survey on data security in wireless body area networks in IoT healthcare system. [PDF]

Front Med (Lausanne)
Jian W, Tabassum A, Li JP.
europepmc   +1 more source