买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉北京工业大学申请的专利一种司法存证中基于Drain3的冷存储可信行为数据提取方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119830075B 。

龙图腾网通过国家知识产权局官网在2025-12-16发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411917917.8，技术领域涉及：G06F18/24；该发明授权一种司法存证中基于Drain3的冷存储可信行为数据提取方法是由孟祥宇;于学军;朱青;徐洪涛设计研发完成，并于2024-12-24向国家知识产权局提交的专利申请。

本一种司法存证中基于Drain3的冷存储可信行为数据提取方法在说明书摘要公布了：本发明公开了一种司法存证中基于Drain3的冷存储可信行为数据提取方法，包括以下步骤：步骤1：根据司法存证场景中的构成要件分别进行可信属性分析，得到分类后的可信属性模型。步骤2：根据不可信问题与可信属性，从需求分析中提取出可信需求。步骤3：依据可信需求构造形式化描述，得到“言行一致”中“言”的部分。步骤4：根据可信需求关注点进行日志埋点，采用逻辑分支埋点的方式，保证代码中行为逻辑的覆盖率。步骤5：将参数部分清洗筛选后作为冷存储行为可信相关数据，得到“言行一致”中“行”的部分。本发明将司法存证场景下的可信属性分为业务、设备、证据三个维度，针对性更强，在出现不可信行为时可以快速定位不可信源头。

本发明授权一种司法存证中基于Drain3的冷存储可信行为数据提取方法在权利要求书中公布了：1.一种司法存证中基于Drain3的冷存储可信行为数据提取方法，其特征在于，包括以下步骤： 步骤1：根据司法存证场景中的构成要件分别进行可信属性分析，得到分类后的可信属性模型； 步骤2：对司法存证场景中的冷存储行为相关功能进行需求分析，并分析场景中存在的不可信问题，根据不可信问题与可信属性，从需求分析中提取出可信需求； 步骤3：依据可信需求构造形式化描述，即构造行为声明通用模板，再根据各个可信需求自身特点，完成各需求对应的行为声明模板的构建，得到“言行一致”中“言”的部分； 步骤4：根据可信需求关注点进行日志埋点，采用逻辑分支埋点的方式，保证代码中行为逻辑的覆盖率，实时记录程序运行时的各项可信指标； 步骤5：基于Drain3算法对日志进行解析，提取日志模板和参数部分，将参数部分清洗筛选后作为冷存储行为可信相关数据，得到“言行一致”中“行”的部分； 所述步骤2的过程如下： 步骤2.1：可信属性是一系列与软件可信性相关的性质，但可信属性仍需结合需求才能得到对预期行为是否可信的准确描述；软件需求是指在软件开发初期对软件预期结果的描述，而可信需求则是从软件需求中提取到的与可信相关的需求，为生成可信行为声明奠定基础； 首先需要分析司法存证场景中与冷存储相关的业务需求，冷存储负责归档刻录功能，在此功能中的业务需求有：平台向冷存储设备发送归档任务的参数，冷存储设备正确接收；冷存储设备根据接收到的参数建立归档任务，并根据任务进行归档刻录的操作；发送归档任务应当定时执行，为避免失败，支持手动发起；冷存储设备完成刻录后应当向平台返回执行结果； 步骤2.2：从真实司法存证场景出发，冷存储归档刻录过程中易出现的风险有：传参错误的风险、归档重复的风险、未定时执行的风险、归档结果未及时返回； 步骤2.3：根据以上可信属性分类与风险分析，结合司法存证场景冷存储相关的业务需求，得到冷存储行为的可信需求，包括接收、归档刻录、定时执行、发送四个可信需求，需求对应的内容需要结合风险进行总结；每条需求对应一个或多个可信属性分类，归档刻录可信需求对应设备可信属性以及证据可信属性； 所述步骤4的具体过程如下: 步骤4.1：埋点是在应用流程中注入代码，以便收集该流程的相关信息，用于跟踪程序的执行状况；选择日志埋点的方式记录冷存储行为轨迹，具体采用采用逻辑分支埋点技术，在关键逻辑分支记录可信需求相关日志信息，以便对照行为声明得到冷存储行为可信性；采用逻辑分支埋点保证行为轨迹记录的覆盖率，并实时记录程序运行时的各项可信指标； 步骤4.2：采用逻辑分支埋点的方式，在程序的条件判断和for循环开始的时候记录日志，记录程序执行路径；采用编码的方式对一组相同子功能的日志进行记录；日志格式如下： [＜SubFunctionName＞-0-1]＜Date＞＜Time＞＜Content＞ 其中，＜SubFunctionName＞表示子功能类别，-0-1编码代表该程序的执行路径，＜Date＞表示记录日志的日期，＜Time＞表示记录日志的时间，＜Content＞表示日志内容；在该子功能中，编码的第一步执行了0代表的路径，第二步执行了1代表的路径；例如在归档的文件夹检查过程中，日志头为[归档任务-文件夹检查-0-1]表示在文件夹判断逻辑中，文件夹存在对应编码0，在文件是否为0判断逻辑中，文件大小为0对应编码1，“-0-1”记录了该子功能代码在逻辑分支的走向；通过归档过程的日志得到程序的运行轨迹。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京工业大学，其通讯地址为：100000 北京市朝阳区平乐园100号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。