#security-datasets

共收录 1 条相关情报。

← 返回所有主题
学术论文2026-06-22 发布INFO

The EVerest Dataset for Secure Software Engineering

该论文提出 EVerest 数据集,用于支持安全软件工程中的端到端安全验证。EVerest 基于开源电动汽车充电桩软件栈,包含 84 个手动提取的安全需求(注释安全目标)、1445 个细粒度安全元素(组件、实体、数据、数据流、状态等)、验收

历史摘要 · 未重新核验 · arXiv cs.CR