Title

A Logic-Based Verification Framework For Authentication Protocols

Keywords

Authentication; Distributed temporal protocol logic; DTPL; Security protocols; SVO logic

Abstract

Designing authentication protocols is an error-prone process. In this paper, we develop a deductive style proof-based framework to verify authentication protocols. The proposed framework clearly represents authentication protocols and concisely proves their security properties. We utilise Distributed Temporal Protocol Logic (DTPL) to capture temporal aspects of distributed events. We formalise essential features for achieving authentication. We also extend the notion of source association for public-key protocols. The resulting framework demonstrates the ease with which a protocol is analysed. It also demonstrates DTPL's suitability to be used as a meta-level tool to benefit from different formalisms. Copyright © 2007 Inderscience Enterprises Ltd.

Publication Date

1-1-2007

Publication Title

International Journal of Internet Technology and Secured Transactions

Volume

1

Issue

1-2

Number of Pages

49-80

Document Type

Article

Personal Identifier

scopus

DOI Link

https://doi.org/10.1504/IJITST.2007.014834

Socpus ID

84870275751 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/84870275751

This document is currently not available here.

Share

COinS