《表1 密码软件缺陷程度分析》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于Hoare逻辑的密码软件安全性形式化验证方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

实验以某系统为例，发现其系统中存在120个密码软件缺陷，为验证密码软件的安全性，对系统中密码软件的缺陷类型和缺陷个数进行分析，密码软件缺陷类型的严重程度从上到下按顺序排列，实验如表1所示。