Results 201 to 210 of about 1,722 (212)
Some of the next articles are maybe not open access.
Distonía aguda tras picadura de avispa
Revista de Neurología, 2005Sara Benito Conejero +5 more
openaire +1 more source
Formal Verification of Secure Evidence Collection Protocol using BAN Logic and AVISPA
Procedia Computer Science, 2020exaly
Necrosis estriatal bilateral tras picadura de avispa
Revista de Neurología, 2000Emilio Franco Macías +5 more
openaire +1 more source
Formal Security Analysis of the Authentication Protocol in Smart Cities Using AVISPA
Lecture Notes in Computer ScienceYoungho Park, Park Yohan
exaly
Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA
2014Adnane Cabani, Houcine Chafouk
exaly
Security Challenges in ECDH: A Formal Validation Using AVISPA and Scyther
Lecture Notes in Networks and Systemsexaly