Results 51 to 60 of about 6,371 (85)

Formal Analysis of SMAP Fog/Edge Protocol Using AVISPA

2022 1st International Conference on Smart Technology, Applied Informatics, and Engineering (APICS), 2022
This paper contains a formal analysis of the authentication protocol by Pardeshi and Yuan, SMAP Fog/Edge using the AVISPA analysis tool. The analysis was performed using two backends, OFMC and CL-AtSE.
Arsya Dyani Azzahra   +2 more
exaly   +2 more sources

Comportamiento Poblacional de Melanaphis sacchari (Zehntner) y Entomófagos en El Bajío, México

The Southwestern entomologist, 2021
Resumen. Se determinó el comportamiento poblacional del pulgón amarillo del sorgo (PAS) Melanaphis sacchari (Zehntner) y enemigos naturales, en tres localidades del estado de Guanajuato, México.
Víctor Pecina-Quintero   +5 more
semanticscholar   +1 more source

Design and formal analysis of electronic voting protocol using AVISPA

2017 2nd International Conference for Convergence in Technology (I2CT), 2017
Htet Ne Oo, Aye Moe Aung
exaly   +2 more sources

First Record of the Parasitoid Wasp Philolema latrodecti Parasitizing an Egg Sac of the Widow Spider Latrodectus mactans in Nuevo Leon, Mexico

The Southwestern entomologist
. To our knowledge, Philolema latrodecti (Fullaway, 1953) (Hymenoptera: Eurytomidae) is recorded for the first time in Mexico parasitizing an egg sac of the widow spider Latrodectus mactans (Fabricius, 1775) (Araneae: Theridiidae). Resumen.
Manuel DE Luna   +6 more
semanticscholar   +1 more source

Control biológico de una plaga de frutillas en México: un caso de éxito de manejo agrícola frente al cambio climático

Cambio Climático y Desarrollo Sostenible en América Latina
El uso de insumos químicos a nivel mundial es imperativo para mejorar la producción de alimentos. Sin embargo, estas prácticas tienen un impacto perceptible en el cambio climático global.
Agustín Jesús Gonzaga-Segura   +2 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy