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

preview
共473个文件
java:112个
png:50个
aadl:46个
需积分: 22 2 下载量 177 浏览量 2021-04-28 15:09:13 上传 评论 1 收藏 13.43MB ZIP 举报