보안 소프트웨어 공학을 위한 EVerest 데이터셋
요약
EVerest 소프트웨어 스택을 기반으로 요구사항, 아키텍처, 코드를 아우르는 엔드 투 엔드 보안 검증용 멀티 아티팩트 데이터셋을 제안합니다. 보안 목표와 세밀한 레이블이 포함된 이 데이터셋은 보안 요구사항 분류 및 설계/코드 수준의 보안 검증 연구를 지원합니다.
핵심 포인트
- 요구사항, 아키텍처, 소스 코드를 통합한 멀티 아티팩트 데이터셋 제공
- 84개의 보안 요구사항 및 1,445개의 세밀한 보안 요소 포함
- 보안 요구사항 분류 및 아키텍처 추적 연결 연구에 최적화
- 실제 보안 약점(CWE-1295) 발견 및 수정 사례 포함
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv Codex (cs.SE)의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기