10.3969/j.issn.1673-1328.2023.09.029
形式化分析基于WebID的网络访问控制协议WAC安全性
近些年,为了提高身份验证的安全性以及加强网络资源的访问控制的管理,人们引入了多种身份安全协议.由于身份验证已经成为一个热点问题,因此,首先介绍了基于WebID的网络访问控制,其次利用Applied PI演算对于基于WebID的网络访问控制进行形式化建模,再次把形式化建模转化为ProVerif的输入,最后运行ProVerif分析了基于WebID的网络访问控制.结果表明,该方法具有一定的认证能力.
Applied PI、访问控制、认证、ProVerif、安全协议
TP393.08(计算技术、计算机技术)
湖北省自然科学基金资助项目;中央高校基本科研业务费专项资金资助项目;中央高校基本科研业务费专项资金资助项目
2023-06-06(万方平台首次上网日期,不代表论文的发表时间)
共5页
116-120