The EVerest Dataset for Secure Software Engineering
该论文提出 EVerest 数据集,用于支持安全软件工程中的端到端安全验证。EVerest 基于开源电动汽车充电桩软件栈,包含 84 个手动提取的安全需求(注释安全目标)、1445 个细粒度安全元素(组件、实体、数据、数据流、状态等)、验收
共收录 1 条相关情报。
← 返回所有主题该论文提出 EVerest 数据集,用于支持安全软件工程中的端到端安全验证。EVerest 基于开源电动汽车充电桩软件栈,包含 84 个手动提取的安全需求(注释安全目标)、1445 个细粒度安全元素(组件、实体、数据、数据流、状态等)、验收