AASPE:一组用于安全性分析的建模工具(攻击树,攻击影响)和代码生成器,用于从AADL模型生成seL4平台的代码

preview
共473个文件
java:112个
png:50个
aadl:46个
需积分: 22 2 下载量 55 浏览量 2021-04-28 15:09:13 上传 评论 1 收藏 13.43MB ZIP 举报
RosieLau
  • 粉丝: 48
  • 资源: 4582
上传资源 快速赚钱
voice
center-task 前往需求广场,查看用户热搜