-
公开(公告)号：CN111614573B
公开(公告)日：2022-05-06
申请号：CN202010080117.0
申请日：2020-02-04
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了一种对时间敏感网络的调度及流量整形机制进行形式化分析的方法，包括：确定TSN调度及流量整形机制的组成部分；根据确定的各组成部分，抽象出简单的调度及流量整形模型；根据抽象模型，确定模型的精化方案；对精化模型进行形式化分析以及时间性能分析。本发明中，通过对TSN的调度和流量整形机制进行形式化建模，不仅可以通过推理验证来保证最终的协议标准是否满足时间敏感性的需求，确保协议标准的正确性和可靠性；而且，对抽象模型的改进代价较低，对于协议标准的开发和后续扩展能够提供一定的帮助，能够节省开发时间和成本；并且提供了可量化的指标来比较不同调度机制的异同点及优缺点。
-
公开(公告)号：CN113434116A
公开(公告)日：2021-09-24
申请号：CN202110607529.X
申请日：2021-06-01
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了一种面向周期控制器的以模式为基础的信物融合系统建模及验证方法，所述方法包括：利用信物融合系统建模语言，分别构建抽象层面上的离散模式和连续模式，及具体层面上的离散控制流和连续控制流；结合上述获得的抽象层面和具体层面的建模模型，获得完整的信物融合系统模型，并以图形化方式表示；将上述获得的完整的信物融合系统模型中的变量、离散模式、连续模式、离散模式控制流、连续模式控制流按照翻译规则转换成混合自动机，进行形式化验证和性质分析。本发明方法能以图形化展示界面，方便用户的理解和建立模型，也为模型和高置信的形式化性质验证工具间建立有效的桥梁，节约信物融合系统模型的开发和高置信性质验证的时间和成本。
-
公开(公告)号：CN111679646A
公开(公告)日：2020-09-18
申请号：CN202010352041.2
申请日：2020-04-28
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: G05B23/02
Abstract: 本发明公开了一种基于形式化的汽车电子系统安全目标确认方法，本发明是基于ISO 26262《道路车辆功能安全》国际标准的，首先按照标准对项目进行定义，确认项目所包含的子系统和环境的接口；其次结合故障树分析识别出项目所有可能产生的危害，对每个危害进行ASIL定级，根据ASIL等级评估出能使项目正常运行的安全目标；然后对项目安全目标采用SOFL形式化语言进行建模；最后利用已有的辅助工具对SOFL进行语义分析并生成XML文件供支持其他软件开发活动。本发明能够有效地确认一种汽车各电子系统的代码级安全目标。
-
公开(公告)号：CN112015385A
公开(公告)日：2020-12-01
申请号：CN202010736660.1
申请日：2020-07-28
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了一种面向协议安全性质的形式化协同规约的方法及图形建模系统，涉及可信软件和通信协议技术领域。所述方法包括：面向计算树逻辑(Computation Tree Logic，CTL)和不变性(Invariant)的软件功能安全性质(Safety Property)规约规范；针对机密性(Confidential)、认证性(Authenticity)、完整性(Integrity)和可用性(Availability)的信息安全性质(Security Property)规约规范。本发明中，通过约定这些规约规范能够较为全面地针对协议的行为和内容对功能安全性质和信息安全性质建模，为后续的验证提供一定的帮助，能够为建模用户和性质的形式化验证器建立有效的连接桥梁，节约协议标准的开发和验证的时间和成本。
-
公开(公告)号：CN111583673A
公开(公告)日：2020-08-25
申请号：CN202010351981.X
申请日：2020-04-28
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明涉及一种基于无人驾驶车辆的智能交叉路口管理方法，包括如下步骤：步骤1：对交叉路口、路口控制策略、无人驾驶车辆提出假设；步骤2：定义通信的消息类型及车辆允许执行的操作；步骤3：根据车辆的行驶信息，及其到达交叉路口的时间计算优先级；步骤4：通过车辆信息计算交叉路口资源被占用时间，检测潜在的碰撞，调整车速。本发明中，通过使用IICP协议管理无人驾驶车辆在交叉路口的通行，不仅能够克服传统的红绿灯控制策略频繁拥堵的交通状况，极大程度的减少车辆在交叉路口的等待时间，提升车辆通行效率；而且，完全采用无人驾驶方式能够避免司机的误操作、驾驶水平等因素对城市交通系统安全性的影响。
-
Patent Agency Ranking
公开(公告)号：CN111753880B
公开(公告)日：2023-06-27
申请号：CN202010463749.5
申请日：2020-05-27
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: G06V10/764 , G06V10/82 , G06N3/0475 , G06N3/094
Abstract: 本发明了一种规避对抗样本攻击的图像分类方法，此方法基于区域分类，在图像分类中可以减轻对抗样本对分类器的攻击。本方法主要包含如下步骤：1、对图像进行建模，把图像看成是一个包含多个马尔科夫过程的结构体。2、对可能的对抗样本进行修正，在修正的时候，沿着图像转移概率(Image Transition Probability，ITP)减小的方向进行修改图像的像素值，特别的，当修改某个像素的值后，其ITP变化很大超过一定阈值，就舍弃这个像素值的改变。3、在采样的时候，进行有方向采样。本发明中，所提出的方法，不仅能在干净样本上保持其高分类准确率，并且在对抗样本上也能具有一定准确率。这种方法的提出，为深度学习模型在安全相关的应用领域中进行应用提供了思考和操作。
-
公开(公告)号：CN111667549B
公开(公告)日：2023-04-07
申请号：CN202010350709.X
申请日：2020-04-28
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: G06T11/20 , G06F21/36 , G06N3/0475 , G06N3/08
Abstract: 本发明公开了一种基于对抗样本和随机变换的图形验证码生成方法，包括：确定对抗样本的生成算法，生成基于对抗样本的图形验证码；利用生成的图形验证码，对神经网络进行对抗训练；根据对抗训练完成的神经网络，进行对抗样本的二次生成；对二次生成的对抗样本，进行随机变换，得到最终的图形验证码。本发明中，利用对抗训练过的神经网络再次生成对抗样本并结合图形的随机变化，不仅能够抵御普通的基于神经网络的验证码识别器，提高图形验证码的有效性，防止对网站的恶意攻击，保护正常的生产生活；而且，由于结合了图形的随机变换，使生成的图形验证码样本空间增大，提高了迁移性，并进一步对针对经过对抗训练的验证码识别器进行反制，更具普适性。
-
公开(公告)号：CN113434116B
公开(公告)日：2022-09-20
申请号：CN202110607529.X
申请日：2021-06-01
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了一种面向周期控制器的以模式为基础的信物融合系统建模及验证方法，所述方法包括：利用信物融合系统建模语言，分别构建抽象层面上的离散模式和连续模式，及具体层面上的离散控制流和连续控制流；结合上述获得的抽象层面和具体层面的建模模型，获得完整的信物融合系统模型，并以图形化方式表示；将上述获得的完整的信物融合系统模型中的变量、离散模式、连续模式、离散模式控制流、连续模式控制流按照翻译规则转换成混合自动机，进行形式化验证和性质分析。本发明方法能以图形化展示界面，方便用户的理解和建立模型，也为模型和高置信的形式化性质验证工具间建立有效的桥梁，节约信物融合系统模型的开发和高置信性质验证的时间和成本。
-
公开(公告)号：CN111667549A
公开(公告)日：2020-09-15
申请号：CN202010350709.X
申请日：2020-04-28
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
Abstract: 本发明公开了一种基于对抗样本和随机变换的图形验证码生成方法，包括：确定对抗样本的生成算法，生成基于对抗样本的图形验证码；利用生成的图形验证码，对神经网络进行对抗训练；根据对抗训练完成的神经网络，进行对抗样本的二次生成；对二次生成的对抗样本，进行随机变换，得到最终的图形验证码。本发明中，利用对抗训练过的神经网络再次生成对抗样本并结合图形的随机变化，不仅能够抵御普通的基于神经网络的验证码识别器，提高图形验证码的有效性，防止对网站的恶意攻击，保护正常的生产生活；而且，由于结合了图形的随机变换，使生成的图形验证码样本空间增大，提高了迁移性，并进一步对针对经过对抗训练的验证码识别器进行反制，更具普适性。
-
公开(公告)号：CN111614573A
公开(公告)日：2020-09-01
申请号：CN202010080117.0
申请日：2020-02-04
Applicant: 华东师范大学 , 上海工业控制安全创新科技有限公司
IPC: H04L12/815 , H04L12/24
Abstract: 本发明公开了一种对时间敏感网络的调度及流量整形机制进行形式化分析的方法，包括：确定TSN调度及流量整形机制的组成部分；根据确定的各组成部分，抽象出简单的调度及流量整形模型；根据抽象模型，确定模型的精化方案；对精化模型进行形式化分析以及时间性能分析。本发明中，通过对TSN的调度和流量整形机制进行形式化建模，不仅可以通过推理验证来保证最终的协议标准是否满足时间敏感性的需求，确保协议标准的正确性和可靠性；而且，对抽象模型的改进代价较低，对于协议标准的开发和后续扩展能够提供一定的帮助，能够节省开发时间和成本；并且提供了可量化的指标来比较不同调度机制的异同点及优缺点。
-
-
-
-
-
-
-
-
-
Search Results
23
records
(took 0.061 seconds)
