[发明专利]基于MSVL的区块链系统建模和安全性验证的方法及系统有效
| 申请号： | 201810981891.1 | 申请日： | 2018-08-27 |
| 公开（公告）号： | CN109347651B | 公开（公告）日： | 2021-06-01 |
| 发明（设计）人： | 王小兵;朱云凯;段振华;赵亮;田聪;张南 | 申请（专利权）人： | 西安电子科技大学 |
| 主分类号： | H04L12/24 | 分类号： | H04L12/24;H04L29/06;H04L12/26;G06F8/20;G06F8/30 |
| 代理公司： | 西安长和专利代理有限公司 61227 | 代理人： | 黄伟洪 |
| 地址： | 710071 陕西省*** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明属于形式化方法领域，公开了一种基于MSVL的区块链系统建模和安全性验证的方法及系统，在MC中用MSVL对区块链系统建模，用程序p表示；用PPTL描述区块链系统的性质，用公式φ表示；在MC中，加入MSVL的建模程序p和用PPTL描述的性质φ，验证区块链系统的安全性。本发明的区块链用MSVL程序进行建模，区块链的安全性性质用PPTL描述，而PPTL为PTL的命题子集，MSVL为PTL的可执行子集，因而MSVL和PPTL可以统一在MC中执行，相比于其他方法，本发明不需要使用另外的形式语言，也不需要调用另外的工具及大量的手工证明，只需要提供待验证性质的PPTL公式，证明过程由MC自动完成。 | ||
| 搜索关键词： | 基于 msvl 区块 系统 建模 安全性 验证 方法 | ||
【主权项】：
1.一种基于MSVL的区块链系统建模和安全性验证的方法，其特征在于，所述基于MSVL的区块链系统建模和安全性验证的方法在MC中用MSVL对区块链系统建模，用程序p表示；用PPTL描述区块链系统的性质，用公式φ表示；在MC中，加入MSVL的建模程序p和用PPTL描述的性质φ，验证区块链系统的安全性。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西安电子科技大学，未经西安电子科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810981891.1/，转载请声明来源钻瓜专利网。
- 上一篇：一种移动设备强管控方法及装置
- 下一篇：服务器集群的服务管理方法和装置
