采用模型检测器的软件安全模型验证方法

陈峰; 李伟华; 陈昊; 吕正

您当前的位置：

首页 >

文章列表页 >

采用模型检测器的软件安全模型验证方法

更新时间：2025-07-09

- 采用模型检测器的软件安全模型验证方法
- 暂无标题
- 西安交通大学学报 2011年第2期页码：15-20
- 作者机构：
  
  1. 西北工业大学计算机学院
  2. 西北大学信息科学与技术学院
- 作者简介：
- 基金信息：
  
  国家自然科学基金资助项目(60803150,60803151),国家自然科学基金委员会-广东联合基金重点资助项目(U0835004);国家高技术研究发展计划资助项目(2008AA01Z411);陕西省自然科学基金资助项目(2009jm8012);陕西省教育厅自然科学专项资助项目(09JK736);陕西省科技攻关资助项目(2009k08-04)
- DOI：
  中图分类号： TP311.52
- 纸质出版：2011
- 稿件说明：
移动端阅览
陈峰, 李伟华, 陈昊, 等. 采用模型检测器的软件安全模型验证方法[J]. 西安交通大学学报, 2011,(2):15-20.
陈峰, 李伟华, 陈昊, 等. 采用模型检测器的软件安全模型验证方法[J]. 西安交通大学学报, 2011,(2):15-20. DOI：

DOI：

摘要

针对软件开发过程中安全性分析与设计不足的问题

在研究现有软件安全性建模及形式化验证技术的基础上

提出了一种适用于面向对象的软件安全性建模与验证方法.建立软件安全属性的非形式化UML模型

采用安全扩展有限自动机创建其形式化模型

并使用线性时序逻辑描述安全属性

将形式化模型与安全属性共同作为模型检测器的输入

得到模型是否满足性质的验证结果

从而实现了软件安全设计与验证技术的有机结合.实验结果表明

该方法能够在软件设计初期对所涉及的安全性进行有效分析与验证.

Abstract

关键词

Keywords

references

{"db_type":"CJFDREF","db_name":"期刊","reference_articles":[{"unit":"计算机学报","flag":"[J]","issue":"04","year":2009,"author":"程亮;张阳","index":1,"title":"基于UML和模型检测的安全模型验证方法"},{"unit":"计算机科学","flag":"[J]","issue":"07","year":2004,"author":"江泽凡;王林章;李宣东;郑国梁","index":2,"title":"基于UML顺序图的测试方法"}],"articles_count":2}

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

面向服务软件中异常处理的形式化建模方法

融合物理信息与深度算子网络的变压器绕组热-流场快速计算方法

冷库水平空气幕热湿阻隔性能数值模拟研究

采用试验设计方法的第三代CO2气体箔轴承箔片几何参数敏感性分析

电动车辆间接热系统快速除湿响应迟滞机理及优化控制策略