[发明专利]基于类型检测的智能合约信息流完整性验证方法及系统在审
| 申请号： | 202110293711.2 | 申请日： | 2021-03-19 |
| 公开（公告）号： | CN113051624A | 公开（公告）日： | 2021-06-29 |
| 发明（设计）人： | 胡镡文;庄毅;林尚威;章甫源;阚双龙;曹子宁 | 申请（专利权）人： | 南京航空航天大学 |
| 主分类号： | G06F21/64 | 分类号： | G06F21/64 |
| 代理公司： | 南京理工大学专利中心 32203 | 代理人： | 朱炳斐 |
| 地址： | 210016 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于类型检测的智能合约信息流完整性验证方法及系统，属于区块链和信息安全领域。该方法可用于解决以太坊区块链环境下智能合约潜在的信息篡改问题，包括：为智能合约编程语言构建形式化语法、语义；构建智能合约的安全类型系统STC，用于检测智能合约信息流完整性；构建基于智能合约类型系统STC的类型验证器STV，自动为智能合约的状态变量寻找最优安全类型分配。本发明给出智能合约形式化语法和语义，同时结合了类型检测在安全信息流检查中的优点，可以对智能合约源代码的信息流完整性进行有效的分析与验证，减少智能合约在运行过程中出现可信信息被篡改的概率。 | ||
| 搜索关键词： | 基于 类型 检测 智能 合约 信息 完整性 验证 方法 系统 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京航空航天大学，未经南京航空航天大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110293711.2/，转载请声明来源钻瓜专利网。
- 上一篇：一种输液智能监测保护设备
- 下一篇：一种用于塑料板材的可快开拆卸式造粒装置
