위변조 방지 설계: 신뢰 루트에서 불변 감사 로그까지

디지털 전환과 함께 데이터·코드·구성 변경에 대한 위·변조 방지 요구가 커졌다. Tamper-Proofing은 완전한 "방지(Proof)"가 현실적으로 불가능하다는 전제에서 출발한다. 비인가 변경을 예방하는 Tamper-Resistant와, 불가피하게 변경이 일어났을 때 즉시 입증 가능하게 만드는 Tamper-Evident 두 속성의 조합으로 목표를 달성한다. 범위는 물리적 봉인·인클로저부터 하드웨어(TPM/HSM/TEE), 소프트웨어(서명·보안 부팅), 데이터(무결성 해시·WORM), 운영 프로세스(접근 통제·감사·키 관리)까지 전 계층에 걸친다. 신뢰 사슬은 하드웨어 신뢰 앵커와 키 관리 인프라(KMS/HSM)를 기초로 상위 계층까지 확장된다.

계층별 구성 요소

신뢰 루트와 키 관리가 맨 아래층이다. HSM·TPM·TEE가 비밀키를 보호하고 하드웨어 기원 증명을 제공하며, 오프라인 루트키·서브키 위임·임계값(Threshold) 서명으로 키 탈취 리스크를 줄인다. 키는 생성→보관→회전→폐기의 수명주기를 거치고, 이중 통제와 분리 권한, 승인 워크플로우가 뒤따른다.

그 위는 데이터 무결성과 불변 저장이다. 해시·HMAC·디지털 서명·머클 트리로 위변조를 탐지하고, 메시지 체이닝(이전 엔트리 해시를 포함)으로 로그 절단·삽입 공격을 방어한다. Append-only 저장소(WORM, Object Lock, Immutable FS)에 RFC 3161·Roughtime 같은 외부 시간스탬프를 결합하면 법적 증거력이 강화된다.

실행·부팅 무결성 층은 Secure Boot와 코드 서명으로 신뢰 경로를 확보하고, 런타임 측정(IMA)과 원격 인증(Attestation)으로 현재 상태를 증명한다. 공급망 단계의 서명(SBOM, in-toto/SLSA)은 빌드·배포 경로의 위변조를 차단한다.

접근 통제와 변경 관리는 최소 권한, JIT 접근, 분리 의무(SoD), Break-glass 정책으로 운영 리스크를 억제하고, 변경은 필수 코드 리뷰와 릴리스 승인 절차로 기록된다. OPA/Gatekeeper 같은 정책 집행 포인트가 파이프라인 단계별 준수성을 강제한다. 마지막 층은 모니터링·감사·법적 증거성이다. 불변 감사 로그, 보안 시간원, 서명·해시 체인이 비가역 기록을 만들고, 탐지 시 자동 봉쇄·알림·포렌식 워크플로우로 이어진다. 보존 정책과 보관 위치를 분리(콜드 스토리지)해 내부 위협과 재해에 대비한다.

처리 흐름과 구현 절차

⤢✕

생산자 측이 서명을 부여하고 시퀀스 번호·논스를 붙여 입력하면, 스키마·범위 검사 후 서명을 검증하고 머클·체인 해시를 갱신한다. 단일 파티션에 대해 짧은 범위 락과 원자적 커밋을 적용하며, 저장 실패 시 롤백·재시도와 티켓 자동 발행으로 이어진다. 출력은 인덱스, 체인 헤드 해시, 타임스탬프 토큰이다.

구현 절차는 자산·위협 모델링(STRIDE 기반, 변조 목표·공격자 능력·감당 가능 비용 정의)에서 시작해, 키 관리 설계(루트 오프라인, HSM 보호, 90일 회전 주기, 임계값 서명, 하드웨어 난수원)로 이어진다. 데이터 경로는 생산자 서명 의무화, 소비자 검증 필수화, 중간자 무대신 저장 금지를 원칙으로 하고, 감사·보존은 WORM/ObjectLock에 주 1회 공용 체인 앵커링 같은 외부 타임스탬프를 결합한다. 운영 단계에서는 검증 지연·실패율 SLO, 경보 기준과 대응 런북, 주기적 재검증 Job과 샘플 포렌식 드릴을 갖춘다.

기술 선택 비교

접근	성능	확장성	일관성	안정성	운영 편의
HSM 서명	중~고, 네트워크 HSM 지연 존재	수평 확장 가능, 키 파티셔닝 필요	강한 암호적 무결성	높은 키 보호	키 수명주기 관리 부담
TPM/TEE 인증	중, 디바이스 리소스 의존	디바이스 수 증가에 비례	상태 증명 강함	펌웨어/드라이버 민감	이식성/드라이버 복잡
WORM/Object Lock	고, 쓰기 지연 낮음	매우 높음(오브젝트 스토리지)	불변성 강함	재해복구 용이	보존 기간 변경 제약
블록체인 원장	낮~중, 합의 지연	합의 알고리즘에 의존	강한 변경 불가성	포크/운영 복잡	운영·비용 부담
Immutable OS/FS	중	노드 단위 확장	구동 시 일관성 강함	롤백 용이	업데이트 워크플로우 필요

실무에서는 이렇게 조합된다

금융 거래 원장은 메시지 서명과 카프카 단일 파티션 체인 해시를 WORM 백업과 결합하고, 결산 배치 때 외부 타임스탬프를 앵커링한다. 의료 EMR·영상은 Object Lock 보존과 해시 매니페스트·서명으로 e-Discovery 대응 로그를 만든다. IoT 펌웨어는 Secure Boot와 이미지 서명, 원격 측정 인증으로 무단 바이너리 배포를 막는다. 소프트웨어 공급망은 Sigstore/Cosign 서명, SLSA 레벨 기반 빌드·배포 증적, in-toto 레이아웃 검증을 쓴다. 클라우드 운영에서는 IaC 정책 게이팅(OPA), 관리자 JIT 접근, 사유 코드가 남는 불변 감사 로그가 표준이다.

체인형 불변 로그 구현 예시

전제조건은 Python 3.9 이상, 표준 라이브러리만 사용한다. 데모 목적이며 실제 운영에서는 HSM/KMS 키 관리가 필요하다.

# file: tamper_log.py
import hmac, hashlib, json, os, time
from typing import Optional

ALG = "sha256"

class TamperLog:
    def __init__(self, path: str, secret: bytes):
        self.path = path
        self.secret = secret
        os.makedirs(os.path.dirname(path), exist_ok=True)
        if not os.path.exists(path):
            with open(path, "w") as f:
                pass

    def _prev_hash(self) -> str:
        last = ""
        with open(self.path, "rb") as f:
            for line in f:
                last = line
        if not last:
            return "0"*64
        rec = json.loads(last)
        return rec["chain_hash"]

    def append(self, payload: dict) -> dict:
        ts = int(time.time() * 1000)
        prev = self._prev_hash()
        body = json.dumps({"ts": ts, "data": payload}, separators=(",", ":"), sort_keys=True)
        mac = hmac.new(self.secret, body.encode(), ALG).hexdigest()
        chain = hashlib.sha256((prev + mac).encode()).hexdigest()
        rec = {"ts": ts, "data": payload, "hmac": mac, "prev_hash": prev, "chain_hash": chain}
        line = json.dumps(rec, separators=(",", ":"), sort_keys=True)
        with open(self.path, "a") as f:
            f.write(line + "\n")
        return {"index_hash": chain, "ts": ts}

    def verify_all(self) -> Optional[int]:
        prev = "0"*64
        with open(self.path, "r") as f:
            for i, line in enumerate(f, start=1):
                rec = json.loads(line)
                body = json.dumps({"ts": rec["ts"], "data": rec["data"]},
                                  separators=(",", ":"), sort_keys=True)
                mac = hmac.new(self.secret, body.encode(), ALG).hexdigest()
                if mac != rec["hmac"]:
                    return i
                if rec["prev_hash"] != prev:
                    return i
                chain = hashlib.sha256((prev + mac).encode()).hexdigest()
                if chain != rec["chain_hash"]:
                    return i
                prev = chain
        return None

if __name__ == "__main__":
    secret = os.environ.get("TPL_SECRET", "dev-secret").encode()
    log = TamperLog("./data/audit.log", secret)
    log.append({"event": "user_login", "user": "alice", "ip": "10.0.0.3"})
    log.append({"event": "role_change", "user": "alice", "role": "admin"})
    idx = log.verify_all()
    print("Verification:", "OK" if idx is None else f"Failed at line {idx}")

TPL_SECRET 환경변수로 키를 지정해 실행하며, 위변조가 있으면 verify_all이 실패 라인을 반환한다. 실제 운영에서는 키 보관을 HSM/KMS로 옮기고, 시간 무결성 확보를 위해 외부 시간스탬프를 추가하며, 대용량 환경에서는 파티션 롤링과 병렬 검증을 설계해야 한다.

용량과 성능은 이렇게 어림잡는다

이벤트 1KB, Ed25519 서명 64B, 체인 해시 32B, 메타데이터 64B를 가정하면 1건 저장 크기는 약 1,160B(1,000+64+32+64)다. 하루 100만 건이면 약 1.16GB, 1년이면 약 423GB이고 3복제(Object Storage) 시 비용은 3배가 된다. Ed25519 검증 지연은 건당 60100μs 수준(최신 정보 확인 필요)으로, 단일 스레드 10K QPS를 목표로 하면 812 vCPU가 필요할 것으로 추정되며 배치 검증 병렬화가 권장된다.

운영에서의 트레이드오프

키 관리는 오프라인 루트와 온라인 서브키, 회전 자동화, 임계값 서명을 적용하되 성능과 암호 강도, HSM 비용과 리스크 저감 사이에서 균형을 잡아야 한다. 로그 불변성은 전체 불변으로 갈지 필드 수준 암호화·토큰화로 갈지가 포렌식 가치와 저장 비용·프라이버시 규제 사이의 선택이다. 시간 신뢰성은 내부 NTP 계층화에 외부 Roughtime을 이중화하는 방식이 정밀도와 복잡성의 트레이드오프를 만든다. 경보 임계값은 낮추면 오탐이 늘고 높이면 탐지가 늦어지므로 단계적 에스컬레이션과 샘플 포렌식을 병행해야 하고, WORM·락은 운영 유연성을 제한하므로 변경 승인·롤백 계획으로 중단 리스크를 완화해야 한다.

키 관리·무결성 검증·불변 저장·감사·운영 프로세스를 아우르는 종합 설계 과제가 Tamper-Proofing이다. 신뢰 루트 확립과 엔드투엔드 검증 자동화로 최소 기능부터 단계 도입하는 편이 현실적이며, 로그 체인·WORM·서명·타임스탬프를 표준 구성으로 채택하면 감사 소요 시간이 환경에 따라 50% 이상 단축되는 효과가 보고된다. 위협 모델에 맞춘 트레이드오프 최적화가 관건이다.