然后用周典萃、卿斯汉等提出的一种新的形式化分析工具对该协议的安全性进行了逻辑验证，证明其实现了可行性、不可否认性、强公平性和时效性。
Using a formal analysis tool proposed by Zhou and Qing , it is proved that the new protocol realizes the effectiveness , origin / receipt non-repudiation , strong fairness and timeliness .
周典