-
公开(公告)号：CN116880851A
公开(公告)日：2023-10-13
申请号：CN202310648412.5
申请日：2023-06-02
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了一种基于数据流依赖关系分析的模型间一致性分析方法，方法包括如下步骤：步骤一、将自然语言需求文档转化为形式化需求条目，基于形式化需求条目生成需求模型，再利用形式化设计的精确语法、语义和假设条件对低层需求进行形式化建模，得到设计模型；步骤二、基于需求模型和设计模型，进行数据流分析，获取两者模型的变量依赖影响关系；步骤三、通过变量映射、拓扑排序从而进行模型间基于数据流依赖关系的一致性对比分析。本发明通过基于数据流依赖关系分析的模型间一致性分析方法来有效替代传统的人工测试和审查方法，提高验证的效率和准确性。本发明还公开了实现上述方法的系统及上述方法或者系统在模型间一致性分析中的应用。
-
公开(公告)号：CN115514720B
公开(公告)日：2023-09-19
申请号：CN202211135710.6
申请日：2022-09-19
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: H04L49/20 , H04L49/9015 , G06N20/00 , G06F18/23213 , G06F18/24
Abstract: 本发明公开了一种面向可编程数据平面的用户活动分类方法，包括以下三个平面：学习平面、控制平面、数据平面。本发明该方法能够实现在数据平面完成对用户活动分类，通过P4语言来实现合适的机器学习模型并部署到可编程交换机中，交换机对流经的数据包进行解析，提取网络流的特征数据并保存到sketch和哈希表构成的存储结构之中，然后使用机器学习分类器对一段时间间隔内的网络流特征进行分析，判断该段时间间隔内的用户活动，上传分类结果。
-
公开(公告)号：CN113660209B
公开(公告)日：2023-04-25
申请号：CN202110805021.0
申请日：2021-07-16
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了一种基于sketch与联邦学习的DDoS攻击检测系统，所述攻击检测系统包括一种时序多维sketch，包括四个维度：第一个维度记录数据流的数据包数量，第二个维度记录数据流的总大小信息，第三个维度记录当前时间区间内CPU的累计利用率，第四个维度使用摩尔投票算法记录众数流的ID与计数信息；所述攻击检测系统利用联邦学习的分布式特性降低分布式控制器中模型部署的复杂度，提升系统维护的效率。
-
公开(公告)号：CN114564202B
公开(公告)日：2023-02-17
申请号：CN202210038442.X
申请日：2022-01-13
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: G06F8/41
Abstract: 本发明公开了一种基于SAT求解器的符号模型检测方法：读取待检测文件，将待检测文件解析为C++程序中对应的数据结构存储用于后续步骤，得到待检测模型M和待检测安全性性质P，将待检测安全性质P取反得到不安全性性质bad；待检测安全性性质P由线性时态逻辑编写；将待检测模型M蕴含的状态以及状态间的迁移关系构造为文字和等价的子句，存入SAT求解器供后续步骤使用；将当前状态si以及不安全性性质bad作为假设，在待检测模型M的子句集合约束下进行求解，若公式可满足，则从当前状态si可以一步到达违反安全性质的坏状态；从初始状态到坏状态的路径，即为目击者或反例，作为证明系统不安全的证据。
-
公开(公告)号：CN113946438A
公开(公告)日：2022-01-18
申请号：CN202111032953.2
申请日：2021-09-03
Applicant: 西安电子科技大学 , 上海工业控制安全创新科技有限公司
IPC: G06F9/50
Abstract: 本发明公开了一种基于容器整合的在线迁移调度方法、装置、设备和系统，获取多个节点分别对应的负载值，其中，节点对应的负载值用于指示从当前时间窗口起向前连续N个时间窗口对应的节点的负载情况，将每个节点的负载值输入至过载预测模型，分别得到每个节点的预测结果，预测结果用于指示节点在当前时间窗口的下一个时间窗口是否过载，过载预测模型包括卷积神经网络层和门控循环单元层，过载预测模型的训练样本包含监督型数据，将过载节点的待迁移容器迁移到目标节点，多个节点包括目标节点，过载节点的预测结果指示过载节点在当前时间窗口的下一个时间窗口过载。实现对容器云环境中资源的调度与分配，提高资源的利用率及能源效率。
-
Patent Agency Ranking
公开(公告)号：CN113068182A
公开(公告)日：2021-07-02
申请号：CN202110146235.1
申请日：2021-02-02
Applicant: 上海大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明提供了一种基于无源可重构表面的城市轨道交通无线通信信息防护方法，该方法包括在漏泄电缆的上方和下方分别安装可重构表面设备，可重构表面各个反射单元的相移根据车载天线的高度，车载天线距离漏泄电缆的水平距离以及各个反射单元中心的高度确定，可重构表面在漏泄电缆上下方分别设置的单元个数根据期望接收信噪比提升度确定。本发明在城市轨道交通地面无线通信系统用漏泄电缆覆盖，车载无线通信用定向天线，通过可重构表面反射，利用可重构表面的空间微波调制功能，将无线信号覆盖局限在轨道交通线路范围内，从而降低无线信号泄漏问题，给城市轨道交通无线通信提供信息防护。
-
公开(公告)号：CN112214402A
公开(公告)日：2021-01-12
申请号：CN202011008564.1
申请日：2020-09-23
Applicant: 深圳大学 , 南方科技大学 , 上海工业控制安全创新科技有限公司 , 国家计算机网络与信息安全管理中心上海分中心
Abstract: 本申请适用于软件安全技术领域，提供了一种代码验证算法的选择方法、装置及计算机可读存储介质，所述选择方法包括：将待验证代码块输入预先构建的算法选择模型进行处理，得到待验证代码块对应的目标验证算法置信度向量；其中，目标验证算法置信度向量用于描述待验证代码块对应的各个预设验证算法的得分值；根据目标验证算法置信度向量确定待验证代码块对应的目标验证算法；基于目标验证算法对待验证代码块进行验证，得到验证结果。上述选择方法不仅适用范围大，还提高了在实际软件工程中的代码验证效率。
-
公开(公告)号：CN111857093A
公开(公告)日：2020-10-30
申请号：CN202010604592.3
申请日：2020-06-29
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: G05B23/02
Abstract: 本发明提出了一种基于DAG区块链的自动驾驶预期功能安全评估方法，基于DAG区块链技术，融合预期功能系统，实现预期功能的安全评估。基于数据对预期功能安全进行客观评估。评估方式与在环测试结合，不需要依靠大量的传统经验进行判断，对当时测试数据进行分析。使用对节点的信用评估结果来作为安全评估的结果。对每一个硬件或部件都进行了安全性、可靠性分析，评估结果较为完整。本发明还提出了一种设备和计算机可读存储介质。
-
公开(公告)号：CN111667549A
公开(公告)日：2020-09-15
申请号：CN202010350709.X
申请日：2020-04-28
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了一种基于对抗样本和随机变换的图形验证码生成方法，包括：确定对抗样本的生成算法，生成基于对抗样本的图形验证码；利用生成的图形验证码，对神经网络进行对抗训练；根据对抗训练完成的神经网络，进行对抗样本的二次生成；对二次生成的对抗样本，进行随机变换，得到最终的图形验证码。本发明中，利用对抗训练过的神经网络再次生成对抗样本并结合图形的随机变化，不仅能够抵御普通的基于神经网络的验证码识别器，提高图形验证码的有效性，防止对网站的恶意攻击，保护正常的生产生活；而且，由于结合了图形的随机变换，使生成的图形验证码样本空间增大，提高了迁移性，并进一步对针对经过对抗训练的验证码识别器进行反制，更具普适性。
-
公开(公告)号：CN111631735A
公开(公告)日：2020-09-08
申请号：CN202010337806.5
申请日：2020-04-26
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了一种基于视频数据振动频率的异常情绪监测预警方法，在测试过程中通过询问用户一些随机的问题，同时采用通过特殊配置的摄像头记录用户的头部的微动影像以及热成像图像；利用振动图像技术处理所记录的前庭神经反射的头部影像，分析受访者的心理状态和反应。振动成像技术通过分析用户的头部影像获得有关头部运动参数的完整信息，并运用算法对所获得的数字信号进行分析，进而判断被测试用户的心理状态。本发明能利用振动图像技术通过分析用户的前庭神经反射影像，准确地判断被测试用户的心理状态，尤其是当用户产生异常情绪反应时，通过本发明论述的方法能迅速而准确地判断，以便在一些安全防护要求较高的场合达到预警防护作用。
-
-
-
-
-
-
-
-
-
Search Results
91
records
(took 0.058 seconds)
