-
公开(公告)号：CN120068035A
公开(公告)日：2025-05-30
申请号：CN202510169441.2
申请日：2025-02-17
Applicant: 西南交通大学 , 中国国家铁路集团有限公司 , 中国铁道科学研究院集团有限公司
Abstract: 本发明公开了一种进程继承强制访问控制安全级别的方法，属于信息安全技术领域。为了准确判断子进程是否需要继承父进程的权限，动态调整安全级别，本发明通过亲密性算法，判断进程树中的子进程是否继承父进程的强制访问权限；若亲密值大于或等于预设值，则子进程继承父进程的权限，并同步更新子进程的强制访问权限信息；借助进程树以同步更新子进程的强制访问权限。本发明的亲密性算法简洁易工程实施，并通过为进程树提供临时的安全级别，实现子进程安全级别的动态调整。
-
公开(公告)号：CN119814526A
公开(公告)日：2025-04-11
申请号：CN202510169431.9
申请日：2025-02-17
Applicant: 西南交通大学 , 中国国家铁路集团有限公司 , 中国铁道科学研究院集团有限公司
IPC: H04L41/0604 , H04L41/0681 , H04L9/40
Abstract: 本发明公开了一种基于时间窗口建模的安全态势告警降噪方法。为了有效过滤虚警、误警，本发明从网络攻击流程出发，基于告警事件的源IP、目的IP和告警类型，由细到粗，从三个维度提取告警特征向量，其中，第一维度以源IP、目的IP和告警类型为基准，第二维度以源IP和目的IP为基准，第三维度以源IP和告警类型总数为基准；根据从三个维度提取的告警特征向量，利用告警模型判断告警事件的真伪。本发明流程简洁、实用性强，资源消耗小，且易于工程化实现。本发明适用于网络安全态势感知领域。
-
公开(公告)号：CN106814730A
公开(公告)日：2017-06-09
申请号：CN201611153324.4
申请日：2016-12-14
IPC: G05B23/02
CPC classification number: G05B23/0213 , G05B2219/24065
Abstract: 本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件测试用例生成方法，包括(1)根据列车运行控制系统的需求规范，采用状态图形式化地描述列车运行控制系统需求，然后通过仿真及模型检测方法验证模型的正确性。(2)根据步骤(1)所建立的状态图模型生成测试路径，(3)根据步骤(2)的测试路径，分析出边的测试场景的集合，采用组合覆盖的方式，生成测试用例。本发明提供的列车运行控制系统安全关键软件测试用例生成方法，测试用例能够覆盖列控系统安全关键软件的全部需求，同时不存在重复测试项；组合覆盖使得测试用例包含列控系统的小概率场景、异常事件，能够测试列控系统的安全性需求，提高测试效率，降低测试成本。
-
公开(公告)号：CN106802862B
公开(公告)日：2020-05-08
申请号：CN201611152749.3
申请日：2016-12-14
IPC: G06F11/36
Abstract: 本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件自动测试平台，包括建模子系统用于构建列车运行控制系统基础信号模型库和具体待测功能模型；测试路径生成子系统通过图覆盖算法生成测试路径；组合覆盖子系统在测试路径基础上对边场景变量进行组合，生成测试用例；通信接口子系统向被测设备发生测试用例数据，并采集被测设备的输出数据；测试结果分析子系统对测试过程中的数据进行分析，生成测试结果报告；数据管理子系统集中管理测试平台运行时必须的数据和文件。针对列车运行控制系统安全关键软件，本发明可以有效、全面的覆盖测试场景，提高测试效率，降低测试成本。
-
公开(公告)号：CN106814730B
公开(公告)日：2019-01-01
申请号：CN201611153324.4
申请日：2016-12-14
IPC: G05B23/02
Abstract: 本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件测试用例生成方法，包括(1)根据列车运行控制系统的需求规范，采用状态图形式化地描述列车运行控制系统需求，然后通过仿真及模型检测方法验证模型的正确性。(2)根据步骤(1)所建立的状态图模型生成测试路径，(3)根据步骤(2)的测试路径，分析出边的测试场景的集合，采用组合覆盖的方式，生成测试用例。本发明提供的列车运行控制系统安全关键软件测试用例生成方法，测试用例能够覆盖列控系统安全关键软件的全部需求，同时不存在重复测试项；组合覆盖使得测试用例包含列控系统的小概率场景、异常事件，能够测试列控系统的安全性需求，提高测试效率，降低测试成本。
-
Patent Agency Ranking
公开(公告)号：CN115167344B
公开(公告)日：2023-06-13
申请号：CN202210728410.2
申请日：2022-06-24
Applicant: 西南交通大学
IPC: G05B23/02
Abstract: 本发明公开了一种高铁列控地面信号控制设备监督测试方法与系统及应用，所述方法包括：对所述地面信号控制设备进行全接口监督的黑盒测试，将黑盒测试获得的全部输出节点的输出结果进行反编译，还原站场情形，根据还原后的情形判断输出结果的合理性。本发明可实现对内部状态与数据的正确性与一致性的监督，同时可覆盖系统内部接口的工程映射关系，有效避免黑盒测试的天然缺陷，提升了工程测试的安全性。
-
公开(公告)号：CN108933788A
公开(公告)日：2018-12-04
申请号：CN201810715086.4
申请日：2018-07-03
Applicant: 西南交通大学
CPC classification number: H04L63/12 , H04L9/0625 , H04L9/0631 , H04L9/3242 , H04W12/00
Abstract: 一种基于FPGA的RSSP-II协议MAC码快速验证装置，FPGA1和FPGA2中均通过编程语言硬件编程有以下模块：数据接口模块、MAC调度模块、DES模块、双通道比较模块。其中DES模块包括DES顶模块，DES core模块，Key_schedule子密钥生成模块，crp单轮循环模块。双通道比较模块用于两个FPGA间通信，构成二取二结构，当两个FPGA结果不一致时，通过数据接口模块给CPU发送双通道比较状态标志；若通过双通道比较，则进行后续消息传输，否则进入错误处理程序。本发明采用有限状态机以及流水线的设计方法，在保证处理速度的基础上，充分考虑到系统资源的消耗，达到了速度与面积的平衡。本发明有效降低了高速铁路车地无线安全通信RSSP-II协议的CPU资源占用，极大提高数据吞吐量，缩短车地鉴权时延，具有更高的安全性和可靠性。
-
公开(公告)号：CN117215290A
公开(公告)日：2023-12-12
申请号：CN202311429564.2
申请日：2023-10-31
Applicant: 西南交通大学
IPC: G05B23/02
Abstract: 本发明涉及一种高铁信号系统工程测试平台，数据管理子系统生成测试数据及测试用例。测试执行子系统向信号设备发送测试信息，向信号设备提供IO信息和TC通信信息，配合执行测试用例。测试执行子系统对设备间的通信数据进行数据镜像，接收信号设备的通信输出，接收信号设备的IO输出，结合测试用例对信号设备的输出结果自动进行判断。线路环境仿真子系统模拟继电器接口架至室外的工程线路，模拟列车占用、设置线路设备状态。列车仿真子系统提供ATP与车辆间的接口，提供测试技术。GSM‑R网络仿真子系统提供网通道。本发明保证信号系统室内仿真测试环境与现场工程环境之间的一致性，提高了信号工程测试安全性、正确性、完备性和效率。
-
公开(公告)号：CN115167344A
公开(公告)日：2022-10-11
申请号：CN202210728410.2
申请日：2022-06-24
Applicant: 西南交通大学
IPC: G05B23/02
Abstract: 本发明公开了一种高铁列控地面信号控制设备监督测试方法与系统及应用，所述方法包括：对所述地面信号控制设备进行全接口监督的黑盒测试，将黑盒测试获得的全部输出节点的输出结果进行反编译，还原站场情形，根据还原后的情形判断输出结果的合理性。本发明可实现对内部状态与数据的正确性与一致性的监督，同时可覆盖系统内部接口的工程映射关系，有效避免黑盒测试的天然缺陷，提升了工程测试的安全性。
-
公开(公告)号：CN108933788B
公开(公告)日：2020-11-06
申请号：CN201810715086.4
申请日：2018-07-03
Applicant: 西南交通大学
Abstract: 一种基于FPGA的RSSP‑II协议MAC码快速验证装置，FPGA1和FPGA2中均通过编程语言硬件编程有以下模块：数据接口模块、MAC调度模块、DES模块、双通道比较模块。其中DES模块包括DES顶模块，DES core模块，Key_schedule子密钥生成模块，crp单轮循环模块。双通道比较模块用于两个FPGA间通信，构成二取二结构，当两个FPGA结果不一致时，通过数据接口模块给CPU发送双通道比较状态标志；若通过双通道比较，则进行后续消息传输，否则进入错误处理程序。本发明采用有限状态机以及流水线的设计方法，在保证处理速度的基础上，充分考虑到系统资源的消耗，达到了速度与面积的平衡。本发明有效降低了高速铁路车地无线安全通信RSSP‑II协议的CPU资源占用，极大提高数据吞吐量，缩短鉴权时延，具有更高的安全性和可靠性。
-
-
-
-
-
-
-
-
-
Search Results
11
records
(took 0.021 seconds)
