%0 Journal Article
%T Formal Verification and Improvement of an Authentication Protocol<br>对一种身份认证协议的改进及其形式化分析①
%A HE Li
%A WANG Li-Bin
%A <br>何丽
%A 王立斌
%J 计算机系统应用
%D 2010
%I 
%X Password-based remote user authentication is a hotspot in authentication protocol research. The security of a proposed remote user authentication scheme, the Lee-Kim-Yoo protocol, advanced by Sung-Woon Lee is analyzed, which used nonce random and had very low computational costs. However, this scheme still has many security faults. The weakness of the scheme is demonstrated. This paper proposes an improved scheme, a novel nonce and hash-based remote user authentication scheme using smart cards and analyses the amended protocol with BAN logic. It indicates that the amended protocol can reach the goal of the protocol.
%K authentication protocol
%K Dos attack
%K BAN logic
%K formal verification<br>认证协议
%K 拒绝服务攻击
%K BAN逻辑
%K 形式化分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=D4F6864C950C88FFCE5B6C948A639E39&aid=2B93BFB54B35EB283F0915ACEAEE6BA3&yid=140ECF96957D60B2&vid=2A8D03AD8076A2E3&iid=94C357A881DFC066&sid=F4B561950EE1D31A&eid=2A3781E88AB1776F&journal_id=1003-3254&journal_name=计算机系统应用&referenced_num=0&reference_num=6