Results 51 to 60 of about 1,722 (212)
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
APTE: An Algorithm for Proving Trace Equivalence [PDF]
, 2014 This paper presents APTE, a new tool for automatically proving the security of cryptographic protocols. It focuses on proving trace equivalence between processes, which is crucial for specifying privacy type properties such as anonymity and unlinkability.
Cheval, Vincent, Vincent Cheval
core +1 more source
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
Primer registro de Vespula vulgaris (Hymenoptera: Vespidae) en la Argentina
Revista de la Sociedad Entomológica Argentina, 2010 Vespula vulgaris (Linnaeus) es un véspido social nativo de la región Holártica. En este trabajo reportamos la primera detección de esta especie en Argentina.
Maité MASCIOCCHI +3 more
doaj
Труды Института системного программирования РАН, 2018 Electronic voting systems are a future alternative to traditional methods of voting. It is important to verify the main algorithms on which system security is based. This paper analyzes the security of the cryptographic protocol at the registration stage,
I. A. Pisarev, L. K. Babenko
doaj +1 more source
Evaluación de macronutrimentos y microelementos en avispa (orden Hymenoptera).
, 2021 In the State of Hidalgo, Mexico, different species of wasp are consumed and used in different culinary preparations. However, few studies are available on its macronutrients and micronutrients composition.
Carmona López, José Luis Abdul +2 more
core +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
Gayana, 2020 La avispa común Vespula vulgaris (Linnaeus 1758) es una especie introducida en el Hemisferio Sur que ha sido registrada en Australia, Nueva Zelanda, Tasmania, Argentina y Chile central. Este trabajo documenta la presencia de V.
Javier Rendoll Cárcamo +9 more
doaj
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
Lengths May Break Privacy – Or How to Check for Equivalences with Length [PDF]
, 2013 Security protocols have been successfully analyzed using symbolic models, where messages are represented by terms and protocols by processes. Privacy properties like anonymity or untraceability are typically expressed as equivalence between processes ...
Véronique Cortier +5 more
core +1 more source