-
公开(公告)号：CN104092544A
公开(公告)日：2014-10-08
申请号：CN201410300232.9
申请日：2014-06-26
Applicant: 工业和信息化部计算机与微电子发展研究中心(中国软件评测中心)
Abstract: 本发明涉及一种兼容安卓应用的服务签名方法，包括：S1：对应用程序软件包除开发者签名外的所有数据文件列出清单，并完成兼容安卓应用的服务签名操作；S2：通过使用服务自身标识证书或标识公钥对兼容安卓应用的服务签名进行验证。本发明对于同一个安卓应用程序包进行数字签名不会与应用程序的开发者签名发生冲突，进行的多方重签名得到的不同发布版本的安卓应用在更新安装时能够保留用户数据；且服务方签名数据存储在服务方域名以及业务名称相关的目录中，不同的服务方签名数据互不干扰，不同的业务签名互不影响，根本上解决了传统应用签名机制签名文件名称容易发生碰撞的问题。本发明还公开了一种兼容安卓应用的服务签名装置。
-
公开(公告)号：CN104092544B
公开(公告)日：2017-11-17
申请号：CN201410300232.9
申请日：2014-06-26
Applicant: 工业和信息化部计算机与微电子发展研究中心(中国软件评测中心)
Abstract: 本发明涉及一种兼容安卓应用的服务签名方法，包括：S1：对应用程序软件包除开发者签名外的所有数据文件列出清单，并完成兼容安卓应用的服务签名操作；S2：通过使用服务自身标识证书或标识公钥对兼容安卓应用的服务签名进行验证。本发明对于同一个安卓应用程序包进行数字签名不会与应用程序的开发者签名发生冲突，进行的多方重签名得到的不同发布版本的安卓应用在更新安装时能够保留用户数据；且服务方签名数据存储在服务方域名以及业务名称相关的目录中，不同的服务方签名数据互不干扰，不同的业务签名互不影响，根本上解决了传统应用签名机制签名文件名称容易发生碰撞的问题。本发明还公开了一种兼容安卓应用的服务签名装置。
-
公开(公告)号：CN111125697B
公开(公告)日：2022-03-04
申请号：CN201911113284.4
申请日：2019-11-14
Applicant: 北京理工大学 , 工业和信息化部计算机与微电子发展研究中心(中国软件评测中心)
Abstract: 本发明公开了基于缺陷摘要的智能合约缺陷可触发性检测方法及系统，该方法包括：对待检测的智能合约进行缺陷检测，提取出一个或多个缺陷摘要；智能合约被调用时，获取实时合约状态数据集合及合约调用数据集合；使用实时状态数据和调用数据，对智能合约的各个缺陷摘要中预设初始符号值进行替换；对符号被替换后的缺陷摘要进行求解，若缺陷摘要的路径约束和缺陷触发条件约束同时有解，检测出所述智能合约在被调用时会触发缺陷。该方法通过将缺陷摘要和智能合约的实时状态数据与合约调用数据相结合来快速判断智能合约中缺陷的可触发性，能够解决现在智能合约缺陷检测中由于没有考虑真实数据而产生的高误报的问题，提高智能合约缺陷检测的准确率。
-
公开(公告)号：CN111125697A
公开(公告)日：2020-05-08
申请号：CN201911113284.4
申请日：2019-11-14
Applicant: 北京理工大学 , 工业和信息化部计算机与微电子发展研究中心(中国软件评测中心)
Abstract: 本发明公开了基于缺陷摘要的智能合约缺陷可触发性检测方法及系统，该方法包括：对待检测的智能合约进行缺陷检测，提取出一个或多个缺陷摘要；智能合约被调用时，获取实时合约状态数据集合及合约调用数据集合；使用实时状态数据和调用数据，对智能合约的各个缺陷摘要中预设初始符号值进行替换；对符号被替换后的缺陷摘要进行求解，若缺陷摘要的路径约束和缺陷触发条件约束同时有解，检测出所述智能合约在被调用时会触发缺陷。该方法通过将缺陷摘要和智能合约的实时状态数据与合约调用数据相结合来快速判断智能合约中缺陷的可触发性，能够解决现在智能合约缺陷检测中由于没有考虑真实数据而产生的高误报的问题，提高智能合约缺陷检测的准确率。
-
-
-
Search Results
4
records
(took 0.039 seconds)
