Results 61 to 70 of about 6,371 (85)

New Record of Evania appendigaster Parasitizing Oothecas of Periplaneta americana and Shelfordela lateralis in Coahuila and Durango, Mexico

The Southwestern entomologist
Resumen. En abril-septiembre del 2023 se colectaron ootecas de las cucarachas Shelfordela lateralis Walker y Periplaneta americana Linnaeus, y adultos de Evania appendigaster Linnaeus (avispa bandera) en alcantarillas y registros de drenaje, entornos ...
Antonio Castillo-Martínez, J. A. OBRADOR-SÁNCHEZ, S. Hernández-Rodríguez, Rosita D. Romero-Santos, E. García-López   +4 more
semanticscholar   +1 more source

Avispas parasitoides

2022
Lorena López, Stephany Valdés Rodríguez, Patricia Chacón de Ulloa   +2 more
openaire   +1 more source

ERMAP: ECC-based robust mutual authentication protocol for smart grid communication with AVISPA simulations

International Journal of Ad Hoc and Ubiquitous Computing, 2022
Sangeetha Rajaram, Satyanarayana Vollala, R. Natarajan   +2 more
semanticscholar   +1 more source

<i>ERMAP</i>: ECC-based robust mutual authentication protocol for smart grid communication with AVISPA simulations

International Journal of Ad Hoc and Ubiquitous Computing, 2022
Sangeetha Rajaram, N Ramasubramanian, Satyanarayana Vollala   +2 more
exaly  

Variación en el parasitismo de la mosca Protocalliphora azurea por la avispa parasitoide Nasonia vitripennis

2019
Garrido-Bautista, Jorge, Moreno-Rueda, Gregorio, Baz, Arturo, Canal, David, Camacho, Carlos, Cifrián, Blanca, Jose-Luis Nieves-Aldrey, Carles-Tolrá, Miguel, Potti, Jaime   +8 more
openaire   +1 more source

Introducción, Establecimiento, y Dispersión en México de la Avispa Tetramesa romana 1 , Agente de Control Biológico del Carrizo Gigante

The Southwestern entomologist, 2017
Maricela Martínez Jiménez, John A. Goolsby, A. Racelis, A. Pérez de León, David Negrete Arroyos   +4 more
semanticscholar   +1 more source

Design of an enhanced authentication protocol and its verification using AVISPA

International Conference on Recent Advances in Information Technology, 2016
Ruhul Amin, S. H. Islam, Arijit Karati, G. P. Biswas   +3 more
semanticscholar   +1 more source

Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin

International Conference on Future Network Systems and Security, 2018
Houssem Eddine Mohamadi, N. Kara, Mohand Lagha   +2 more
semanticscholar   +1 more source

AVISPA: Towards Practical Verification of Communication Properties

IFAC Postprint Volumes IPPV / International Federation of Automatic Control, 2009
Miroslav Sveda
exaly  

Security analysis of LMAP using AVISPA

International Journal of Security and Networks, 2014
Salekul Islam
exaly