[发明专利]基于模型抽取的安全协议javascript语言实施的分析方法及装置在审
| 申请号： | 201910172106.2 | 申请日： | 2019-03-07 |
| 公开（公告）号： | CN109947644A | 公开（公告）日： | 2019-06-28 |
| 发明（设计）人： | 孟博;陈双;王德军;覃俊 | 申请（专利权）人： | 中南民族大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F21/57 |
| 代理公司： | 武汉科皓知识产权代理事务所(特殊普通合伙) 42222 | 代理人： | 罗飞 |
| 地址： | 430074 湖北*** | 国省代码： | 湖北;42 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明基于模型抽取建立javascript语言到形式化语言Applied PI演算之间的映射模型，本发明涉及javascript语言安全协议实施子集的建立、给出javascript语言的BNF、给出Applied PI演算的BNF、根据javascript语言与Applied PI的BNF构建安全协议javascript语言实施到Applied PI演算之间的映射关系，得到安全协议javascript语言实施相应的抽象模型表示方法、以及形式化认证工具ProVerif的使用。本发明可以在安全协议源代码级验证其安全性，保证了网络空间的数据安全。 | ||
| 搜索关键词： | 安全协议 语言 模型抽取 分析方法及装置 抽象模型 数据安全 网络空间 协议实施 映射关系 映射模型 语言安全 源代码级 构建 子集 验证 认证 保证 | ||
【主权项】：
1.基于模型抽取的安全协议javascript语言实施的分析方法，其特征在于，包括：从预设语句库中，选取出安全协议实施所需的核心语句，基于核心语句获得安全协议javascript语言实施子集SubJS以及与实施子集SubJS对应的BNF；获得Applied PI演算以及与Applied PI演算对应的BNF；基于语义一致性，根据SubJS对应的BNF、Applied PI演算对应的BNF，将实施子集SubJS对应的BNF将安全协议Javascript语言中的语句映射到Applied PI演算的相应语句，建立SubJS到Applied PI演算的映射模型；基于所述映射模型对安全协议javascript语言实施进行分析。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中南民族大学，未经中南民族大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910172106.2/，转载请声明来源钻瓜专利网。
