龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：清华大学
摘要：本申请涉及一种安全性质验证方法、装置、电子设备及存储介质，应用于安全性质验证技术领域，方法包括：获取中间模型，对中间模型中的数据通路操作进行抽象处理，得到抽象结果；中间模型是对软件代码进行预处理得到的。利用改进后的IC3算法对抽象结果进行安全性质验证，得到安全性质验证结果。对抽象结果进行安全性质验证，包括：根据验证需求，对抽象结果进行编码，得到约束公式；基于中间模型中数据通路操作的语义信息，利用数据通路传播规则，对约束公式进行数据通路传播，得到数据通路传播结果；利用可满足性模理论求解器对数据通路传播结果进行求解，并调用精化过程，得到安全性质验证结果。本申请可提高验证效率。
主权项：1.一种安全性质验证方法，其特征在于，包括：获取中间模型，对所述中间模型中的数据通路操作进行抽象处理，得到抽象结果；其中，所述中间模型是对软件代码进行预处理得到的；利用改进后的IC3算法对所述抽象结果进行安全性质验证，得到安全性质验证结果；其中，利用改进后的IC3算法对所述抽象结果进行安全性质验证，得到安全性质验证结果，包括：根据验证需求，对所述抽象结果进行编码，得到约束公式；基于所述中间模型中数据通路操作的语义信息，利用数据通路传播规则，对所述约束公式进行数据通路传播，得到数据通路传播结果；利用可满足性模理论求解器对所述数据通路传播结果进行求解，并调用精化过程，得到安全性质验证结果。
全文数据：
权利要求：
百度查询： 清华大学 安全性质验证方法、装置、电子设备及存储介质
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号