Results 41 to 50 of about 837 (54)

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

Procedia Computer Science, 2020
exaly  

On Automated Detection of Multi-Protocol Attacks Using AVISPA

Lecture Notes in Computer Science, 2017
Anish Mathuria, Mathuria Anish
exaly  

Avispa: a tool for analyzing software process models

Journal of Software: Evolution and Process, 2014
Maria Cecilia Bastarrica, Alexandre Bergel   +1 more
exaly  

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

2013
Ziauddin, Bruno Martin
exaly  

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

Lecture Notes in Computer Science
Youngho Park, Park Yohan
exaly  

Design of an enhanced authentication protocol and its verification using AVISPA

2016
Ruhul Amin, Sk Hafizul Islam, Arijit Karati   +2 more
exaly  

Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA

2014
Adnane Cabani, Houcine Chafouk
exaly  

AVISPA in the Validation of Ambient Intelligence Scenarios

2009
Antonio Munoz, Antonio Mana
exaly  

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

Lecture Notes in Networks and Systems
exaly  

Verification of security properties of payment protocol using AVISPA

2009
exaly