当前位置: 首页 电子通信 电子信息 基于Hoare逻辑的密码软件形式化验证系统

基于Hoare逻辑的密码软件形式化验证系统

收藏
  • 大小：230.51 KB
  • 语言：中文版
  • 格式：PDF文档
  • 类别：电子信息
关键词：验证   密码   基于   逻辑   软件

资源简介

基于Hoare逻辑的密码软件形式化验证系统
  • 资料为PDF文档格式.
  • 本文档关键词:验证,密码,基于,逻辑,软件

    • 下载地址

    点击进入下载地址列表