软件安全分析的有穷自动机模型

• 作者: 李伟华 陈峰
• 来源期刊: 西北大学学报（自然科学版）
• 学科: 工学
• 关键词: 软件安全分析 UML安全扩展 确定有限自动机 形式化建模
• 年，卷（期）: 2011,（1）
• 页码范围: 22-26
• 分类号: TP311
• 字数: 4559字
• 语种: 中文

摘要

目的 为在软件设计与开发早期阶段对软件安全模型进行有效分析和验证.方法 软件安全分析验证法与形式化建模方法.结果 提出了一种安全扩展确定有限自动机(safety extended deterministic finite automata,SEDFA).在使用UMLsec建立软件安全相关的非形式化模型基础上,通过SEDFA准确的描述能够表达安全交互的序列图.首先创建序列图中单个对象的自动机,其次构造对象积自动机,从而得到表示系统整体交互的SEDFA.结论 为系统安全属性的验证提供了基础,可作为下一步生成软件安全测试用例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈峰	西北工业大学计算机学院	83	358	12.0	16.0
3	李伟华	西北工业大学计算机学院	167	1420	17.0	30.0