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

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

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

郝耀辉, 郭渊博, 罗婷, 燕菊维

Formal Verification System of Cryptographic Software Based on Hoare Logic

HAO Yao-Hui, GUO Yuan-Bo, LUO Ting, YAN Ju-Wei

计算机工程 . 2012, (3): 121 -123 . DOI: 10.3969/j.issn.1000-3428.2012.03.041