罗婷

作品数：2被引量：2H指数：1
导出分析报告
供职机构：解放军信息工程大学电子技术学院更多>>
发文主题：形式化验证HOARE逻辑RC4算法形式化安全性更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程》《信息安全与通信保密》更多>>
所获基金：国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Hoare逻辑的密码软件形式化验证系统被引量：2
《计算机工程》2012年第3期121-123,共3页郝耀辉 郭渊博 罗婷 燕菊维 
国家"863"计划基金资助项目"基于规范的容忍入侵中间件关键技术与平台"(2007AA01Z405);河南省科技创新杰出青年计划基金资助项目(104100510025)
在Hoare逻辑理论和ACSL语法规范的基础上,设计一种针对密码软件的形式化验证系统,由程序规范、验证推理规则、可靠性策略、验证推理等模块组成。以OpenSSL中RC4算法的软件实现为例,对其功能正确性、保险性和信息流安全性进行验证,结果表...
关键词：HOARE逻辑 密码软件 形式化验证 程序规范 RC4算法 
基于ACSL的密码软件形式化验证方法
《信息安全与通信保密》2011年第7期76-78,81,共4页罗婷 郭渊博 郝耀辉 
在分析通用软件形式化验证方法的基础上,这里设计提出了一种专门针对密码软件安全性的形式化验证方法。该方法采用ACSL(ANSI/ISO C Specification Language)语言对密码软件的安全性进行形式化描述,并采用自动证明与辅助证明相结合的方法...
关键词：ACSL 码软件 安全性 定理证明 形式化验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部