公开(公告)号：CN110520850B

公开(公告)日：2023-08-11

申请号：CN201780089570.4

申请日：2017-04-19

Applicant: 三菱电机株式会社

Inventor： 米持一树 ,  矶田诚

IPC: G06F11/36

Abstract: 生成部(110)生成用于检查第1函数与第2函数的等效性的检查封装器。检查封装器包含用于反复调用第1函数和第2函数的循环语句。检查部(130)使用检查封装器进行等效性检查，由此，按照调用了第1函数和所述第2函数的次数，判定第1函数与第2函数的等效性。

公开(公告)号：CN110520850A

公开(公告)日：2019-11-29

申请号：CN201780089570.4

申请日：2017-04-19

Applicant: 三菱电机株式会社

Inventor： 米持一树 ,  矶田诚

IPC: G06F11/36

Abstract: 生成部(110)生成用于检查第1函数与第2函数的等效性的检查封装器。检查封装器包含用于反复调用第1函数和第2函数的循环语句。检查部(130)使用检查封装器进行等效性检查，由此，按照调用了第1函数和所述第2函数的次数，判定第1函数与第2函数的等效性。

公开(公告)号：CN119256307A

公开(公告)日：2025-01-03

申请号：CN202280096445.7

申请日：2022-06-01

Applicant: 三菱电机株式会社

Inventor： 横山阳介 ,  片山吉章 ,  三泽学 ,  米持一树 ,  上田直树 ,  平井勇也

IPC: G06F21/55 ,  G06F21/57

Abstract: 数据取得部(21)取得动作数据，该动作数据包含进行了对其他目标造成影响的动作的目标即影响源目标、受到影响源目标进行的动作的影响的目标即影响目的地目标、以及表示动作是攻击的概率的攻击确信度。在攻击确信度为阈值A以上的情况下，关系构建部(22)将影响源目标与影响目的地目标之间的关系添加到关系数据中，由此构建关系数据。在检测到攻击的情况下，确定部(23)根据关系数据，确定假设存在攻击的影响的污染范围和攻击的入侵路径中的至少任意一方。