基于Petri网的密码误用漏洞检测方法及系统

摘要

本发明属于网络信息安全技术领域，特别涉及一种基于Petri网的密码误用漏洞检测方法及系统，该方法包含如下内容：根据已知密钥安全漏洞生成密钥安全性漏洞检测模型并建立用于存储漏洞检测规则的检测规则库；提取加密应用程序中的API运行信息；对密码API序列进行污点分析，生成着色Petri网描述文件；结合漏洞检测规则及着色Petri网描述文件，进行密码误用漏洞检测。本发明在分析密码API函数调用方法的基础上，可借助动态二进制插桩方法，实现对API相关函数及其参数的运行时信息进行自动跟踪、监控与记录，可借助二进制分析识别不同密码函数之间的参数关联关系，大大提高检测效率，针对性强，识别率高，对网络信息安全技术具有重要的指导意义。