-
公开(公告)号：CN110008607A
公开(公告)日：2019-07-12
申请号：CN201910290073.1
申请日：2019-04-11
Applicant: 上海工业控制安全创新科技有限公司
Abstract: 一种基于STPA模型的功能安全危害和信息安全威胁分析方法，采用STPA模型作为基础，共分为四个步骤，一：根据STPA模型建立安全约束、控制结构和过程模型；二：考虑信息安全因素对控制结构和过程模型的影响；三：对所有可能的情况进行组合分析，识别所有不安全控制的分类；四：确定不安全控制的来源。本发明结合STAMP模型，建立了功能安全约束、控制结构和过程模型；对安全约束、危害事件、过程控制和信息安全影响进行组合分析，将危害事件的发生看成是不安全控制的结果，而不仅仅是由组件或系统故障引起，并能识别所有不安全控制的分类并确定导致这些不安全控制发生的原因是来源于单个组件、多个组件之间的相关交互或者是车辆电子安全系统设计缺陷。
-
公开(公告)号：CN109933309A
公开(公告)日：2019-06-25
申请号：CN201910170435.3
申请日：2019-03-06
Applicant: 上海工业控制安全创新科技有限公司
Abstract: 机器学习算法应用于汽车软件开发功能安全的流程方法，包括七个步骤，步骤一：项目启动阶段，采用机器学习决策门；步骤二：软件安全要求阶段，规范化描述安全要求；步骤三：软件架构设计阶段，采用容错设计方法；步骤四：软件开发阶段，数据采集；步骤五：软件开发阶段，模型选取；步骤六：软件开发阶段，模型实现；步骤七：软件集成阶段，验证和测试。本发明在汽车电子软件开发过程中，明确部分规范化描述的性质，有助于基于各种机器学习的算法特征选取模型，进而提高开发效率和安全性。基于上述，本发明具有好的应用前景。
-
公开(公告)号：CN113839782A
公开(公告)日：2021-12-24
申请号：CN202111042795.9
申请日：2021-09-07
Applicant: 北京航空航天大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了一种基于PUF的车内网络CAN总线轻量级安全通信方法，包括：在车内CAN总线上建立会话密钥，使得基于会话密钥进行总线通信；对于未注册外部设备，在车内网关ECU上注册未注册外部设备的身份信息，并协商密钥；对于已注册车外设备，根据已注册车外设备的身份信息和密钥计入车内CAN总线。该方法可以在实现CAN总线的内部安全密钥协商，以及与外部设备的安全认证接入。
-
公开(公告)号：CN113068182A
公开(公告)日：2021-07-02
申请号：CN202110146235.1
申请日：2021-02-02
Applicant: 上海大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明提供了一种基于无源可重构表面的城市轨道交通无线通信信息防护方法，该方法包括在漏泄电缆的上方和下方分别安装可重构表面设备，可重构表面各个反射单元的相移根据车载天线的高度，车载天线距离漏泄电缆的水平距离以及各个反射单元中心的高度确定，可重构表面在漏泄电缆上下方分别设置的单元个数根据期望接收信噪比提升度确定。本发明在城市轨道交通地面无线通信系统用漏泄电缆覆盖，车载无线通信用定向天线，通过可重构表面反射，利用可重构表面的空间微波调制功能，将无线信号覆盖局限在轨道交通线路范围内，从而降低无线信号泄漏问题，给城市轨道交通无线通信提供信息防护。
-
公开(公告)号：CN112214402A
公开(公告)日：2021-01-12
申请号：CN202011008564.1
申请日：2020-09-23
Applicant: 深圳大学 , 南方科技大学 , 上海工业控制安全创新科技有限公司 , 国家计算机网络与信息安全管理中心上海分中心
Abstract: 本申请适用于软件安全技术领域，提供了一种代码验证算法的选择方法、装置及计算机可读存储介质，所述选择方法包括：将待验证代码块输入预先构建的算法选择模型进行处理，得到待验证代码块对应的目标验证算法置信度向量；其中，目标验证算法置信度向量用于描述待验证代码块对应的各个预设验证算法的得分值；根据目标验证算法置信度向量确定待验证代码块对应的目标验证算法；基于目标验证算法对待验证代码块进行验证，得到验证结果。上述选择方法不仅适用范围大，还提高了在实际软件工程中的代码验证效率。
-
Patent Agency Ranking
公开(公告)号：CN112235241B
公开(公告)日：2023-02-24
申请号：CN202010932430.2
申请日：2020-09-08
Applicant: 广州大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了基于模糊测试的工控蜜罐特征提取方法、系统及介质，方法包括：构建工控蜜罐测试环境；基于所述工控蜜罐测试环境以及预设的初始种子，通过报文生成器生成第一变异请求报文，并将所述第一变异请求报文发送给联网测试设备；将所述联网测试设备返回的响应报文传送至所述报文生成器；通过所述报文生成器对所述响应报文进行分析；根据分析结果，基于预设的目标函数对所述第一变异请求报文进行迭代处理，生成满足所述目标函数的阈值要求的第二变异请求报文；从所述第二变异请求报文中确定探测报文，并通过所述探测报文获取蜜罐识别的特征。本发明能够高效地构建出探测报文，提高了特征提取的准确性，可广泛应用于工业控制系统技术领域。
-
公开(公告)号：CN114371849A
公开(公告)日：2022-04-19
申请号：CN202011101650.7
申请日：2020-10-15
Applicant: 上海工业控制安全创新科技有限公司
IPC: G06F8/40
Abstract: 本发明提出了一种获取LTLf最小自动机的方法，所述方法基于Brzozowski最小化自动机构造理论来完成LTLf到最小DFA构造。包括：对于给定的LTLf公式，首先利用工具MONA构造得到LTLf对应的反向确定化自动机，这个自动机可以接收原LTLf接收语言的反向序列；将该反向确定化自动机进行倒置，从而得到一个非确定有限状态自动机(Nondeterministic Finite Automata,NFA)；在NFA上进行子集构造法计算，并在该计算之后进行可达状态计算，由此删除所有的不可达状态。根据Brzozowski理论，该DFA就是LTLf公式对应的最小化DFA。
-
公开(公告)号：CN113162903A
公开(公告)日：2021-07-23
申请号：CN202110146261.4
申请日：2021-02-02
Applicant: 上海大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明提供了一种网络切片中的基于连接信息的认证方法，当一个新的设备申请加入切片网络时，首先进行新加入设备身份验证，使用采集器采集的生物信息连同设备的硬件信息，生成摘要信息，对比登录设备已保存的摘要信息，以完成认证；通过验证后的设备与周围设备建立联系，将登录合格信息、范围连接设备信息、切片信息联合起来，作为新加入设备的身份证明，在发送方传输信息时加上所述身份证明，接收方则根据身份证明与通信目标对象的信息进行比对，验证身份是否正确。本发明方法减少了对权威机构的依赖，满足不同切片的不同安全性需求，支持在没有权威机构的参与下验证身份信息，提高了用户登录的效率，安全性及不被破解的可能性大大提高。
-
公开(公告)号：CN115964707A
公开(公告)日：2023-04-14
申请号：CN202111413599.8
申请日：2021-11-25
Applicant: 北京航空航天大学 , 上海工业控制安全创新科技有限公司
IPC: G06F21/56 , G06F18/214 , G06N3/045 , G06N3/0464
Abstract: 本申请公开了一种基于隐式关系挖掘的安卓恶意软件检测方法及装置，其中，方法包括：根据安卓应用程序样本和对应的多个实体构建安卓异构信息网络；对安卓异构信息网络中的多种关系进行建模来得到关系矩阵，把关系矩阵与元路径结合起来，得到所有实体特征向量；将模型化的关系矩阵与设计的语义元路径结合来学习得到应用程序的表示；将应用程序的表示图像化，转成灰度图像，并使用图像特征提取算法提取灰度图特征作为应用程序的特征表示；将提取到的应用程序特征向量作为输入，通过多层感知器模型的训练和学习之后，输出恶意应用程序的检测结果。对应用程序的检测准确率高、速度快、通用性强。解决了相关技术中检测准确率低、难度大、成本高等问题。
-
公开(公告)号：CN113068182B
公开(公告)日：2023-02-10
申请号：CN202110146235.1
申请日：2021-02-02
Applicant: 上海大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明提供了一种基于无源可重构表面的城市轨道交通无线通信信息防护方法，该方法包括在漏泄电缆的上方和下方分别安装可重构表面设备，可重构表面各个反射单元的相移根据车载天线的高度，车载天线距离漏泄电缆的水平距离以及各个反射单元中心的高度确定，可重构表面在漏泄电缆上下方分别设置的单元个数根据期望接收信噪比提升度确定。本发明在城市轨道交通地面无线通信系统用漏泄电缆覆盖，车载无线通信用定向天线，通过可重构表面反射，利用可重构表面的空间微波调制功能，将无线信号覆盖局限在轨道交通线路范围内，从而降低无线信号泄漏问题，给城市轨道交通无线通信提供信息防护。
-
-
-
-
-
-
-
-
-
Search Results
83
records
(took 0.08 seconds)
