Results 41 to 50 of about 62 (58)

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

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  

A Secure User Anonymity and Authentication Scheme Using AVISPA for Telecare Medical Information Systems

Journal of Medical Systems, 2015
Omid Mir, Theo Van Der Weide, Cheng-Chi Lee   +2 more
exaly  

Automated Security Protocol Analysis With the AVISPA Tool

Electronic Notes in Theoretical Computer Science, 2006
Luca Vigano
exaly  

Formal Analysis of SMAP Fog/Edge Protocol Using AVISPA

2022
exaly  

Número de gerações de um percevejo e seu parasitoide e da severidade da ferrugem asiática em soja, simulados em cenários de clima e manejo no norte do RS

Ciencia Rural, 2013
Emerson M Del Ponte, Simone Mundstock Jahnke   +1 more
exaly  

Ocorrência de Aprostocetus hagenowii (Hymenoptera, Eulophidae), parasitoide de ootecas da barata americana, no Rio Grande do Sul

Ciencia Rural, 2009
Valmir A Costa, Paulo Bretanha Ribeiro
exaly  

Host Nest Recognition by the Parasitoid Wasp Dasymutilla scaevola1

Southwestern Entomologist
Christopher K Starr
exaly  

Formal Verification of Secure Evidence Collection Protocol using BAN Logic and AVISPA

Procedia Computer Science, 2020
exaly