Results 41 to 50 of about 297 (139)
Automated Security Protocol Analysis With the AVISPA Tool
Electronic Notes in Theoretical Computer Science, 2006 Electronic Notes in Theoretical Computer Science ...
openaire +3 more sources
Bioagro, 2005 Con el propósito de aportar información al conocimiento de las relaciones entre hospederos y enemigos naturales de larvas de lepidópteros encontradas en ecosistemas naturales, se realizaron estudios de campo para determinar los parasitoides de Syllepte ...
Rosa A. Briceño +2 more
doaj
International Journal of Distributed Sensor Networks, Volume 2025, Issue 1, 2025.Over the past decades, Session Initiation Protocol (SIP) has been commonly utilized in signaling protocol to control and signal multimedia communication sessions for providing various services to users. Video calls and internet telephony over Internet Protocol (IP) are the most common applications on SIP.
V. Sreenivasulu +2 more
wiley +1 more source
Nuevos registros de avispas Sphecidae y Pompilidae (Hymenoptera: Apoidea, Vespoidea) para Colombia
Caldasia, 2000 Las familias Sphecidae (Hymenoptera: Apoidea) y Pompilidae (Hymenoptera: Vespoidea) están entre las más comunes de himenópteros con aguijón en la región neotropical.
Fernández C. Fernando
doaj
A literature review on V2X communications security: Foundation, solutions, status, and future
IET Communications, Volume 18, Issue 20, Page 1683-1715, December 2024.The article first introduces the development history of the past Internet of Vehicles(IoV), summarizes some common V2X security threats, describes the development and application of the SM commercial algorithm in recent years, and finally, statistics and introduces the part of the development process of the security protocols currently used in IoV ...
Zuobin Ying +3 more
wiley +1 more source
Ecology and Evolution, Volume 14, Issue 11, November 2024.First occurrence of the Asian southern giant hornet Vespa soror in Europe. We present a detailed description, combining morphological and molecular traits, as well as key information about its identification and current distribution. We discuss the most plausible pathways and vectors of introduction, its potential invasiveness, and subsequent impacts ...
Omar Sánchez +4 more
wiley +1 more source
Formal Verification of Payment protocol using AVISPA
International Journal for Infonomics, 2010 Emerging e-commerce activity is giving scope for the design of many new protocols, and to gain confidence, these protocol need to be verified for its designed properties. Specifically protocol used in ecommerce transactions needs to be verified for their security properties.
A.R. Rizwana Shaikh, Satish Devane
openaire +1 more source
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
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