University of Limerick Institutional Repository

Logic based analysis of security protocols in a unified verification framework

DSpace Repository

Show simple item record

dc.contributor.advisor Coffey, Tom
dc.contributor.advisor Dojen, Reiner Muntean, Carla Lucia Mirona 2013-02-01T15:14:55Z 2013-02-01T15:14:55Z 2012
dc.description peer-reviewed en_US
dc.description.abstract Security protocols are one of the imperative steps in creating and ensuring the secure communication and information processing. Also known as cryptographic protocols or encryption protocols, they are used for secure application-level data transport achieved by using a security function and applying cryptographic methods. A wide variety of different forms of security go beyond the traditional goals of secure authentication, integrity and data confidentiality. Modern applications require more subtle properties like blind signatures used for digital cash, non-repudiation, secure digital time-stamping, etc. However, these protocols are vulnerable to different kinds of attacks and their design in achieving data safety and confidentiality has proven to be challenging and error prone. Informal and intuitive techniques have been proposed to verify such protocols. Several methods such as modal logics and state space exploration were developed to ensure formal verification and validation of security protocols. This thesis presents the integration of a logic based verification technique into an existing verification framework. The existing framework unifies the verification of protocols through both state based techniques and modal logics. The integration is done through a translator that takes the input file specified in the language of the verification framework and translates it into the language of the logic-based verification technique. The validity of the proposed translation/integration is demonstrated in an empirical study in which a set of protocols are specified and their verification results are compared using the old logic based verification engine and the new verification framework. Comparison of both verification results establishes their equivalence. This proves validity of the translation process between the two verification engines. en_US
dc.language.iso eng en_US
dc.publisher University of Limerick en_US
dc.subject secure communication en_US
dc.subject information processing en_US
dc.subject crytographic protocols en_US
dc.title Logic based analysis of security protocols in a unified verification framework en_US
dc.type info:eu-repo/semantics/doctoralThesis en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.supercollection ul_theses_dissertations en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account