“上海工业控制安全创新科技有限公司”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果126个，建议您升级VIP下载更多相关专利

[发明专利]基于数据流依赖关系分析的模型间一致性分析方法、系统及应用-CN202310648412.5在审
发明人：徐奕龙飞;缪炜恺;蒲戈光;冯劲草;郑寒月 -专利权人：华东师范大学;上海工业控制安全创新科技有限公司
申请日： 2023-06-02 - 公布日： 2023-10-13 - 主分类号： G06F8/41 文献下载
摘要：本发明公开了一种基于数据流依赖关系分析的模型间一致性分析方法，方法包括如下步骤：步骤一、将自然语言需求文档转化为形式化需求条目，基于形式化需求条目生成需求模型，再利用形式化设计的精确语法、语义和假设条件对低层需求进行形式化建模，得到设计模型；步骤二、基于需求模型和设计模型，进行数据流分析，获取两者模型的变量依赖影响关系；步骤三、通过变量映射、拓扑排序从而进行模型间基于数据流依赖关系的一致性对比分析。本发明通过基于数据流依赖关系分析的模型间一致性分析方法来有效替代传统的人工测试和审查方法，提高验证的效率和准确性。本发明还公开了实现上述方法的系统及上述方法或者系统在模型间一致性分析中的应用。
基于数据流依赖关系分析模型一致性方法系统应用

[发明专利]一种基于时序算法和规则融合的汽车CAN总线入侵检测方法-CN202310930832.2在审
发明人：王博文;柳泽;乔琪;张璇;蒲戈光 -专利权人： 上海工业控制安全创新科技有限公司
申请日： 2023-07-27 - 公布日： 2023-09-19 - 主分类号： H04L9/40 文献下载
摘要：本发明公开了一种基于时序算法和规则融合的汽车CAN总线入侵检测方法，涉及汽车电子信息安全的技术领域。其技术要点是：包括如下模块：时序模型检测模块，规则检测模块以及决策集成模块；决策集成模块通过将时序模型检测模块和规则检测模块进行并联，两个模块的检测结果同时交给决策集成模块，经过决策算法的融合，生成最终的检测结果。本发明具有的优点：融合了不同的检测器的优点，充分利用了不同检测器在检测过程中各自的优势，使得整体检测的准确率和查准率都得到了提升。
一种基于时序算法规则融合汽车 can 总线入侵检测方法

[发明专利]一种面向可编程数据平面的用户活动分类方法及应用-CN202211135710.6有效
发明人：章玥;朱信宇;蒲戈光 -专利权人：华东师范大学;上海工业控制安全创新科技有限公司
申请日： 2022-09-19 - 公布日： 2023-09-19 - 主分类号： H04L49/20 文献下载
摘要：本发明公开了一种面向可编程数据平面的用户活动分类方法，包括以下三个平面：学习平面、控制平面、数据平面。本发明该方法能够实现在数据平面完成对用户活动分类，通过P4语言来实现合适的机器学习模型并部署到可编程交换机中，交换机对流经的数据包进行解析，提取网络流的特征数据并保存到sketch和哈希表构成的存储结构之中，然后使用机器学习分类器对一段时间间隔内的网络流特征进行分析，判断该段时间间隔内的用户活动，上传分类结果。
一种面向可编程数据平面用户活动分类方法应用

[发明专利]基于场景语义驱动的车载预期功能安全危害分析评估方法-CN202110737286.1有效
发明人：刘虹;薛松;胡红星;黄惠斌;蒲戈光 -专利权人：华东师范大学;上海工业控制安全创新科技有限公司;中汽创智科技有限公司
申请日： 2021-06-30 - 公布日： 2023-08-11 - 主分类号： G06V20/56 文献下载
摘要：本发明公开了一种基于场景语义驱动的车载预期功能安全危害分析评估方法，首先对自动驾驶相关场景数据进行处理和分析，可以更有效的识别出预期功能安全SOTIF相关的隐患，然后针对隐患提出了一种危害分析评估的方法，通过危险性和可操作性HAZOP方法进行危害分析，并提出根据严重度等级分配发生频率的方法进行风险评估，最后得到不可接受的危害及其安全目标和触发事件。本发明包含五个步骤，步骤一：处理场景数据，构建存在潜在风险的场景；步骤二：计算场景的概率分布，结合高风险场景识别SOTIF隐患；步骤三：通过HAZOP工具对SOTIF隐患进行危害分析；步骤四：对危害及其可能后果进行分类和评估；步骤五：找出不可接受的风险，定义其安全目标并识别触发事件。
基于场景语义驱动车载预期功能安全危害分析评估方法

[发明专利]基于无线网络的轻量级无源身份认证系统及方法-CN202210058405.5有效
发明人：林驰;季传英;郁静华;王博文 -专利权人：大连理工大学;上海工业控制安全创新科技有限公司
申请日： 2022-01-19 - 公布日： 2023-08-08 - 主分类号： H04W12/06 文献下载
摘要：本发明属于身份认证技术领域，提供了基于无线网络的轻量级无源身份认证系统及方法。本发明通过结合信号处理、机器学习等技术，最终为机器学习技术在无源感知身份认证、识别领域的应用提供了理论依据和实践经验，设计的系统为无源识别与追踪、室内入侵检测、公司签到等应用提供了新的设计思路和应用原型。本发明设计并开发基于机器学习的轻量级无源身份认证系统。对WiFi信号进行预处理提取CSI特征，并采用基于SNN+GhostNet网络的算法，实现身份的高精度实时认证。所开发的系统有望填补无源身份认证应用的空白，为基于机器学习的无源识别、定位打造应用示例。该系统可广泛应用到识别与追踪、室内入侵检测、公司签到等领域。
基于无线网络轻量级无源身份认证系统方法

[发明专利]一种基于分布式存储和网内计算的键值分区路由方法及系统-CN202310157290.X在审
发明人：章玥;李风樊;蒲戈光 -专利权人：华东师范大学;上海工业控制安全创新科技有限公司
申请日： 2023-02-23 - 公布日： 2023-07-18 - 主分类号： H04L49/90 文献下载
摘要：本发明公开了一种基于分布式存储和网内计算的键值分区路由系统。整个系统的框架主要包括控制器、可编程交换机、分布式键值存储后端和客户端。本发明还公开了一种利用上述系统基于网内计算的键值分区路由处理方法，通过在可编程交换机中实现一个中间路由层，处理键值查询所请求的分区和节点之间的映射，来将查询数据包转发到适当的分区的节点。通过控制器及时更新交换机中分区与节点之间的映射关系，从而及时的反映到交换机中的键值查询处理中。基于本发明中网内的键值分区路由方法，能够有效的在面向于分布式键值存储的网络架构中加速键值查询处理。
一种基于分布式存储计算键值分区路由方法系统

[发明专利]一种代码验证算法的选择方法、装置及存储介质-CN202011008564.1有效
发明人：曹伟朋;王强;蒲戈光;刘虹;许智武;明仲;戴沁芸 -专利权人：深圳大学;南方科技大学;上海工业控制安全创新科技有限公司;国家计算机网络与信息安全管理中心上海分中心
申请日： 2020-09-23 - 公布日： 2023-07-18 - 主分类号： G06F11/36 文献下载
摘要：本申请适用于软件安全技术领域，提供了一种代码验证算法的选择方法、装置及计算机可读存储介质，所述选择方法包括：将待验证代码块输入预先构建的算法选择模型进行处理，得到待验证代码块对应的目标验证算法置信度向量；其中，目标验证算法置信度向量用于描述待验证代码块对应的各个预设验证算法的得分值；根据目标验证算法置信度向量确定待验证代码块对应的目标验证算法；基于目标验证算法对待验证代码块进行验证，得到验证结果。上述选择方法不仅适用范围大，还提高了在实际软件工程中的代码验证效率。
一种代码验证算法选择方法装置存储介质

[发明专利]一种基于带内网络遥测技术的数据包转发环路实时检测系统及检测方法-CN202210017402.7有效
发明人：章玥;孙衍超;蒲戈光 -专利权人：华东师范大学;上海工业控制安全创新科技有限公司
申请日： 2022-01-07 - 公布日： 2023-07-14 - 主分类号： H04L45/18 文献下载
摘要：本发明公开了一种基于带内网络遥测技术的数据包转发环路实时检测系统，包括边缘交换机、中间交换机、控制器三个部分。所述边缘交换机用于向传入的数据包头部插入带内网络遥测INT指令，使该数据包能够在其转发过程中收集遥测信息，并将遥测信息发送给控制器；所述中间交换机通过记录比较信息，完成环路的检测并根据检测结果设置数据包的转发端口号；所述控制器负责分析产生环路时导致环路产生的故障交换机位置，或者未产生环路时，检查数据包的实际转发路径与控制器预期的转发路径是否一致。本发明提供了一种转发环路实时检测方法并可以对交换机进行重新配置。本发明根据数据包转发过程的时序图完成设计，兼顾了数据包转发过程的各个处理阶段。
一种基于网络遥测技术数据包转发环路实时检测系统方法

[发明专利]一种基于FQLTL语言的实例生成方法及系统-CN202111570950.4有效
发明人：陈羽;李建文;张小禹;蒲戈光;王燕芩;李卫娟;张程;魏民;朱迎春;张铭瑶 -专利权人：华东师范大学;卡斯柯信号有限公司;上海工业控制安全创新科技有限公司
申请日： 2021-12-21 - 公布日： 2023-07-14 - 主分类号： G06F8/30 文献下载
摘要：本发明公开了一种基于FQLTL的实例生成方法，本方法获取系统设备集合、设备性质以及设备间关系等配置信息，通过遍历公式的语法树进行逻辑计算，判断每个对象/对象集合是否满足公式中所限定的范围，由最终得到的逻辑运算结果可以滤去恒真/恒假的集合,这些集合都无需进行下一步验证，留下真正需要验证的设备集合，也就是状态不确定的设备集合。包括如下步骤：对公式进行语法解析；预处理；遍历语法树，进行可满足性检查；输出可满足性检查结果。由于验证器无法进行包含范围的性质验证，而这种新的形式化语言中规定了需要验证集合的范围。故本发明解决了在验证项目中，从系统全部的设备集合缩减到真正待验证实例的问题。
一种基于 fqltl 语言实例生成方法系统

[发明专利]一种适用于众包系统的基于信誉值分权制衡的共识方法-CN202310350174.X在审
发明人：郭建;李鸿儒;蒲戈光 -专利权人：华东师范大学;上海工业控制安全创新科技有限公司
申请日： 2023-04-04 - 公布日： 2023-06-30 - 主分类号： H04L67/1042 文献下载
摘要：本发明公开了一种适用于众包系统的基于信誉值分权制衡的共识方法，采用混合区块链架构，将区块链网络分为开放网络和共识网络；所述开放网络中的普通节点从事交易活动，对区块链上的信息只有查阅权限，普通节点根据服务的供需关系分为服务提供商和消费者；所述共识网络的账本管理节点负责更新、维护区块链，账本管理节点根据信誉值模型分为负责交易验证和区块验证的验证者和负责区块打包及区块更新的领导者。共识协议主要通过四个步骤来完成一次共识活动，分别是共识名单的获取、交易组的验证、区块的验证以及激励与惩罚四个步骤。本发明所提出的共识协议应用到众包系统中，可以很好解决传统众包所面临的单点故障问题以及不公平问题。
一种适用于系统基于信誉分权制衡共识方法

[发明专利]一种规避对抗样本攻击的图像分类方法-CN202010463749.5有效
发明人：赵涌鑫;蒋家威;蒲戈光;刘虹 -专利权人：华东师范大学;上海工业控制安全创新科技有限公司
申请日： 2020-05-27 - 公布日： 2023-06-27 - 主分类号： G06V10/764 文献下载
摘要：本发明了一种规避对抗样本攻击的图像分类方法，此方法基于区域分类，在图像分类中可以减轻对抗样本对分类器的攻击。本方法主要包含如下步骤：1、对图像进行建模，把图像看成是一个包含多个马尔科夫过程的结构体。2、对可能的对抗样本进行修正，在修正的时候，沿着图像转移概率(Image Transition Probability，ITP)减小的方向进行修改图像的像素值，特别的，当修改某个像素的值后，其ITP变化很大超过一定阈值，就舍弃这个像素值的改变。3、在采样的时候，进行有方向采样。本发明中，所提出的方法，不仅能在干净样本上保持其高分类准确率，并且在对抗样本上也能具有一定准确率。这种方法的提出，为深度学习模型在安全相关的应用领域中进行应用提供了思考和操作。
一种规避对抗样本攻击图像分类方法

[发明专利]一种汽车安全态势感知与应急响应方法及系统-CN202310108122.1在审
发明人：郁静华;苏少博;沈平;加拉力丁•依马木;肖博阳;胡红星;郭俊;王守为 -专利权人： 上海工业控制安全创新科技有限公司;中汽创智科技有限公司
申请日： 2023-02-14 - 公布日： 2023-06-23 - 主分类号： H04L9/40 文献下载
摘要：本发明公开了一种汽车安全态势感知与应急响应方法，涉及汽车网络安全的技术领域。其技术要点是：云端接收IDPS上报攻击事件后，与数据库中的场景库进行匹配，输出与其匹配度最高的场景；根据当前匹配的场景各项属性进行应急响应下发；最后将完整的攻击事件信息、应急响应措施等信息在VSOC平台进行展示。本申请将车辆设计阶段的两类独立分析进行结合，针对不同场景下的攻击事件下发不同响应措施，提升了IDPS的准确性及效率。
一种汽车安全态势感知应急响应方法系统

[发明专利]一种工业互联网病毒预防与控制方法-CN202310043493.6在审
发明人：洪晟;阴宏伟;王博文;郁静华;乔琪 -专利权人：北京航空航天大学;上海工业控制安全创新科技有限公司
申请日： 2023-01-29 - 公布日： 2023-06-23 - 主分类号： H04L9/40 文献下载
摘要：本发明涉及一种工业互联网病毒预防与控制方法，具体步骤如下：步骤一：构建工业互联网的网络拓扑模型；步骤二：评估节点重要度，对网络中各节点进行重要度级别分级；步骤三：建立复合病毒传播模型，节点具有十种状态；步骤四：复合病毒传播模型分析；步骤五：构建病毒传播的预防策略与修复控制策略。本发明，基于网络模型构建方法构建工业互联网网络模型，并对模型空间和结构特性进行分析，评估工业互联网网络模型的重要度，分析相关参数对病毒传播的影响，仿真病毒在工控网络内的传播过程，防止故障传播对工业互联网造成进一步损害，有助于及时开展网络事后修复工作。
一种工业互联网病毒预防控制方法

[发明专利]移动边缘环境中Transformer模型分割方法及装置-CN202211624092.1在审
发明人：屈志昊;周文轩;叶保留;王博文;柳泽 -专利权人：河海大学;上海工业控制安全创新科技有限公司
申请日： 2022-12-16 - 公布日： 2023-04-28 - 主分类号： H04W28/08 文献下载
摘要：本发明公开了一种移动边缘环境中Transformer模型的分割方法及装置，所述方法包括：选择不大于Transformer模型编码器层数的移动边缘设备数量作为设备组，获取设备的计算能力、发送功率，结合设备之间的距离、信道带宽、信道噪声计算出设备之间的D2D通信时间；利用分枝定界法求解所建模的优化问题得到最优的传输路径；基于得到的最优的传输路径，将Transformer模型按层分割放置到相应的移动边缘设备上。本发明提高了通信效率和系统的整体计算性能，并降低了拆分和编排网络的运算复杂度。
移动边缘环境 transformer 模型分割方法装置

[发明专利]基于串行分类器的车载CAN总线异常检测方法及系统-CN202210936877.6在审
发明人：王守为;王博文;胡红星;张渊策;郁静华;缪炜恺;蒲戈光 -专利权人：中汽创智科技有限公司;上海工业控制安全创新科技有限公司
申请日： 2022-08-05 - 公布日： 2023-04-28 - 主分类号： H04L9/40 文献下载
摘要：本发明涉及一种基于串行分类器的车载CAN总线异常检测方法及系统。该检测方法包括以下步骤：采集车载CAN总线的多条报文数据；对采集到的每条报文数据分别进行预处理得到预处理数据；采用预设过采样算法对预处理数据进行过采样处理得到过采样数据；采用预设分类器算法并使用多条过采样数据作为训练集并对预先构建的多分类器和二分类器分别进行训练，得到训练后的多分类器和二分类器；按照预设分类规则将训练后的多分类器和二分类器先后串联集成为串行分类器；按照预定采样时间和预定采样间隔采集车载CAN总线的实时报文数据；对采集到的实时报文数据进行预处理得到实时预处理数据；利用串行分类器对实时预处理数据进行检测得到车载CAN总线异常检测结果。
基于串行分类车载 can 总线异常检测方法系统

1
2
3
4
5
6
7
8
9
下一页»
尾页
共 126 条