Results 61 to 70 of about 1,722 (212)
Cryptographic methods for secured communication in SDN‐based VANETs: A performance analysis
SECURITY AND PRIVACY, Volume 7, Issue 6, November/December 2024.Abstract Vehicular ad‐hoc networks (VANETs) support features like comfort, safety, and infotainment, enhancing traffic efficiency. However, traditional VANETs struggle with dynamic and large‐scale networks due to fixed policies and complex architectures, such as constantly changing vehicle positions.
Adi El‐Dalahmeh +3 more
wiley +1 more source
Enhanced authentication and device integrity protection for GDOI using blockchain
Transactions on Emerging Telecommunications Technologies, Volume 35, Issue 5, May 2024.Our work addresses the problem of device‐level cyber‐attacks such as device identity theft and introduction of fake nodes in GDOI‐enabled smart grids. It introduces a permissioned blockchain based device authentication management in the GDOI phase 1 and periodic device integrity check in phase 2 to achieve decentralized authentication and device‐level ...
Munkenyi Mukhandi +3 more
wiley +1 more source
Pelecinobaccha avispas Miranda 2014
, 2016 avispas Miranda, 2014:25. Type locality: Peru, Madre de Dios, Avispas, 400m. HT F (CNC). Distr.: Bolivia, Brazil, Colombia (Antioquia (Alejandria)), Ecuador, Peru. Refs.: Miranda et al. 2014:119 (fig. 19). Material examined. COLOMBIA: Antioquia: Alejandria, Vereda San Jose, 6.371942°, -75.109771°, 1879m, Forest, 1male, 1female, 10.viii.2007, Leg.
openaire +2 more sources
El problema del héroe cómico en Avispas [PDF]
Synthesis (La Plata), 2014 In spite of the fact that the critics has argued that Philocleon is the comic hero of Wasps, in this work we propose to demonstrate that this function is exercised by his son Bdelicleon. Bdelicleon have several features in common with other heroes of the early comedy: its role as a spokesperson of the positive discourse endorsed in the play, its moral ...
openaire +4 more sources
A Security Protocol Animator Tool for AVISPA
, 2006 . Avispa is now a commonly used verification tool for cryptographic protocols. The main advantage of this tool is the ability to use different verification techniques on the same protocol specification.
Olivier Courtay +3 more
core
Fantasies of Flows and Containment: The Technopolitics of Security Infrastructures in the Americas
Antipode, Volume 56, Issue 2, Page 492-515, March 2024.Abstract This contribution combines literature on logistics with literature on the articulation between racism and the securitisation of migration. Studying security infrastructures in Mexico in conjunction with the Mesoamerican Project, a massive transnational infrastructure plan, I show how security and trade infrastructures become intertwined in ...
Alke Jenss
wiley +1 more source
Un nuevo jénero de Avispas Cavadoras
Boletín Museo Nacional de Historia Natural, 1919 El jénero Lautara tiene su posición en el sistema entre los jéneros Solierella Spin. y Plenoculus Fox. Estatura pequeña, 4-8 mm Colores del cuerpo de la única especie conocida son negro i colorado, sin pintas amarillas o blancas. Pronoto, tubérculos humerales, posescudo i tibias revestidos de pubescencia densa, sedosa, plateada.
openaire +1 more source
“Avispa taladradora de las latifoliadas” Tremex fuscicornis [PDF]
, 2019 Tremex juscicornis es una avispa (orden Hymenoptera) de la familia Siricidae,que vulgarmente se conoce como "avispa taladradora de las latifoliadas". Las hembras de esta especie poseen cuerpo robusto,alargado y cilíndrico pudiendo alcanzar una longitud ...
Braccini, Celina Laura, Landi, Lucas
core
IET Information Security, Volume 2024, Issue 1, 2024.Named Data Networking (NDN) is a promising network architecture that differs from the traditional TCP/IP network, as it focuses on data rather than the host. A new secure model is required to provide the data‐oriented trust instead of the host‐oriented trust.
Bing Li +3 more
wiley +1 more source
SPAN+AVISPA for Verifying Cryptographic Protocols
, 2017 This is a video tutorial to learn how to use SPAN+AVISPA to automatically check security properties on cryptographic protocolsThis is a video tutorial to learn how to use SPAN+AVISPA to automatically check security properties on cryptographic ...
Genet, Thomas
core