Results 171 to 180 of about 656 (180)

Formal Security Analysis of the Authentication Protocol in Smart Cities Using AVISPA

Lecture Notes in Computer Science
Yohan Park, Park Yohan
exaly  

Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA

2014
Adnane Cabani, Houcine Chafouk
exaly  

Una avispa sobre el agua

2017
openaire   +1 more source

Security Challenges in ECDH: A Formal Validation Using AVISPA and Scyther

Lecture Notes in Networks and Systems
exaly  

Design and formal analysis of electronic voting protocol using AVISPA

2017
exaly  

Las avispas que domesticaron los virus

Knowable Magazine
openaire   +1 more source

A comparative study of security protocols validation tools: HERMES vs. AVISPA

2006
exaly  

Formal Analysis of ISO/IEC 9798-2 Authentication Standard Using AVISPA

2013
exaly  

Analysis of Nai-Wei and Alexander Authentication Protocol Using AVISPA

exaly  

Автоматизований засіб аналізу протоколів AVISPA

openaire   +1 more source