摘要
近些年,为了提高身份验证的安全性以及加强网络资源的访问控制的管理,人们引入了多种身份安全协议。由于身份验证已经成为一个热点问题,因此,首先介绍了基于WebID的网络访问控制,其次利用Applied PI演算对于基于WebID的网络访问控制进行形式化建模,再次把形式化建模转化为ProVerif的输入,最后运行ProVerif分析了基于WebID的网络访问控制。结果表明,该方法具有一定的认证能力。
In recent years,in order to improve the security of identity verification and strengthen the management of access control of network resources,a variety of identity security protocols have been introduced.Since identity verification has become a hot issue,first introduces WebID-based network access control,then uses Applied PI calculus to formally model WebID-based network access control,and then transforms the formal modeling into ProVerif's enter.Finally,run ProVerif to analyze the network access control based on WebID.The results show that this method has certain authentication capabilities.
作者
段品旭
陆正柱
Duan Pinxu;Lu Zhengzhu(College of Computer Science,South-Central Minzu University,Wuhan,China)
出处
《科学技术创新》
2023年第9期116-120,共5页
Scientific and Technological Innovation
基金
湖北省自然科学基金资助项目(No.2018ADC150)
中央高校基本科研业务费专项资金资助项目(No.CZZ21001,No.QSZ17007)。
