没有合适的资源?快使用搜索试试~ 我知道了~
AASPE:一组用于安全性分析的建模工具(攻击树,攻击影响)和代码生成器,用于从AADL模型生成seL4平台的代码
共473个文件
java:112个
png:50个
aadl:46个
需积分: 22 2 下载量 177 浏览量
2021-04-28
15:09:13
上传
评论 1
收藏 13.43MB ZIP 举报
温馨提示
自动确保安全策略执行(AASPE) 关于工具 AASPE工具旨在用于制造安全可靠的安全关键系统。 这些工具正在使用AADL和OSATE工具集。 它提供以下功能: 攻击影响元模型 Attack Impact图形编辑器 攻击树编辑器元模型 攻击树图形编辑器 从攻击影响到攻击树的桥梁 从AADL到攻击影响的桥梁 安装工具 逐步版本 步骤1:下载并安装OSATE 进入OSATE并下载。 将产品解压缩到笔记本电脑上。 步骤2:启动OSATE 安装OSATE后,双击可执行文件以启动它。 步骤3:安装安全工具 在“帮助”菜单中,选择“安装新组件”,如下所示。 选择实验性网站一旦显示了可用组件的列表,请选择AASPE工具,如下所示。 接受许可证,确认并重新启动OSATE。 TL; DR版本 要安装工具,可以使用更新站点,然后选择要在Eclipse中安装的工具。 使用的更新站点。 实验性功能的UR
资源推荐
资源详情
资源评论
收起资源包目录
AASPE:一组用于安全性分析的建模工具(攻击树,攻击影响)和代码生成器,用于从AADL模型生成seL4平台的代码 (473个子文件)
prius.aadl 23KB
security_theorems.aadl 19KB
missionboard.aadl 14KB
security-theorems-mnam.aadl 11KB
security_emv2.aadl 10KB
jeepISOLA.aadl 7KB
security_r7.aadl 5KB
jeep.aadl 5KB
security_properties.aadl 5KB
automotive-system.aadl 5KB
aircraft.aadl 4KB
beaglebone-serial.aadl 4KB
security_cwe805.aadl 4KB
software.aadl 3KB
integration.aadl 3KB
integration.aadl 3KB
adsb.aadl 2KB
ping-pong-event.aadl 2KB
datatypes.aadl 2KB
security_r3.aadl 2KB
ife.aadl 2KB
ping-pong.aadl 2KB
drone.aadl 2KB
library.aadl 2KB
two-tasks.aadl 2KB
software.aadl 2KB
library.aadl 2KB
security_r5.aadl 1KB
security_r6.aadl 1KB
datamodel.aadl 1KB
security_r4.aadl 1KB
ground.aadl 1KB
security_r0.aadl 1KB
hello-world.aadl 1KB
security_r2.aadl 1KB
security_cwe311.aadl 892B
security_r1.aadl 885B
security_cwe131_timing.aadl 866B
security_cwe131_queues.aadl 710B
security_cwe362.aadl 678B
eicas.aadl 580B
fms.aadl 509B
platform.aadl 404B
cmdboard.aadl 368B
wireless-access.aadl 254B
satcom.aadl 236B
.aadlsettings 75B
router.attackimpact 986B
webserver.attackimpact 424B
medical-device.attacktree 1KB
television.attacktree 888B
serial-mgmt.c 14KB
serial-mgmt.c 14KB
utils.c 2KB
filter.c 2KB
serial-driver.c 1KB
serial.c 1KB
navigation.c 435B
missiondata.c 302B
ping.c 212B
boo.c 204B
hello.c 68B
Activator.class 878B
.classpath 1KB
.classpath 416B
.classpath 416B
.classpath 369B
.classpath 369B
.classpath 369B
.classpath 369B
.classpath 369B
.classpath 369B
.classpath 369B
.classpath 369B
.classpath 369B
.classpath 369B
.classpath 369B
.classpath 328B
.classpath 304B
.classpath 304B
attackimpact.ecore 4KB
attacktree.ecore 3KB
vulnerability.exsd 3KB
propagation.exsd 3KB
attacktree.genmodel 4KB
attackimpact.genmodel 4KB
NewAttackTree.gif 2KB
NewAttackImpact.gif 2KB
AttackTreeModelFile.gif 346B
AttackImpactModelFile.gif 346B
CreatePropagation_source_Node.gif 223B
CreateModel_nodes_Node.gif 223B
CreateNode_relatedObject_Vulnerability.gif 223B
CreateNode_relatedObject_Node.gif 223B
CreateNode_relatedObject_Model.gif 223B
CreateNode_vulnerabilities_Vulnerability.gif 223B
CreatePropagation_destinations_Node.gif 223B
CreateVulnerability_propagations_Propagation.gif 223B
CreateNode_propagations_Propagation.gif 223B
CreateNode_relatedObject_Propagation.gif 223B
共 473 条
- 1
- 2
- 3
- 4
- 5
资源评论
RosieLau
- 粉丝: 48
- 资源: 4582
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 基于 JavaWeb+Mysql 实现的企业门户网站
- 基于 Javaweb+Oracle 实现的 仿360buy/京东商城源码
- 基于 Javaweb+Sqlserver 实现的大学生求职就业网
- 技术资料分享MP3202非常好的技术资料.zip
- 技术资料分享MP1541非常好的技术资料.zip
- 技术资料分享mp1482非常好的技术资料.zip
- 基于JAVAWEB+Mysql 实现的校园订餐系统项目
- 技术资料分享MAX811T非常好的技术资料.zip
- 基于javaweb+Mysql 实现的物流配货项目
- 技术资料分享KXTE9-2050 Specifications Rev 3非常好的技术资料.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功