首页> 中国专利> 程序验证装置、程序验证方法

程序验证装置、程序验证方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

必要信息提取部(120)提取由对象程序(101)使用的变量中的输出变量，其中，该输出变量设定由输出函数列表(182)中定义的输出函数输出的输出信息。必要信息提取部(120)提取由对象程序(101)使用的变量中的密码变量，其中，该密码变量设定由密码函数列表(183)中定义的加密函数加密后的密码信息。保护状态分析部(130)参照对象程序(101)中包含的赋值语句，提取被代入密码信息的密码状态变量。脆弱性判定部(140)判定密码状态变量与输出变量是否为相同的变量，基于判定结果，输出程序验证结果(197)。

著录项

公开/公告号CN104662553B

专利类型发明专利
公开/公告日2017-09-01

原文格式PDF
申请/专利权人三菱电机株式会社;
展开▼

申请/专利号CN201380049331.8
发明设计人山本匠;
展开▼

申请日2013-08-30
分类号
代理机构北京三友知识产权代理有限公司;
代理人李辉
地址日本东京都
入库时间 2022-08-23 09:59:53

法律信息

法律状态公告日

法律状态信息

法律状态
2020-08-14

未缴年费专利权终止 IPC(主分类):G06F21/57 授权公告日:20170901 终止日期:20190830 申请日:20130830

专利权的终止
2017-09-01

授权

授权
2017-09-01

授权

授权
2015-06-24

实质审查的生效 IPC(主分类):G06F21/57 申请日:20130830

实质审查的生效
2015-06-24

实质审查的生效 IPC(主分类):G06F 21/57 申请日:20130830

实质审查的生效
2015-06-24

实质审查的生效 IPC(主分类):G06F 21/57 申请日:20130830

实质审查的生效
2015-05-27

公开

公开
2015-05-27

公开

公开
2015-05-27

公开

公开

查看全部

相似文献

专利
中文文献
外文文献

1. 程序验证装置、程序验证方法和程序验证程序 [P] . 中国专利： CN104662553A . 2015-05-27
2. 程序验证装置、程序验证方法 [P] . 中国专利： CN104662553B . 2017.09.01
3. Program verifying system, program verifying method, and storage medium for storing software of program verifying method [P] . 美国专利： US6772410B1 . 2004-08-03

机译：程序验证系统，程序验证方法以及用于存储该程序验证方法的软件的存储介质
4. PROGRAM VERIFICATION DEVICE, PROGRAM VERIFICATION METHOD, COMPUTER PROGRAM FOR PROGRAM VERIFICATION, PROGRAM CONVERTER, PROGRAM CONVERSION METHOD, COMPUTER PROGRAM FOR PROGRAM CONVERSION, PROGRAM MANUFACTURING METHOD, AND PROGRAM FOR VERIFICATION [P] . 世界知识产权组织专利： WO2019124022A1 . 2019-06-27

机译：程序验证装置，程序验证方法，用于程序验证的计算机程序，程序转换器，程序转换方法，用于程序转换的计算机程序，程序制造方法和用于验证的程序
5. PROGRAM VERIFICATION DEVICE, PROGRAM VERIFICATION METHOD, COMPUTER PROGRAM FOR PROGRAM VERIFICATION, PROGRAM CONVERTER, PROGRAM CONVERSION METHOD, COMPUTER PROGRAM FOR PROGRAM CONVERSION, PROGRAM MANUFACTURING METHOD AND PROGRAM FOR VERIFICATION [P] . 日本专利： JP2019113997A . 2019-07-11

机译：程序验证装置，程序验证方法，用于程序验证的计算机程序，程序转换器，程序转换方法，用于程序转换的计算机程序，程序制造方法和用于验证的程序