技術特征：

技術總結
本發(fā)明涉及一種安全性驗證方法，屬于信息安全領域，具體是涉及一種Swift語言實施的安全協(xié)議的安全性驗證方法。該方法基于計算模型，利用模型抽取方法從安全協(xié)議Swift語言實施中，得到安全協(xié)議Blanchet演算實施；然后將抽取出來的安全協(xié)議Blanchet演算實施轉化為CryptoVerif的輸入語言，并在CryptoVerif中運行，得到安全性驗證結果，從而驗證安全協(xié)議Swift語言實施安全性。

技術研發(fā)人員：孟博;張金麗;王德軍;魯金鈿
受保護的技術使用者：中南民族大學
技術研發(fā)日：2017.06.28
技術公布日：2017.10.20