近些年，为了提高身份验证的安全性以及加强网络资源的访问控制的管理，人们引入了多种身份安全协议。由于身份验证已经成为一个热点问题，因此，首先介绍了基于WebID的网络访问控制，其次利用Applied PI演算对于基于WebID的网络访问控制进行形式化建模，再次把形式化建模转化为ProVerif的输入,最后运行ProVerif分析了基于WebID的网络访问控制。结果表明，该方法具有一定的认证能力。
科研之友
微信
新浪微博
Facebook
分享链接
