一种Swift语言实施的安全协议的安全性验证方法

摘要

本发明涉及一种安全性验证方法，属于信息安全领域，具体是涉及一种Swift语言实施的安全协议的安全性验证方法。该方法基于计算模型，利用模型抽取方法从安全协议Swift语言实施中，得到安全协议Blanchet演算实施；然后将抽取出来的安全协议Blanchet演算实施转化为CryptoVerif的输入语言，并在CryptoVerif中运行，得到安全性验证结果，从而验证安全协议Swift语言实施安全性。