ScholarLens Back to search
2006•Jisuanji gongchengRequires access

A New Authentication Protocol and Its Formal Analysis

Li Xiang

Open publisher page 0 citations

Abstract

Authentication protocols are very basic and pivotal in systems of network security.This paper presents a new authentication protocol based on traditional approach,then does formal analysis for it by BAN logic,and shows an attack mode to it and amend it.At the end it discusses the actions of BAN logical analysis in authentication protocols,besides the limitations and the direction for further improvement.

About this research paper

What this paper is about

Authentication protocols are very basic and pivotal in systems of network security.This paper presents a new authentication protocol based on traditional approach,then does formal analysis for it by BAN logic,and shows an attack mode to it and amend it.At the end it discusses the actions of BAN logical analysis in authentication protocols,besides the limitations and the direction for further improvement.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Authentication protocols are very basic and pivotal in systems of network security.This paper presents a new authentication protocol based on traditional approach,then does formal analysis for it by BAN logic,and shows an attack mode to it and amend it.At the end it discusses the actions of BAN logical analysis in authentication protocols,besides the limitations and the direction for further improvement.

Key concepts: Computer science, Authentication protocol, Challenge-Handshake Authentication Protocol, Authentication (law), Protocol (science), Lightweight Extensible Authentication Protocol, Computer security, Security analysis

Related papers

Related paper 1Related paper 2Related paper 3
Back to paper searchBrowse research topicsOriginal source
A New Authentication Protocol and Its Formal Analysis — Research Paper | ScholarLens