-
公开(公告)号：CN119782198A
公开(公告)日：2025-04-08
申请号：CN202411819115.3
申请日：2024-12-11
Applicant: 厦门大学
IPC: G06F12/02
Abstract: 本发明涉及基于分区命名空间固态硬盘的键值缓存系统，系统包括：对象及其元数据插入模块、对象查找模块和对象驱逐模块。通过哈希函数将键值映射到逻辑分区内的偏移量，使用页面级布隆过滤器实现高效查找；对象写入数据和第一元数据缓冲区，采用日志结构批量写入盘内，形成先进先出的逻辑分区链；系统缓存热对象元数据，根据访问频次对对象进行分类管理：访问频次超过第一预设频次的对象元数据卸载后加载，访问频次低于第二预设频次的对象元数据卸载后动态加载；在驱逐过程中，结合第二元数据缓冲区与实时访问情况，选择性地回收高频访问的对象。本发明通过哈希映射、页面级布隆过滤器和基于访问频次的对象管理，提升了键值缓存系统的性能和效率。
-
公开(公告)号：CN118413399B
公开(公告)日：2024-11-08
申请号：CN202410873787.6
申请日：2024-07-02
Applicant: 厦门大学
Abstract: 本发明涉及一种判断业务网络互访安全性的方法、系统、介质及程序产品，其根据连接拓扑生成转发图；然后根据目的业务网络选取一个相应的目的业务端口，构造目的转发图；在目的转发图中，以目的业务端口为起点，沿着拓扑结构进行深度搜索；深度搜索结束后，目的业务网络对除目的业务端口外的其他所有业务端口进行评估，判断是否存在从业务端口转发来的网段；如果有且不允许该目的业务网段访问，则认为该业务接口与该目的业务端口不隔离，网络不安全；反之，则认为网络安全。本发明采用网络建模与形式化分析的方法，快速、准确地计算业务网段之间的互访关系，结合网络规划信息，可快速、准确地判断业务网络互访的安全性。
-
公开(公告)号：CN118413399A
公开(公告)日：2024-07-30
申请号：CN202410873787.6
申请日：2024-07-02
Applicant: 厦门大学
Abstract: 本发明涉及一种判断业务网络互访安全性的方法、系统、介质及程序产品，其根据连接拓扑生成转发图；然后根据目的业务网络选取一个相应的目的业务端口，构造目的转发图；在目的转发图中，以目的业务端口为起点，沿着拓扑结构进行深度搜索；深度搜索结束后，目的业务网络对除目的业务端口外的其他所有业务端口进行评估，判断是否存在从业务端口转发来的网段；如果有且不允许该目的业务网段访问，则认为该业务接口与该目的业务端口不隔离，网络不安全；反之，则认为网络安全。本发明采用网络建模与形式化分析的方法，快速、准确地计算业务网段之间的互访关系，结合网络规划信息，可快速、准确地判断业务网络互访的安全性。
-
公开(公告)号：CN116974472A
公开(公告)日：2023-10-31
申请号：CN202310931227.7
申请日：2023-07-27
Applicant: 厦门大学
IPC: G06F3/06
Abstract: 本发明公开了一种面向存储架构的重复数据删除方法、装置及可读介质，通过构建内存缓存协同的源地址索引结构和指纹索引桶结构，源地址索引结构包括具有源地址桶结构的临时索引缓存、中度访问源地址索引结构、冷访问源地址索引结构和频繁访问源地址索引结构，指纹索引桶结构包括具有指纹桶结构的指纹索引结构、历史指纹索引结构、历史指纹布隆过滤器结构和计数布隆过滤器；获取访问数据，根据访问数据在源地址索引结构和指纹索引桶结构中查找，根据查找结果进行重复数据删除操作，减少新型存储架构下传统数据重删带来的空间开销和时间开销问题，并提高整体存储系统访问性能。
-
公开(公告)号：CN116684248A
公开(公告)日：2023-09-01
申请号：CN202310710299.9
申请日：2023-06-15
Applicant: 厦门大学
IPC: H04L41/06 , H04L41/14 , H04L61/2592
Abstract: 本公开提供了一种分布式数据平面验证方法，包括：响应于当前设备节点具备数据包转换条件，由当前设备节点将上游设备节点发送的第一订阅消息转换为第二订阅消息；调用所述下游设备节点执行对第二订阅消息的计数任务，并将对第二订阅消息的计数结果反馈给当前设备节点；由当前设备节点将对第二订阅消息的计数结果作为对第一订阅消息的计数结果，并反馈给上游设备节点。本公开还提供一种分布式数据平面验证系统。
-
Patent Agency Ranking
公开(公告)号：CN116684247A
公开(公告)日：2023-09-01
申请号：CN202310710233.X
申请日：2023-06-15
Applicant: 厦门大学
Abstract: 本公开提供了一种多管理域网络验证方法，包括：将各个应用服务器的路由器配置文件转化为安全多方计算协议确定的输入格式，以保证各个应用服务器之间的兼容性；对满足输入格式的路由器配置文件进行模拟处理，以使得多管理域网络在收敛后生成秘密数据平面；以及对秘密数据平面进行数据平面验证，以获得关于多管理域网络的各个属性的验证结果。本公开还提供一种多管理域网络验证系统。
-
公开(公告)号：CN118353813A
公开(公告)日：2024-07-16
申请号：CN202410608736.0
申请日：2024-05-16
Applicant: 厦门大学
IPC: H04L43/0805 , H04L43/50 , H04L61/4511 , H04L67/10
Abstract: 本公开提供了一种域名系统配置的分布式验证方法、装置、介质及设备，该方法包括：根据接收到的针对目标区域文件的验证请求，确定所述目标区域文件对应的待验证属性类型及其对应的验证过程参数；基于所述目标区域文件，生成对应的行为树；采用符号化执行遍历所述行为树，生成本地等价类集合；根据所述待验证属性类型以及所述验证过程参数，对所述本地等价类集合进行查询验证。本申请实施例的技术方案可以提高域名系统配置验证的针对性，并保证域名系统配置验证的准确性。
-
公开(公告)号：CN117852011A
公开(公告)日：2024-04-09
申请号：CN202311854823.6
申请日：2023-12-29
Applicant: 厦门大学
Abstract: 本公开提供了一种策略验证方法、电子设备及存储介质。本公开的策略验证方法包括：根据目标策略生成初始公式数据和待验证公式，待验证公式和初始公式数据中的初始公式均为可满足性模理论公式；根据待验证公式对初始公式数据进行公式选择处理，生成目标公式数据，目标公式数据包括部分初始公式数据；根据目标公式数据和待验证公式进行可满足性模理论求解，生成第一求解结果数据；以及根据第一求解结果数据确定目标策略的策略验证结果。
-
公开(公告)号：CN117850691A
公开(公告)日：2024-04-09
申请号：CN202311854867.9
申请日：2023-12-29
Applicant: 厦门大学
Abstract: 本公开提供了一种分布式存储方法、交换机及存储介质。本公开的分布式存储方法包括：响应于接收到客户端发送的写请求，根据交换机系统时间判断交换机是否满足本地存储条件；若是，则初始化写请求中目标写数据的目标元数据；根据交换机系统时间将目标元数据和目标写数据存储至交换机本地；以及根据交换机本地存储的目标元数据对目标写数据进行分布式存储。
-
公开(公告)号：CN117640382A
公开(公告)日：2024-03-01
申请号：CN202311636934.X
申请日：2023-12-01
Applicant: 厦门大学
IPC: H04L41/0866
Abstract: 本公开提供了一种基于网络领域知识的网络配置验证加速方法、电子设备及可读存储介质。本公开的方法，包括：筛选得到网络配置信息中与待验证的网络不变量无关的第一配置信息，将网络配置信息中的第一配置信息忽略，得到第二配置信息；对待验证的网络不变量进行编码，得到第一编码信息；对第二配置信息进行编码，得到第二编码信息，其中，在编码过程中，对第二配置信息中的数值属性信息进行抽象；将第一编码信息和第二编码信息进行组合，得到编码信息；确定编码信息中的第一变量的搜索顺序，以及，确定编码信息中的第一变量的赋值顺序；根据搜索顺序，选取编码信息中的第一变量，然后根据赋值顺序，对选取的第一变量进行赋值，进行编码信息的验证。
-
-
-
-
-
-
-
-
-
Search Results
23
records
(took 0.017 seconds)
