A Review and Comparative Analysis of Modal Logics:BAN,GYN,and SVO

International Journal of Research and Engineering

View Publication Info
 
 
Field Value
 
Title A Review and Comparative Analysis of Modal Logics:BAN,GYN,and SVO
 
Creator Thakur, Tanuja
 
Subject Authentication, authentication protocol, modal logic, BAN, SVO, GYN
 
Description Traditionally, security protocols have been designed and verified using various techniques. Formal logics have been used to identify a number of flaws in protocolspreviously considered to be secure. The selection of proper modal logic is a crucial goal in the protocol analysis and verification process. This paper gives a comparative study of modal logics, which are widely used in modeling of security protocols. We will focus on logics of authentication.However, we will not only be discussing logics,but also be looking at the ‘rhyme and reason’ of authentication, the attempts to formalize and define notions of authentication and to apply these. Thus, we will also be considering the logic of authentication in a broader sense. This paper discusses three modal logics: BAN, SVO, and GYN. A formal analysis of these three has been presented.
 
Publisher IJRE Publisher
 
Date 2015-04-30
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Peer-reviewed Article
 
Identifier https://digital.ijre.org/index.php/int_j_res_eng/article/view/58
 
Source International Journal of Research and Engineering; Vol 2 No 4 (2015): April 2015 Edition; 30-33
2348-7860
2348-7852
 
Language eng
 
Relation https://digital.ijre.org/index.php/int_j_res_eng/article/view/58/54
 
Rights Copyright (c) 2016 International Journal of Research and Engineering (IJRE)
http://creativecommons.org/licenses/by/4.0
 

Contact Us

The PKP Index is an initiative of the Public Knowledge Project.

For PKP Publishing Services please use the PKP|PS contact form.

For support with PKP software we encourage users to consult our wiki for documentation and search our support forums.

For any other correspondence feel free to contact us using the PKP contact form.

Find Us

Twitter

Copyright © 2015-2018 Simon Fraser University Library