-
公开(公告)号：CN111614573A
公开(公告)日：2020-09-01
申请号：CN202010080117.0
申请日：2020-02-04
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: H04L12/815 , H04L12/24
Abstract: 本发明公开了一种对时间敏感网络的调度及流量整形机制进行形式化分析的方法，包括：确定TSN调度及流量整形机制的组成部分；根据确定的各组成部分，抽象出简单的调度及流量整形模型；根据抽象模型，确定模型的精化方案；对精化模型进行形式化分析以及时间性能分析。本发明中，通过对TSN的调度和流量整形机制进行形式化建模，不仅可以通过推理验证来保证最终的协议标准是否满足时间敏感性的需求，确保协议标准的正确性和可靠性；而且，对抽象模型的改进代价较低，对于协议标准的开发和后续扩展能够提供一定的帮助，能够节省开发时间和成本；并且提供了可量化的指标来比较不同调度机制的异同点及优缺点。
-
公开(公告)号：CN111524601A
公开(公告)日：2020-08-11
申请号：CN202010337887.9
申请日：2020-04-26
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了一种基于前庭神经反射的心理状态测试评估方法，采用通过电脑屏幕向被测试者24个相反的问题‑刺激，与此同时，用安装在同一台计算机上的网络摄像头收集受访者的头部的微动影像。通过振动图像技术处理所收集的前庭神经反射的头部影像，记录受访者的心理反应，并运用算法进行相应的多元智能(MI)数据的分析。对MI的分析的主要方向为，通过分析I‑E(information‑energy)之间的关系，确定被测试者对问题的反应，以此判断被测试者的心理状态。所述方法能为实验提供相应的定量实验数据，并能揭示MI中相应数据之间的关系，可以准确地反应被试者的心理状态。
-
公开(公告)号：CN110417739A
公开(公告)日：2019-11-05
申请号：CN201910566636.5
申请日：2019-06-27
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: H04L29/06
Abstract: 本发明涉及带内测量以及区块链技术领域，实现了一种基于区块链技术的安全的网络带内测量方法，其步骤包括:构建权限区块链，控制器注册到区块链节点，并自定义权限访问策略等；矿工节点依据共识协议将权限策略保存到区块链中,当不同控制器节点相互访问时，密钥节点依据区块链中保存的权限策略，验证控制器节点的身份信息；控制器节点通过身份信息的确认，实现不同工作域下资源的权限授予，实现交换机的跨域访问。控制器下发路由策略，为不同的交换机分配指定的带内测量行为。该方法有效提高了可编程网络中控制器的安全性，同时能解决带内测量中交换机的权限控制问题，并且能够很好的防范网络测量中数据篡改、恶意攻击等行为。
-
公开(公告)号：CN109873824A
公开(公告)日：2019-06-11
申请号：CN201910140125.7
申请日：2019-02-26
Applicant: 华东师范大学 , 公安部第三研究所 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了一种基于属性基加密的智能终端访问控制方法，所述方法利用基于单调布尔矩阵的密文策略属性基加密和双线性对算法，实现对默认授权数据的细粒度访问控制。引入双重会话周期标识符和伪随机数作为会话周期内的动态变量参数，用于实现通信和交互的新鲜性。攻击者不能获取伪随机函数发生器的任何信息，确保只有合法智能终端才能对密文进行解密得到接入设备授权访问的数据域。
-
公开(公告)号：CN117938530A
公开(公告)日：2024-04-26
申请号：CN202410153273.3
申请日：2024-02-04
Applicant: 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了基于报文字段特征抽象的协议模糊测试方法和装置，涉及网络安全技术领域，能够解决现有技术中模糊测试因为协议资料不规范导致的测试不全面，测试效率低的问题。具体技术方案为：接收用户输入的测试对象的信息以及对应的配置参数；根据模糊变异策略配置以及预设的字段特征描述模型库中对应的字段特征描述模型生成测试对象的模糊报文；根据模糊报文发送配置以及测试对象的属性配置发送模糊报文给测试对象，并接收、解析测试对象根据模糊报文发送的返回报文；再根据监控套件配置获取测试对象的状态，并分析得到模糊测试反馈信息；最后根据模糊报文、返回报文、模糊测试反馈信息生成协议模糊测试报告。本发明用于协议模糊测试。
-
Patent Agency Ranking
公开(公告)号：CN114356294B
公开(公告)日：2023-07-14
申请号：CN202111570950.4
申请日：2021-12-21
Applicant: 华东师范大学 , 卡斯柯信号有限公司 , 上海工业控制安全创新科技有限公司
IPC: G06F8/30
Abstract: 本发明公开了一种基于FQLTL的实例生成方法，本方法获取系统设备集合、设备性质以及设备间关系等配置信息，通过遍历公式的语法树进行逻辑计算，判断每个对象/对象集合是否满足公式中所限定的范围，由最终得到的逻辑运算结果可以滤去恒真/恒假的集合,这些集合都无需进行下一步验证，留下真正需要验证的设备集合，也就是状态不确定的设备集合。包括如下步骤：对公式进行语法解析；预处理；遍历语法树，进行可满足性检查；输出可满足性检查结果。由于验证器无法进行包含范围的性质验证，而这种新的形式化语言中规定了需要验证集合的范围。故本发明解决了在验证项目中，从系统全部的设备集合缩减到真正待验证实例的问题。
-
公开(公告)号：CN115514720A
公开(公告)日：2022-12-23
申请号：CN202211135710.6
申请日：2022-09-19
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: H04L49/20 , H04L49/9015 , G06N20/00 , G06K9/62
Abstract: 本发明公开了一种面向可编程数据平面的用户活动分类方法，包括以下三个平面：学习平面、控制平面、数据平面。本发明该方法能够实现在数据平面完成对用户活动分类，通过P4语言来实现合适的机器学习模型并部署到可编程交换机中，交换机对流经的数据包进行解析，提取网络流的特征数据并保存到sketch和哈希表构成的存储结构之中，然后使用机器学习分类器对一段时间间隔内的网络流特征进行分析，判断该段时间间隔内的用户活动，上传分类结果。
-
公开(公告)号：CN111679964B
公开(公告)日：2022-07-26
申请号：CN202010315705.8
申请日：2020-04-21
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于边界模型检测技术的微内核操作系统接口的形式化验证方法。首先从微内核操作系统规范中提取微内核API的性质，把性质抽象为一阶逻辑公式；并将程序要满足的基本性质从通用基本性质库提取其一阶逻辑公式；微内核操作系统待验证的API从源代码中提取出来，包括相关的数据结构和内部调用的函数；将提取的微内核API分别和微内核API性质、通用性质进行合并获得含有API性质的微内核API、含有通用性质的微内核API；分别对两个API程序进行抽象建模，获得一阶逻辑公式；最后应用SMT求解器验证，如果验证失败，则根据验证公式给出的错误提示修改微内核API代码并重新验证，直到验证通过，说明该接口程序满足性质。
-
公开(公告)号：CN114564202A
公开(公告)日：2022-05-31
申请号：CN202210038442.X
申请日：2022-01-13
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: G06F8/41
Abstract: 本发明公开了一种基于SAT求解器的符号模型检测方法：读取待检测文件，将待检测文件解析为C++程序中对应的数据结构存储用于后续步骤，得到待检测模型M和待检测安全性性质P，将待检测安全性质P取反得到不安全性性质bad；待检测安全性性质P由线性时态逻辑编写；将待检测模型M蕴含的状态以及状态间的迁移关系构造为文字和等价的子句，存入SAT求解器供后续步骤使用；将当前状态si以及不安全性性质bad作为假设，在待检测模型M的子句集合约束下进行求解，若公式可满足，则从当前状态si可以一步到达违反安全性质的坏状态；从初始状态到坏状态的路径，即为目击者或反例，作为证明系统不安全的证据。
-
公开(公告)号：CN111857093B
公开(公告)日：2021-12-07
申请号：CN202010604592.3
申请日：2020-06-29
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: G05B23/02
Abstract: 本发明提出了一种基于DAG区块链的自动驾驶预期功能安全评估方法，基于DAG区块链技术，融合预期功能系统，实现预期功能的安全评估。基于数据对预期功能安全进行客观评估。评估方式与在环测试结合，不需要依靠大量的传统经验进行判断，对当时测试数据进行分析。使用对节点的信用评估结果来作为安全评估的结果。对每一个硬件或部件都进行了安全性、可靠性分析，评估结果较为完整。本发明还提出了一种设备和计算机可读存储介质。
-
-
-
-
-
-
-
-
-
Search Results
91
records
(took 0.057 seconds)
