文件名称：论文研究-基于分层的网络安全协议验证方法.pdf
文件大小：26KB
文件格式：PDF
更新时间：2022-08-11 14:44:41
安全协议,层次化,验证方法
提出了一种新的基于分层的网络安全协议验证方法。首先对要验证的安全属性进行划分，将其分成若干安全子属性；其次对要进行验证的安全协议在安全性等价的条件下进行转换；然后逐步剖分成一个自底向上的多层协议，如果每一层子协议满足所要验证的安全属性的一个子属性，那么这个协议即可被证明是安全的。这种方法相比于传统的验证方法，不但高效，而且完备性更佳。