【文件属性】：
文件名称：论文研究-一种高效的无线移动网络安全协议.pdf
文件大小：270KB
文件格式：PDF
更新时间：2022-08-11 16:13:04
安全协议,验证,可信第三方,故障—安全协议,移动网络,无线网络
无线移动网络具有节点资源受限的特点，为其设计和实现高效而可靠的安全协议很困难。基于可信第三方和failsafe协议，提出了一种适合于资源受限网络环境的安全协议。利用SVO逻辑对协议的安全性进行了形式化验证。