본문으로 건너뛰기
고급약 30분

ISO/IEC TR 24028 — AI 신뢰성의 취약점과 완화 대책을 위협-대책-시험 추적표로 만들기

신뢰성은 이해관계자의 기대를 검증 가능한 방식으로 충족하는 능력이다. TR 24028이 정리한 AI 특유의 보안·프라이버시 위협, 편향·예측 불가능성·불투명성, 명세·구현·사용 단계의 도전과 하드웨어 결함을 한쪽에, 투명성·설명 가능성·통제 가능성·강건성·기능 안전·시험과 평가 대책을 다른 쪽에 놓고, 요구사항이 없는 기술 보고서를 시험 가능한 추적표와 성적서 범위로 바꾸는 법을 다룬다.

  • #ISO24028
  • #AI신뢰성
  • #적대적공격
  • #설명가능성
  • #통제가능성
  • #위협모델

개념

이 문서가 무엇이고 무엇이 아닌가

ISO/IEC TR 24028:2020은 AI의 신뢰성(trustworthiness) 에 관한 개관 보고서다. 신뢰성을 이해관계자의 기대를 검증 가능한 방식으로 충족하는 능력으로 보는 관점에서, 신뢰에 영향을 주는 요인과 기존 접근을 넓게 정리한다.

모듈 32 레슨 7에서 TR은 요구사항이 없는 정보 제공 문서 라고 했다. 그런데 국내에서 이 문서를 기준으로 한 KOLAS 인정 사례가 있고, 여러 시험기관이 이 문서에 따른 AI 신뢰성 시험을 안내한다. 요구사항이 없는 문서로 어떻게 시험을 하는가 — 이 레슨의 답은 하나다. 문서의 목록을 위협-대책-시험 추적표로 바꾸고, 판정 기준은 의뢰자와 합의한다. 레슨 2의 판정 기준 합의서가 이 레슨에서 가장 무거워진다.

문서 구조 한눈에

 5 신뢰성에 적용 가능한 기존 틀     신뢰의 계층, 소프트웨어·데이터 품질 표준 적용, 위험 관리, 하드웨어 기반 접근
 6 이해관계자                    유형 · 자산 · 가치
 7 상위 관심사                    책임·설명책임·거버넌스, 안전
 8 취약점·위협·도전               ← 추적표의 왼쪽
 9 완화 대책                      ← 추적표의 오른쪽
10 결론
부속서 A  사회적 쟁점 관련 연구

5장이 흥미롭다. 소프트웨어·데이터 품질 표준을 신뢰성에 적용 하는 절이 따로 있다. 이 모듈의 레슨 1~3(25059·25058·4213)과 모듈 18b 레슨 7(데이터 품질 표준)이 신뢰성의 토대 층 이라는 뜻이다. 신뢰성 시험은 품질 시험을 대체하지 않고, 그 위에 AI 특유의 위협 대응을 더한다.

8장 — 무엇이 신뢰를 무너뜨리는가

8장의 항목을 성격별로 묶으면 이렇다.

AI 특유의 보안 위협(8.2)

위협요지시험 관점
데이터 오염(data poisoning)학습 데이터에 조작된 샘플을 넣어 모델 동작을 비틀기데이터 수집 경로의 무결성, 이상 샘플 탐지, 오염 주입 시 성능 변화
적대적 공격사람에게는 거의 같아 보이는 입력 섭동으로 오분류 유도섭동 예산별 공격 성공률
모델 탈취질의 응답을 모아 모델을 복제질의 속도 제한, 출력 정보량(확률값 노출) 제한
하드웨어 대상 위협부채널 등으로 기밀성·무결성 침해레슨 범위 밖 — 모듈 34 레슨 5의 물리 변조 요구와 연결

AI 특유의 프라이버시 위협(8.3) — 데이터 획득 단계, 전처리·모델링 단계, 모델 질의 단계 로 나눈다. 마지막이 AI답다. 모델에 질의하는 것만으로 학습 데이터에 특정인이 포함됐는지 추론하거나(구성원 추론), 학습 데이터 일부를 복원할 수 있다. 모듈 18b 레슨 9에서 생성형 AI의 프라이버시 위험을 봤다면, 여기서는 분류 모델을 포함한 AI 일반의 질의 기반 위협 이다.

편향(8.4) — 레슨 4의 TR 24027로 넘긴다.

예측 불가능성(8.5)과 불투명성(8.6) — 같은 입력에 대한 결과를 사전에 알기 어렵고, 왜 그런 결과가 나왔는지 설명하기 어렵다는 성질이다. 모듈 18b 레슨 5의 비결정성과 모듈 18c의 교차검증 필요성이 여기서 신뢰성 위협으로 분류된다.

명세·구현·사용 단계의 도전(8.7~8.9)

명세     AI 시스템의 요구를 완전하게 명세하기 어렵다
구현     데이터 획득·준비 / 모델링 / 모델 업데이트 / 소프트웨어 결함
사용     인간-컴퓨터 상호작용 요인 / 사람처럼 행동하는 AI 의 오용

"모델 업데이트"와 "소프트웨어 결함"이 구현 도전으로 나란히 있다는 점을 보자. AI 신뢰성 문제의 상당수는 모델이 아니라 모델을 감싼 평범한 소프트웨어의 결함 에서 온다. 전처리 코드의 버그, 모델 버전 불일치, 임계값 설정 오류. 모듈 1부터 배운 전통적 테스트가 신뢰성 시험의 절반이다.

시스템 하드웨어 결함(8.10) — 연산 장치의 오류가 결과를 바꾸는 경우. 모듈 35 레슨 1의 기능안전 관점과 이어진다.

9장 — 무엇으로 신뢰를 세우는가

9장의 완화 대책은 다음과 같다.

대책내용시험으로 확인할 것
투명성(9.2)시스템에 관한 정보의 공개레슨 1의 투명성 부특성과 같은 질문
설명 가능성(9.3)설명의 목적, 사전(ex-ante)·사후(ex-post) 설명, 접근 방식, 사후 설명의 방식, 설명 수준, 설명의 평가설명이 실제 모델 동작과 일치하는가
통제 가능성(9.4)인간 개입 지점(human-in-the-loop control points)개입 지점이 존재하고 동작하며 우회되지 않는가
편향 감소 전략(9.5)→ 레슨 4집단별 지표
프라이버시(9.6)데이터 최소화, 비식별 등질의 기반 추론 시험
신뢰성·복원력·강건성(9.7)오류 허용과 회복레슨 1의 강건성 곡선
하드웨어 결함 완화(9.8)중복, 검출—
기능 안전(9.9)안전 관련 기능의 체계적 개발모듈 35
시험과 평가(9.10)검증·확인 방법, 강건성 고려, 프라이버시 고려, 예측 가능성 고려이 표 전체의 시험 방법
사용과 적용성(9.11)규제 준수, 기대 관리, 제품 표시, 인지 과학 연구설명서·화면의 한계 표시

두 항목을 좀 더 들여다보자.

설명의 평가(9.3.7). 설명 가능성 도구는 "그럴듯한 설명"을 쉽게 만든다. 모듈 18c에서 AI가 틀린 내용도 자신 있게 설명한다 는 것을 봤다. 설명 자체가 시험 대상이어야 하는 이유다. 대표적인 확인 방법은 설명이 중요하다고 지목한 특성을 제거·교란했을 때 결과가 실제로 크게 바뀌는가 다. 설명이 지목한 특성을 지워도 결과가 그대로라면, 그 설명은 모델 동작을 설명하지 못한다.

[설명 충실도 시험]
1. 샘플 N개에 대해 설명 도구가 지목한 상위 k개 특성을 기록
2. 그 k개 특성을 중립값으로 바꿔 재추론 → 예측 변화량 Δ_explained
3. 무작위 k개 특성을 바꿔 재추론        → 예측 변화량 Δ_random
4. Δ_explained 가 Δ_random 보다 유의하게 큰가  (레슨 3 의 짝 검정)

통제 가능성 — 인간 개입 지점(9.4.2). 사람이 개입할 수 있는 지점이 설계 문서에 있는 것 과 실제로 작동하는 것 은 다르다. 레슨 1의 개입 가능성 부특성, 모듈 18c 레슨 7의 승인 게이트와 같은 질문이 여기서 반복된다. 시험은 세 가지를 본다. 개입 지점에 도달하는 경로가 있는가, 개입이 시간 안에 반영되는가, 그리고 개입 없이 자동으로 넘어가는 기본 동작 (예: 승인 대기 시간 초과 시 자동 승인)이 개입을 무력화하지 않는가.

목록을 시험으로 — 위협-대책-시험 추적표

TR에는 요구사항이 없으므로, 시험 가능한 형태로 만드는 첫 산출물은 추적표 다. 모듈 2의 요구사항 추적 매트릭스를 위협 기준으로 뒤집은 것이다.

| 위협(8장) | 이 시스템에 해당? 근거 | 대책(9장) | 구현 위치 | 시험 | 판정 기준(합의) | 결과 |
|---|---|---|---|---|---|---|
| 8.2.3 적대적 공격 | 해당 — 외부 사용자가 이미지 업로드 | 9.7 강건성 / 입력 전처리 | 추론 API 앞단 | L∞ 섭동 ε=2,4,8 공격 성공률 | ε=4 에서 성공률 ≤ 10% | |
| 8.2.4 모델 탈취 | 해당 — 확률값 응답 | 출력 정보량 제한, 속도 제한 | API 게이트웨이 | 1만 질의로 대체 모델 학습 후 일치율 | 일치율 ≤ 합의값, 속도 제한 동작 | |
| 8.3.4 질의 기반 프라이버시 | 해당 — 학습에 고객 이미지 포함 | 9.6 프라이버시 | 학습 파이프라인 | 구성원 추론 공격 정확도 | 무작위 대비 유의차 없음 | |
| 8.2.2 데이터 오염 | 부분 — 재학습에 사용자 피드백 사용 | 피드백 필터링·검수 | 재학습 파이프라인 | 오염 샘플 1% 주입 후 성능 변화 | 하락 ≤ 2%p, 오염 탐지율 | |
| 8.6 불투명성 | 해당 — 판정 근거 요구 | 9.3 사후 설명 | 결과 화면 | 설명 충실도 시험 | Δ_explained > Δ_random (p<0.05) | |
| 8.9.1 HCI 요인 | 해당 — 검수자가 AI 결과 확인 | 9.4 인간 개입 지점 | 검수 화면 | 개입 경로·지연·타임아웃 동작 | 타임아웃 시 자동 승인 없음 | |
| 8.10 하드웨어 결함 | 비해당 — 안전 기능 없음, 재시도 가능 | — | — | — | — | 비포함 근거 기록 |

둘째 열 "이 시스템에 해당? 근거" 가 추적표의 품질을 정한다. 모든 위협을 시험하는 것은 불가능하고 불필요하다. 레슨 1에서 비워 둔 칸마다 이유가 있어야 한다고 했듯이, 비해당 판정에도 근거 가 있어야 한다. 이 열은 모듈 34 레슨 3의 EN 18031 결정 트리 비적용 근거와 같은 역할을 한다.

적대적 공격 행의 판정 기준에 섭동 예산(ε) 이 들어가 있다는 점도 보자. "적대적 공격에 강건하다"는 판정은 어떤 공격자 역량에 대해서인가 가 없으면 의미가 없다. 모듈 34 레슨 5에서 IEC 62443의 보안 수준을 공격자 역량으로 정의한 것과 같은 발상이다.

성적서에 적을 수 있는 것과 없는 것

TR 24028 기반 시험 성적서의 범위 문장은 조심스러워야 한다.

적을 수 있는 것
  "ISO/IEC TR 24028:2020 8장·9장을 참조해 의뢰자와 합의한 위협 N개 항목에 대해,
   합의한 시험 방법과 판정 기준으로 시험한 결과는 다음과 같다."
 
적을 수 없는 것
  "ISO/IEC TR 24028 적합"
  "신뢰할 수 있는 AI 인증"

첫 문장은 무엇을 참조해 무엇을 어떻게 시험했는가 를 말한다. 둘째 줄들은 요구사항이 없는 문서에 대한 적합을 선언하거나, 시험을 인증처럼 표현한다. 모듈 32 레슨 6에서 "KOLAS 인정 제품"이 성립하지 않는 표현이라고 한 것과 같은 이유로 성립하지 않는다. 추적표에서 비포함으로 판정한 위협 목록 도 성적서의 한계 절에 들어가야 한다.

실무에서 왜 필요한가

"신뢰할 수 있는 AI"라는 요구는 발주서와 규제 문서에 점점 자주 등장하지만, 그 문장만으로는 무엇을 시험할지 알 수 없다. TR 24028의 8장·9장은 그 요구를 위협과 대책의 목록 으로 풀어 주고, 추적표는 그 목록을 시스템에 해당하는 것만 골라 시험 가능하게 만든다. 이 변환을 할 수 있는 사람이 AI 신뢰성 과제의 범위를 정한다.

추적표의 "해당 근거" 열은 비용을 통제한다. 모든 위협에 대한 공격 시험은 막대한 비용이 든다. 외부 사용자 입력이 없는 내부 분석 모델에 적대적 공격 시험을 요구하는 것은 낭비고, 반대로 고객 사진을 학습한 공개 API에 질의 기반 프라이버시 시험을 빼는 것은 사고의 씨앗이다.

설명 충실도 시험은 규제 대응에서 특히 값을 낸다. 설명 요구를 받는 시스템이 늘면서 설명 도구 도입이 흔해졌는데, 그 설명이 실제 모델 동작과 맞는지 확인하지 않은 채 제공되는 경우가 많다. 틀린 설명은 설명이 없는 것보다 나쁘다. 사용자와 규제 기관을 동시에 오도하기 때문이다.

실습 과제

과제 1 — 해당 판정 (15분)

아래 두 시스템에 대해 8장의 위협(보안 네 가지, 프라이버시 세 단계, 예측 불가능성, 불투명성, 명세·구현·사용 도전, 하드웨어 결함)마다 해당/부분/비해당을 판정하고 근거를 한 줄씩 적는다.

A. 사내 제조 설비의 진동 데이터로 고장을 예측하는 모델 — 외부 접근 없음, 월 1회 재학습
B. 공개 앱에서 사용자가 올린 피부 사진으로 피부 상태를 분류하는 API — 확률값 응답, 사용자 피드백으로 재학습

과제 2 — 추적표 작성 (25분)

과제 1의 시스템 B에 대해 본문 형식의 추적표를 여덟 행 이상 작성한다. 모든 해당 행에 시험 방법과 공격자 역량 또는 조건이 들어간 판정 기준 을 적는다. 판정 기준의 숫자 출처를 적을 수 없으면 "합의 필요"로 표시한다.

과제 3 — 설명 충실도 시험 설계 (15분)

신용 평가 모델에 특성 기여도 기반 사후 설명이 붙어 있다. 본문의 설명 충실도 시험을 이 모델에 맞게 설계한다. 특성을 "중립값"으로 바꾸는 방법(평균값·학습 분포 표본·결측 처리) 중 무엇을 쓸지와 그 선택이 결과에 주는 영향을 적는다.

과제 4 (선택) — 성적서 범위 문장 (10분)

과제 2의 추적표로 시험을 수행했다고 가정하고, 성적서의 시험 범위 절과 한계 절을 쓴다. 비포함 위협 목록을 한계 절에 넣는다.

자가 체크리스트

  • TR 24028이 요구사항 없는 개관 보고서라는 것과, 그런데도 시험에 쓰이는 방식을 설명할 수 있다
  • 5장이 품질 표준을 신뢰성의 토대로 다룬다는 것과 이 모듈 앞 레슨들과의 관계를 안다
  • AI 특유의 보안 위협 네 가지를 설명하고 각각의 시험 관점을 말할 수 있다
  • 프라이버시 위협을 데이터 획득·모델링·질의 단계로 나누고, 질의 기반 위협의 예를 들 수 있다
  • 명세·구현·사용 단계의 도전을 구분하고, 구현 도전에 소프트웨어 결함이 포함된다는 의미를 안다
  • 9장 완화 대책의 목록과 각 대책을 시험으로 확인하는 방법을 말할 수 있다
  • 설명의 평가가 필요한 이유와 설명 충실도 시험 절차를 설명할 수 있다
  • 인간 개입 지점 시험에서 경로·지연·기본 동작 세 가지를 확인해야 하는 이유를 안다
  • 위협-대책-시험 추적표의 열 구성과 "해당 근거" 열의 역할을 설명할 수 있다
  • 적대적 공격 판정 기준에 공격자 역량(섭동 예산)이 들어가야 하는 이유를 안다
  • TR 24028 기반 성적서에서 적을 수 있는 범위 문장과 적을 수 없는 표현을 구분할 수 있다

흔한 실수

"TR 24028 적합"이라고 적는다. 요구사항이 없는 문서에 적합은 성립하지 않는다. 참조한 항목과 합의한 기준을 적는다.

8장의 모든 위협을 시험하려 한다. 해당 판정과 근거로 범위를 좁힌다. 비해당도 근거와 함께 기록한다.

적대적 강건성을 공격 조건 없이 판정한다. 섭동 예산과 공격 방법을 판정 기준에 넣는다.

설명 도구의 출력을 검증 없이 제공한다. 설명이 모델 동작과 일치하는지 충실도 시험으로 확인한다.

인간 개입 지점을 설계 문서로만 확인한다. 실제 경로·반영 지연·타임아웃 기본 동작을 시험한다.

모델만 보고 감싼 소프트웨어를 빼먹는다. 전처리 버그·버전 불일치·임계값 설정 오류가 신뢰성 사고의 큰 몫이다.

신뢰성 시험을 품질 시험의 대체로 쓴다. 5장이 말하듯 품질 표준 적용이 토대다. 25059·4213 평가 위에 얹는다.

참고 자료

낯선 말 풀이

이 레슨에 나온 약어입니다. 본문에서도 처음 나올 때 점선으로 표시해 두었습니다 (제목과 링크 글자는 그대로 둡니다).

ISO/IEC — 국제표준화기구·국제전기기술위원회 공동 표준
두 국제 단체가 함께 낸 표준이라는 표시. 뒤에 붙는 숫자가 문서 번호다.
TR — 기술 보고서
표준 단체가 내는 문서 중, 지켜야 하는 요구가 아니라 참고용 설명에 해당하는 것.
AI — 인공지능
사람이 규칙을 일일이 적지 않아도 데이터에서 규칙을 찾아 판단하는 소프트웨어.
KOLAS — 한국인정기구
시험·검사를 하는 기관이 믿을 만한지 국가가 인정해 주는 제도. 인정받은 기관의 성적서는 공식 문서로 통한다.
EN — 유럽 표준
유럽 공통 표준 문서에 붙는 번호 앞머리.
IEC — 국제전기기술위원회
전기·전자 분야의 국제 규격을 만드는 단체.
API — 응용 프로그램 인터페이스
프로그램끼리 주고받는 창구. 사람이 화면 버튼을 누르는 대신, 프로그램이 정해진 주소로 요청을 보내 답을 받는다.
ISO — 국제표준화기구
여러 나라가 모여 "이건 이렇게 하자"를 문서로 정하는 단체. 그 문서 자체를 번호로 부른다.
PDF — 피디에프
어디서 열어도 모양이 같게 나오도록 만든 문서 형식.
KTR — 한국화학융합시험연구원
국내 공인 시험·연구 기관 중 하나.

용어집 전체 보기