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

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2025-07-09

- 采用模型检测器的软件安全模型验证方法
- Issue 2, Pages: 15-20(2011)
- 作者机构：
  
  1. 西北工业大学计算机学院
  2. 西北大学信息科学与技术学院
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311.52
- Published：2011
- 稿件说明：
移动端阅览
[J]. 2011, (2): 15-20.
DOI：

[J]. 2011, (2): 15-20. 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}

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

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

A Fast Calculation Method for Thermal Flow Fields in Transformer Windings Based on PI-DeepONet

I/O Performance Modeling and Prediction Method for Large-Scale Parallel Applications Using Machine Learning

Integrated and Joint Design Optimization of Centrifugal Compressor Impeller and Casing Treatment at Multiple Working Points

Effects of Steam Addition on the Swirl Combustion and Emission Characteristics of Cracked Ammonia

Related Author

蒋曹清

应时

文静

贾向阳

王一兵

Related Institution

武汉大学软件工程国家重点实验室

广西财经学院信息与统计学院

第二炮兵指挥学院三系

⁰