-
公开(公告)号：CN112214402A
公开(公告)日：2021-01-12
申请号：CN202011008564.1
申请日：2020-09-23
Applicant: 深圳大学 , 南方科技大学 , 上海工业控制安全创新科技有限公司 , 国家计算机网络与信息安全管理中心上海分中心
Abstract: 本申请适用于软件安全技术领域，提供了一种代码验证算法的选择方法、装置及计算机可读存储介质，所述选择方法包括：将待验证代码块输入预先构建的算法选择模型进行处理，得到待验证代码块对应的目标验证算法置信度向量；其中，目标验证算法置信度向量用于描述待验证代码块对应的各个预设验证算法的得分值；根据目标验证算法置信度向量确定待验证代码块对应的目标验证算法；基于目标验证算法对待验证代码块进行验证，得到验证结果。上述选择方法不仅适用范围大，还提高了在实际软件工程中的代码验证效率。
-
公开(公告)号：CN112214402B
公开(公告)日：2023-07-18
申请号：CN202011008564.1
申请日：2020-09-23
Applicant: 深圳大学 , 南方科技大学 , 上海工业控制安全创新科技有限公司 , 国家计算机网络与信息安全管理中心上海分中心
Abstract: 本申请适用于软件安全技术领域，提供了一种代码验证算法的选择方法、装置及计算机可读存储介质，所述选择方法包括：将待验证代码块输入预先构建的算法选择模型进行处理，得到待验证代码块对应的目标验证算法置信度向量；其中，目标验证算法置信度向量用于描述待验证代码块对应的各个预设验证算法的得分值；根据目标验证算法置信度向量确定待验证代码块对应的目标验证算法；基于目标验证算法对待验证代码块进行验证，得到验证结果。上述选择方法不仅适用范围大，还提高了在实际软件工程中的代码验证效率。
-
公开(公告)号：CN119988182A
公开(公告)日：2025-05-13
申请号：CN202510064721.7
申请日：2025-01-15
Applicant: 上海工业控制安全创新科技有限公司 , 华东师范大学
IPC: G06F11/3604
Abstract: 本发明公开了一种基于反馈的Lustre语言实例生成方法，包括如下步骤：将候选池初始化为仅包含一个满足Lustre基本语法规则的初始实例的集合；根据启发式规则，从候选池的集合中选择一个Lustre实例；对选择的Lustre实例进行随机演化；检查演化后的新Lustre实例的合法性；根据检查后的反馈信息，决定是否将实例保留在候选池中，或从候选池中移除，并触发新一轮的演化；输出合法的Lustre实例结果集合。本发明还公开了实现上述方法的系统及应用，具有广泛应用场景。
-
公开(公告)号：CN113946438B
公开(公告)日：2024-04-30
申请号：CN202111032953.2
申请日：2021-09-03
Applicant: 西安电子科技大学 , 上海工业控制安全创新科技有限公司
IPC: G06F9/50
Abstract: 本发明公开了一种基于容器整合的在线迁移调度方法、装置、设备和系统，获取多个节点分别对应的负载值，其中，节点对应的负载值用于指示从当前时间窗口起向前连续N个时间窗口对应的节点的负载情况，将每个节点的负载值输入至过载预测模型，分别得到每个节点的预测结果，预测结果用于指示节点在当前时间窗口的下一个时间窗口是否过载，过载预测模型包括卷积神经网络层和门控循环单元层，过载预测模型的训练样本包含监督型数据，将过载节点的待迁移容器迁移到目标节点，多个节点包括目标节点，过载节点的预测结果指示过载节点在当前时间窗口的下一个时间窗口过载。实现对容器云环境中资源的调度与分配，提高资源的利用率及能源效率。
-
公开(公告)号：CN117220986A
公开(公告)日：2023-12-12
申请号：CN202311306116.3
申请日：2023-10-10
Applicant: 上海工业控制安全创新科技有限公司
IPC: H04L9/40
Abstract: 本发明公开了一种AS报文入侵检测方法、装置、设备及存储介质，涉及车联网安全技术领域，能够实现对IEEE 802.1AS报文的安全性检测。具体技术方案为：首先接收待测报文；然后判断待测报文的以太网帧头部信息是否与第一预设规则相符；若是，对待测报文的类型进行解析，待测报文的类型为SYN报文、Follow_Up报文、Pdelay_Req报文、Pdelay_Resp报文以及Pdelay_Resp_Follow_Up报文中的一种；最后根据解析结果，判断待测报文是否符合第二预设规则；若是，则确定待测报文为正常报文。本发明用于AS报文入侵检测。
-
Patent Agency Ranking
公开(公告)号：CN116455848A
公开(公告)日：2023-07-18
申请号：CN202310157290.X
申请日：2023-02-23
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了一种基于分布式存储和网内计算的键值分区路由系统。整个系统的框架主要包括控制器、可编程交换机、分布式键值存储后端和客户端。本发明还公开了一种利用上述系统基于网内计算的键值分区路由处理方法，通过在可编程交换机中实现一个中间路由层，处理键值查询所请求的分区和节点之间的映射，来将查询数据包转发到适当的分区的节点。通过控制器及时更新交换机中分区与节点之间的映射关系，从而及时的反映到交换机中的键值查询处理中。基于本发明中网内的键值分区路由方法，能够有效的在面向于分布式键值存储的网络架构中加速键值查询处理。
-
公开(公告)号：CN114338509B
公开(公告)日：2023-07-14
申请号：CN202210017402.7
申请日：2022-01-07
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: H04L45/18 , H04L45/28 , H04L41/0677 , H04L41/0654 , H04L41/0826 , H04L41/40
Abstract: 本发明公开了一种基于带内网络遥测技术的数据包转发环路实时检测系统，包括边缘交换机、中间交换机、控制器三个部分。所述边缘交换机用于向传入的数据包头部插入带内网络遥测INT指令，使该数据包能够在其转发过程中收集遥测信息，并将遥测信息发送给控制器；所述中间交换机通过记录比较信息，完成环路的检测并根据检测结果设置数据包的转发端口号；所述控制器负责分析产生环路时导致环路产生的故障交换机位置，或者未产生环路时，检查数据包的实际转发路径与控制器预期的转发路径是否一致。本发明提供了一种转发环路实时检测方法并可以对交换机进行重新配置。本发明根据数据包转发过程的时序图完成设计，兼顾了数据包转发过程的各个处理阶段。
-
公开(公告)号：CN116366669A
公开(公告)日：2023-06-30
申请号：CN202310350174.X
申请日：2023-04-04
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: H04L67/1042 , H04L67/104 , H04L67/1061 , H04L9/40 , G06Q40/04 , G06Q20/40 , G06F16/27 , G06F16/23
Abstract: 本发明公开了一种适用于众包系统的基于信誉值分权制衡的共识方法，采用混合区块链架构，将区块链网络分为开放网络和共识网络；所述开放网络中的普通节点从事交易活动，对区块链上的信息只有查阅权限，普通节点根据服务的供需关系分为服务提供商和消费者；所述共识网络的账本管理节点负责更新、维护区块链，账本管理节点根据信誉值模型分为负责交易验证和区块验证的验证者和负责区块打包及区块更新的领导者。共识协议主要通过四个步骤来完成一次共识活动，分别是共识名单的获取、交易组的验证、区块的验证以及激励与惩罚四个步骤。本发明所提出的共识协议应用到众包系统中，可以很好解决传统众包所面临的单点故障问题以及不公平问题。
-
公开(公告)号：CN113067613B
公开(公告)日：2022-11-08
申请号：CN202110146262.9
申请日：2021-02-02
Applicant: 上海大学 , 上海工业控制安全创新科技有限公司
IPC: H04B7/06 , H04W4/42 , H04W4/44 , H04W12/122
Abstract: 本发明涉及轨道交通车地无线通信领域，公开了一种适用于轨道交通物理层安全的基于天线子集选择的方向调制方法。本发明将天线选择模型与方向调制技术相结合，考虑到列车运行时天线间干扰等安全问题，提出了轨道交通场景下的基于天线空间隔离度的天线选择方法，并通过在天线子集选择模型中引入随列车运行而实时变化的畸变系数，使得非法窃听者接收方向上的信号的幅度和相位随着列车运行产生一定程度的畸变，增大了其恢复原始信号的难度，从而提升了车地通信的安全性。
-
公开(公告)号：CN114781362A
公开(公告)日：2022-07-22
申请号：CN202210283600.8
申请日：2022-03-22
Applicant: 上海工业控制安全创新科技有限公司 , 华东师范大学
IPC: G06F40/253 , G06F40/186 , G06F40/30 , G06F8/41 , G06F8/10
Abstract: 本发明公开了一种基于嵌入式控制软件需求模型的量纲分析方法，包括如下步骤：步骤一、建立形式化需求文档，对文档需求进行分析，抽取关键信息构建抽象语法树；步骤二、基于步骤一中构建获得的抽象语法树生成需求模型；步骤三、建立与需求模型相匹配的量纲系统；步骤四、针对步骤二中生成的需求模型利用步骤三建立的量纲系统进行量纲分析。本发明所述的量纲分析方法能够消除因自然语言的模糊性和二义性等问题产生的歧义问题，并在其基础上进行需求模型的量纲分析来提高需求工程师所关心的功能计算问题，从而使得需求工程师更准确更快速的进行需求的分析验证。
-
-
-
-
-
-
-
-
-
Search Results
92
records
(took 0.077 seconds)
