처음이어도 괜찮아요 · 그림부터 시작해요
SLSA provenance claim의 version과 한계를 명시한다
SLSA 1.2 provenance predicate·builder·buildType·materials·subject를 검증하고 claim version과 충족하지 않은 level/requirement를 명시한다. 이를 생략하면 provenance JSON이나 badge 하나를 보고 SLSA level 전체, semantic correctness 또는 secure build를 주장한다. 상황에서도 데모는 보일 수 있지만 제품·검증·운영 책임을 방어할 수 없습니다.
아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.01 · 가볍게 시작하기
정답을 보기 전에 먼저 골라볼까요?
cp53 frozen synthetic fixture · fixed clock/UTC · outbound deny · secret-like sentinel · one independent mutant- 1먼저 골라보기
틀려도 괜찮아요. 지금 생각한 답 하나를 정해요.
- 2그림으로 확인하기
움직이는 순서와 달라지는 곳만 천천히 찾아요.
- 3내 말로 다시 말하기
한 문장으로 말해 보면 내가 이해한 곳을 확인할 수 있어요.
02 · 그림으로 보기
그림이 움직이는 순서를 직접 확인해요
- 01관찰SLSA 1.2 · provenance · builder identity · materials
- 02추론SLSA 1.2 provenance predicate·builder·buildType·materials·subject를 검증하고 claim version과 충족하지 않은 level/requirement를 명시한다. predicate/version validation·builder/material/subject checks·supported/unsupported claim ledger는 provenance JSON이나 badge 하나를 보고 SLSA level 전체, semantic correctness 또는 secure build를 주장한다.를 포함한 정상·경계·실패 실행에서 독립적으로 다시 계산할 수 있어야 한다. SLSA provenance claim의 version과 한계를 명시한다은 AI-off 기준선을 먼저 봉인하고 AI 제안 diff를 검토한 뒤, AI가 보지 못한 mutant로 재검증하고 사람이 승인·수정·거절한다. release artifact가 어떤 source와 build process에서 나왔는지 설명로 전이할 때 구현보다 contract·effect boundary·evidence owner·residual risk를 먼저 보존한다.
- 03검증SLSA provenance claim의 version과 한계를 명시한다의 contract·owner·normal/boundary/failure outcome을 AI 없이 먼저 고정한다. provenance JSON이나 badge 하나를 보고 SLSA level 전체, semantic correctness 또는 secure build를 주장한다.를 frozen synthetic fixture로 재현하고 최초 divergence와 expected verdict를 설명한다. AI 제안은 baseline과 diff로만 검토하고 독립 mutant에서 SLSA provenance statement의 필수 identity와 과장 claim을 검사하는 verifier를 구현한다.을 다시 실행한다. predicate/version validation·builder/material/subject checks·supported/unsupported claim ledger와 사람의 accept·refactor·reject 판정 및 residual risk를 함께 제출한다.
처음 보는 말도 책 읽듯 풀어봐요
이 수업은 쉬운 뜻과 생활 예를 아직 함께 준비하지 못했어요. 설명 없는 정확한 이름은 먼저 보여 주지 않을게요.
그림에서 찾을 쉬운 규칙
- 01SLSA 1.2 provenance predicate·builder·buildType·materials·subject를 검증하고 claim version과 충족하지 않은 level/requirement를 명시한다.
- 02predicate/version validation·builder/material/subject checks·supported/unsupported claim ledger는 provenance JSON이나 badge 하나를 보고 SLSA level 전체, semantic correctness 또는 secure build를 주장한다.를 포함한 정상·경계·실패 실행에서 독립적으로 다시 계산할 수 있어야 한다.
- 03SLSA provenance claim의 version과 한계를 명시한다은 AI-off 기준선을 먼저 봉인하고 AI 제안 diff를 검토한 뒤, AI가 보지 못한 mutant로 재검증하고 사람이 승인·수정·거절한다.
- 04release artifact가 어떤 source와 build process에서 나왔는지 설명로 전이할 때 구현보다 contract·effect boundary·evidence owner·residual risk를 먼저 보존한다.
03 · 같이 풀어보기
한 단계씩 따라가면 어렵지 않아요
release artifact가 어떤 source와 build process에서 나왔는지 설명의 축소된 product slice에서 SLSA provenance claim의 version과 한계를 명시한다 release 판단을 수행한다.
cp53 frozen synthetic fixture · fixed clock/UTC · outbound deny · secret-like sentinel · one independent mutant04 · 이제 내가 해볼 차례
여기까지 오면 이런 일을 할 수 있어요
SLSA provenance statement의 필수 identity와 과장 claim을 검사하는 verifier를 구현한다.을 수행하고 predicate/version validation·builder/material/subject checks·supported/unsupported claim ledger로 SLSA 1.2 provenance predicate·builder·buildType·materials·subject를 검증하고 claim version과 충족하지 않은 level/requirement를 명시한다.을 독립 검증한다.
- SLSA provenance claim의 version과 한계를 명시한다의 contract·owner·normal/boundary/failure outcome을 AI 없이 먼저 고정한다.
- provenance JSON이나 badge 하나를 보고 SLSA level 전체, semantic correctness 또는 secure build를 주장한다.를 frozen synthetic fixture로 재현하고 최초 divergence와 expected verdict를 설명한다.
- AI 제안은 baseline과 diff로만 검토하고 독립 mutant에서 SLSA provenance statement의 필수 identity와 과장 claim을 검사하는 verifier를 구현한다.을 다시 실행한다.
- predicate/version validation·builder/material/subject checks·supported/unsupported claim ledger와 사람의 accept·refactor·reject 판정 및 residual risk를 함께 제출한다.
05 · 자주 헷갈리는 지점
틀린 답도 이유를 알면 다음에는 맞힐 수 있어요
01provenance가 있으면 SLSA 최고 level을 달성한 것이다.
한 번 더 생각해 볼 질문cp53 SLSA provenance claim의 version과 한계를 명시한다에서 이 주장을 깨는 최소 반례와 관찰 가능한 판정값을 쓰세요.
이렇게 고쳐 생각해요SLSA 1.2 provenance predicate·builder·buildType·materials·subject를 검증하고 claim version과 충족하지 않은 level/requirement를 명시한다.
02materials 목록은 dependency SBOM과 완전히 같은 역할이다.
한 번 더 생각해 볼 질문cp53 SLSA provenance claim의 version과 한계를 명시한다에서 이 주장을 깨는 최소 반례와 관찰 가능한 판정값을 쓰세요.
이렇게 고쳐 생각해요provenance JSON이나 badge 하나를 보고 SLSA level 전체, semantic correctness 또는 secure build를 주장한다.는 성공 출력과 별도로 재현하고 최초 위반 지점에서 차단해야 한다.
03AI가 provenance를 생성하면 builder trust를 별도 검증할 필요가 없다.
한 번 더 생각해 볼 질문cp53 SLSA provenance claim의 version과 한계를 명시한다에서 이 주장을 깨는 최소 반례와 관찰 가능한 판정값을 쓰세요.
이렇게 고쳐 생각해요predicate/version validation·builder/material/subject checks·supported/unsupported claim ledger와 독립 mutant·human verdict가 함께 있어야 승인 범위를 설명할 수 있다.
06 · 더 궁금할 때만 보기
선생님과 검토자를 위한 믿을 만한 원문
원문과 어디까지 참고했는지 펼쳐 보기처음 배우는 동안에는 열지 않아도 괜찮아요.
artifact·SBOM attestation 생성과 gh attestation verify. 검증하지 않은 attestation은 보안 이득이나 artifact 안전성 증명이 아니다.
component·service·dependency·lifecycle inventory를 가진 M12 core SBOM. SBOM은 vulnerability-free 증명이나 license 판정 자체가 아니다.
build provenance와 level requirement를 현재 표준으로 학습한다. GitHub의 v1.0 Build L2/L3 설명을 v1.2 달성으로 바꾸지 않는다.