-
题名基于静态分析的密码协议业务逻辑缺陷检测方法
被引量：2
- 1
-
-
作者
王震
周超
苗泉强
樊永文
-
机构
中国人民解放军
-
出处
《数字技术与应用》
2022年第11期230-233,共4页
-
文摘
本文介绍了基于静态分析的密码协议业务逻辑缺陷检测的具体方法,从检测框架出发,引出了方法实现的三个关键问题,然后对模型代码解析、协议代码信息抽取以及映射关系建立这三个关键问题进行了详细的分析论述。对密码协议进行形式化分析,从协议业务逻辑层面上证明密码协议的安全或者是找出协议逻辑层面的缺陷,一旦发现协议的缺陷,协议规范需要重新修订,并且协议代码也要做相应的修改[1]。
-
关键词
业务逻辑层
形式化分析
信息抽取
缺陷检测
密码协议
静态分析
检测框架
协议规范
-
分类号
TP21
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名全舰计算环境形式化验证算法
被引量：1
- 2
-
-
作者
朱维军
樊永文
聂凯
-
机构
郑州大学信息工程学院
-
出处
《数字技术与应用》
2017年第6期140-141,143,共3页
-
文摘
简要介绍全舰计算环境(Total Ship Computing Environment,TSCE)的基本概念、相关组成、体系架构、安全需求分析以及美军TSCE设计经验对我军舰艇发展的启示。针对TSCE的安全性未知问题,我们引入了形式化验证方法。首先,使用全自动的模型检测方法验证TSCE子集;然后,使用形式推理的方式半自动半人工的验证TSCE全集。复杂度分析揭示了新方法的效率。最后,得出结论,本文提出的TSCE形式化验证方案可望与传统的软件工程方法优势互补,协同验证TSCE是否满足包括安全性在内的相关性质需求。
-
关键词
全舰计算环境
形式化验证
模型检测
形式推理
-
Keywords
total ship computing environment
formal verification
model checking
formal deduce
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名基于拟态防御机制的全舰计算环境安全架构设计
- 3
-
-
作者
朱维军
樊永文
班绍桓
-
机构
郑州大学信息工程学院
-
出处
《数字技术与应用》
2018年第1期203-205,共3页
-
文摘
针对全舰计算环境(Total Ship Computing Environment,TSCE)体系结构的计算安全性问题,提出基于动态异构冗余的TSCE体系结构设计思想。首先,对TSCE的基础设施和应用系统分别进行动态异构冗余(Dynamic Heterogeneous Redundancy,DHR)设计,获得具有更佳抗攻击性的拟态防御系统成份;然后,把上述两大组成部分按照TSCE原有组织架构连接起来,即可获得具有拟态防御能力的全舰计算环境系统架构。内嵌的拟态防御机制可望为新模型带来更强的抗攻击性与主动防御能力。
-
关键词
动态
异构
冗余
拟态防御
全舰计算环境
-
Keywords
Dynamic
Heterogeneous
Redundancy
Mimic Defense
Total Ship Computing Environment
-
分类号
TP309.1
[自动化与计算机技术—计算机系统结构]
-
-
题名运用数学思想 巧解数列问题
- 4
-
-
作者
樊永文
-
机构
甘肃省民乐县第一中学
-
出处
《数理化解题研究》
2023年第10期63-65,共3页
-
文摘
数学思想是数学学习的利器,也是解决数学问题的主要途径,灵活应用数学思想,往往能够直击问题要害,快速、高效地解决问题.数列是高考的热点问题,同时能够结合新情境、新材料考查学生关键信息的提取能力和数学思想的运用能力.本文就高中数列问题进行分析,探索运用数学思想解决数列问题的方法和途径.
-
关键词
数列问题
高中数学
数学思想
解决策略
-
分类号
G632
[文化科学—教育学]
-
-
题名等差、等比数列性质的综合应用
- 5
-
-
作者
樊永文
-
机构
甘肃省民乐县第一中学
-
出处
《数理化解题研究》
2022年第28期83-85,共3页
-
文摘
等差、等比数列能够与数学其它知识点有效融合,成为高考的热门考点.因此,需要注重等差、等比数列性质在试题中的综合应用,理解等差、等比数列中蕴含的数学思想和方法,深化学生对于等差、等比数列性质的理解,提高有关试题的解题效率.
-
关键词
数列问题
数列性质
综合应用
-
分类号
G632
[文化科学—教育学]
-
