典型文献
基于雷达软件安全的C程序到形式模型的转换方法
文献摘要：
文章主要以雷达系统软件安全为背景,首先提出了从C程序到基于一阶逻辑的形式模型的总体转换方法,通过定义辅助运算子,给出从C程序到形式模型保持语义一致的映射规则,对C程序的核心结构如赋值语句、条件语句、循环语句以及函数结构进行了规约,从而得到可执行的形式模型.最后,给出一个典型的C程序案例,应用转换规则生成了对应的形式模型,验证了转换方法的有效性.
文献关键词：
软件安全;C程序;一阶逻辑;形式模型
中图分类号：
作者姓名：
臧伟旺;朱健
作者机构：
南京电子技术研究所,江苏 南京 210039
文献出处：
引用格式：
[1]臧伟旺;朱健-.基于雷达软件安全的C程序到形式模型的转换方法)[J].现代信息科技,2022(07):26-28,31
A类：
形式模型,运算子
B类：
软件安全,转换方法,雷达系统,系统软件,一阶逻辑,语义一致,映射规则,心结,赋值,语句,规约,转换规则
AB值：
0.301911
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
