首页> 中文期刊>电脑编程技巧与维护 >基于模型检验提高软件安全性的方法探究

基于模型检验提高软件安全性的方法探究

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

介绍了模型检验的基本思想,提出了模型检验应用于软件工程中两个不同阶段的简单模型,具体论述了模型检验技术在提高软件安全性方面的应用.

著录项

来源
《电脑编程技巧与维护》|2015年第20期|32-33|共2页
作者
平刚;
展开▼
作者单位

中国人民解放军92857部队,北京100161;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
模型检验; 软件应用; 控制流; 安全属性; 方法探究;

相似文献

中文文献
外文文献
专利

1. 食品检验准确性的影响因素及提高方法探究 [J] . 王红乐 . 粮食流通技术 . 2019,第015期
2. 食品检验准确性的影响因素及提高方法探究 [J] . 王红乐1 . 现代食品 . 2019,第015期
3. 食品检验准确性的影响因素及提高方法探究 [J] . 李可人 ,张涛 ,杨波 . 食品安全导刊 . 2019,第024期
4. 提高食品检验结果准确性的方法探究 [J] . 于佩含 . 食品安全导刊 . 2019,第27期
5. 基于故障树的雷达软件安全性检验研究 [J] . 王英 . 无线互联科技 . 2013,第003期
6. 基于模型检测的软件安全性验证方法 [C] . 王曦 ,徐中伟 ,梅萌 . 2010年第四届中国可信计算与信息安全学术会议 . 2010
7. 基于模型的软件安全性分析与研究 [A] . 晁永胜 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号