[发明专利]一种Swift语言实施的安全协议的安全性验证方法有效
| 申请号： | 201710509988.8 | 申请日： | 2017-06-28 |
| 公开（公告）号： | CN107273764B | 公开（公告）日： | 2020-03-10 |
| 发明（设计）人： | 孟博;张金丽;王德军;鲁金钿 | 申请（专利权）人： | 中南民族大学 |
| 主分类号： | G06F21/62 | 分类号： | G06F21/62 |
| 代理公司： | 武汉科皓知识产权代理事务所(特殊普通合伙) 42222 | 代理人： | 鲁力 |
| 地址： | 430074 湖北*** | 国省代码： | 湖北;42 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种安全性验证方法，属于信息安全领域，具体是涉及一种Swift语言实施的安全协议的安全性验证方法。该方法基于计算模型，利用模型抽取方法从安全协议Swift语言实施中，得到安全协议Blanchet演算实施；然后将抽取出来的安全协议Blanchet演算实施转化为CryptoVerif的输入语言，并在CryptoVerif中运行，得到安全性验证结果，从而验证安全协议Swift语言实施安全性。 | ||
| 搜索关键词： | 一种 swift 语言 实施 安全 协议 安全性 验证 方法 | ||
【主权项】：
一种Swift语言实施的安全协议的安全性验证方法，其特征在于，包括以下步骤：映射建模步骤，建立Swift语言到Blanchet演算的映射模型，并根据映射模型建立Swift语言语句到Blanchet演算语句、类型的BNF映射规则；实施抽取步骤，从Swift语言实现的安全协议实施中抽取出自动化验证工具CryptoVerif可以识别的安全协议形式化语言Blanchet演算实施；安全验证步骤，根据自动化验证工具CryptoVerif的输入语法，向从安全协议Swift语言实施中抽取出来的安全协议Blanchet演算实施添加安全性验证目标，然后在CryptoVerif中进行安全性分析。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中南民族大学，未经中南民族大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710509988.8/，转载请声明来源钻瓜专利网。
