基于AADL的系统脆弱性模型设计方法.pdfVIP

  • 6
  • 0
  • 约1.85万字
  • 约 18页
  • 2023-06-06 发布于四川
  • 举报
本发明涉及一种基于AADL的系统脆弱性模型设计方法,在软件架构模型的基础上建立访问控制策略,进行系统脆弱性建模,提升了AADL的建模能力。该方法以AADL附录扩展的形式,提出一种AADL附录子语言实现脆弱性建模。其步骤为:(1)建立系统架构模型;(2)建立系统脆弱性模型,包括设计访问控制策略,建立脆弱性模型附录库和脆弱性模型附录子句;(3)将架构模型和脆弱性模型进行集成,得到包含脆弱性模型的系统模型。该方法在软件设计阶段建立系统脆弱性模型,将架构模型和访问控制结合起来,描述软件系统构件间的访问控

(19)中华人民共和国国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 112764722 A (43)申请公布日 2021.05.07 (21)申请号 202110076365.2 (22)申请日 2021.01.20 (71)申请人 西北工业大学 地址

文档评论(0)

1亿VIP精品文档

相关文档