Results 81 to 90 of about 8,202 (205)
Enhancing Security in Smart Renewable Energy Grids Through Proxy Signcryption Approach
Journal of Sensors, Volume 2024, Issue 1, 2024.The rapid development of smart renewable energy grids (SREGs) has resulted in a vast amount of data that requires efficient access control and secure mechanisms for sharing energy records among stakeholders. This paper proposes a novel approach called the identity‐based proxy signcryption‐based scheme for SREGs (ID‐PSC‐SREGs), which ensures the secure ...
Rachana Y. Patil +5 more
wiley +1 more source
A formal methodology for integral security design and verification of network protocols
, 2012 We propose a methodology for verifying security properties of network protocols at design level. It can be separated in two main parts: context and requirements analysis and informal verification; and formal representation and procedural verification. It
Abadi +40 more
core +1 more source
Avispas “Chaqueta Amarilla,” Avispones y Avispas de Papel
, 2013 Las avispas “chaqueta amarilla” o vespula (“yellowjackets”), avispones (“hornets”) y avispas de papel (“paper wasps”) son avispas sociales estrechamente relacionadas que son comúnmente encontradas en Utah.
Hodgson, Erin +3 more
openaire +1 more source
Journal of Software: Evolution and Process, 2013 ABSTRACTDefining and formalizing the software development process is a common means for improving it. Software process modeling is often a challenging and expensive endeavor, because a well specified process may still include inefficiencies that are hardly detected before enacting it.
Hurtado Alegría, Julio +2 more
openaire +4 more sources
CARACTERIZACION DE AVISPAS DEPREDADORES DEL SINU MEDIO
Revista Colombiana de Entomología, 1991 El presente trabajo, realizado entre enero de 1988 y noviembre de 1989, tuvo como objetivo identificar las especies de avispas y caracterizar sus nidos, en los municipios de Montería, Cereté, San Carlos, Ciénaga de Oro y San Pelayo (Córdoba). Como resultado de los reconocimientos realizados en 50 veredas de éstos municipios, tanto en verano como en ...
EDUARDO E. GÓMEZ +2 more
openaire +1 more source
Las avispas del género Sceliphron Klug en Colombia (Hymenoptera: Sphecidae)
Caldasia, 2015 Con base en la revision de diferentes caracteres taxonomicos en 320 ejemplares depositados en colecciones de referencia y en las recolectas de campo se confirmo la presencia en Colombia de las especies Sceliphron asiaticum y Sceliphron fistularium que se diferencian por patrones de coloracion, el propodeo en asiaticum tiene una mancha entera y en ...
Fernando Fernández +1 more
openaire +4 more sources
Picadura de insecto en la cornea, a propósito de un caso
Acta Médica Peruana, 2023 Gioconda Lourdes Armas Herrera +2 more
doaj +1 more source
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
Formal Verification of Authenticated AODV Protocol using AVISPA
International Journal of Computer Applications, 2012 Due to the advancement in the communication technologies, people can communicate with each other anywhere on the move. The concept of ad hoc networks comes into existence in such scenarios. These networks require secure routing protocols; as such networks are vulnerable to various attacks, because of their open and dynamic infrastructure. In this paper
Amandeep Verma, Kinchit Vishesh
openaire +1 more source
A Spatial-Epistemic Logic for Reasoning about Security Protocols
, 2010 Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques need to cope with some notions of information locality and knowledge ...
A. Armando +21 more
core +3 more sources