Enterprise 에디션

Forensics — 심층 참조

한눈에 보기

이 심층 참조는 리비전이 어떻게 경계 지어지는지, 객체 변경이 리비전 체인 전반에서 어떻게 분류되는지, 이벤트가 어떻게 그룹화되는지를 문서화합니다.

가용성 및 라이선싱

이 기능은 NextPDF Enterprise(nextpdf/enterprise)에 포함되어 있으며 Enterprise 등급 라이선스 엔벨로프로 활성화됩니다. 해당 엔타이틀먼트가 없는 배포에서는 이 기능의 클래스가 로드되지 않습니다. 에디션을 비교하고 라이선스를 받으십시오.

분석기는 읽기 전용이며 입력을 수정하지 않습니다.

동작 계약

ForensicAnalyzer::analyze는 모든 상호 참조 섹션을 파싱하고, 리비전별 바이트 경계(시작, 끝, 크기)를 도출하며, 리비전별 요약을 빌드합니다. 그런 다음 가장 최신 리비전에서 가장 오래된 리비전 방향으로 탐색하면서, 각 리비전에 대해 그 상호 참조 항목을 다음으로 오래된 리비전과 비교합니다.

지금은 존재하지만 더 오래된 리비전에는 없으며 자유(free) 항목이 아닌 객체는 Added로 분류됩니다.
지금은 자유 항목이지만 이전에는 자유가 아니었던 객체는 이전 리비전이 기록되며 Deleted로 분류됩니다.
두 리비전 모두에서 활성이지만 바이트 오프셋이 다른 객체는 이전 리비전이 기록되며 Modified로 분류됩니다.

객체 변경은 리비전별로 이벤트로 그룹화됩니다. 더 오래된 리비전에서는 서명되지 않았던 서명 리비전은 SignatureAdded를 산출하고, 루트 업데이트는 CatalogUpdated를 산출하며, 나타나는 암호화 딕셔너리는 EncryptionChanged를 산출합니다. 그리고 추가, 수정, 삭제된 객체 집합은 그에 대응하는 객체 이벤트를 산출합니다. 서명 존재는 구조적 휴리스틱입니다 (트레일러의 문서 보안 저장소 항목). 이는 존재 탐지이지 검증이 아니며, 무결성에 대한 변조 방지 판정이 아닙니다.

업데이트의 상호 참조 섹션은 해당 업데이트에서 추가, 수정, 삭제된 객체만 나열합니다(ISO 32000-2:2020 §7.5.5). 변경된 객체는 새 사본으로 추가되며 그 오프셋이 더 오래된 것을 재정의합니다(§7.5.6). 문서 보안 저장소는 이후 리비전에 나타날 수 있습니다(§12.8.4).

공개 API 표면

NextPDF\Enterprise\Forensics\ForensicAnalyzer, NextPDF\Enterprise\Forensics\ForensicReport, NextPDF\Enterprise\Forensics\RevisionSummary, NextPDF\Enterprise\Forensics\ForensicEvent, NextPDF\Enterprise\Forensics\ForensicEventType, NextPDF\Enterprise\Forensics\ObjectChange, NextPDF\Enterprise\Forensics\ObjectChangeType. 시그니처는 공개 페이지에 나열되어 있습니다.

적합성

이 분류는 ISO 32000-2:2020 §7.5.5–§7.5.6의 증분 업데이트 모델을 반영합니다. 분석기는 파서가 본 체인의 모습을 보고합니다. 무결성을 인증하지 않으며 그 자체로 법정에서 증거능력을 갖지 않습니다.

엣지 케이스 및 FIPS 모드 동작

Deleted 분류는 자유 항목으로의 전환입니다. 객체의 더 오래된 사본이 여전히 해석 가능할 수 있습니다. 복구 불가능성을 보장하지 않습니다.
트레일러 정보는 안전한 키 집합으로 필터링됩니다. 민감한 키는 값을 노출하지 않고 존재함으로 표시됩니다.
이 모듈에서는 어떠한 암호화 연산도 일어나지 않으므로 FIPS 모드별 동작이 없습니다.

공개 경계

이 페이지는 외부에서 관찰 가능한 동작과 지원되는 공개 API 표면만을 문서화합니다. 내부 네임스페이스 경로, 헬퍼 클래스, 메커니즘 표, 런북 파일명, 티켓 접두사는 범위 밖입니다.

Core 폴백

NextPDF Core(Apache-2.0)에는 리비전 이력 포렌식 분석기가 없습니다 — 없음. 이 기능에는 Core 등급에 해당하는 것이 없습니다. Core는 권위 있는 서명 검증 표면을 제공하며, 분석기는 이를 조합하되 대체하지 않습니다.

Pro 폴백

NextPDF Pro에는 리비전 이력 포렌식 분석기가 없습니다 — 없음. 이 기능에는 Pro 등급에 해당하는 것이 없습니다. 객체별 변경 분류와 JSON 직렬화 가능한 보고서는 nextpdf/enterprise 패키지에만 포함됩니다.

Enterprise 경계 참고

리비전 경계 도출, 객체 변경 분류 규칙, 이벤트 타임라인 그룹화는 동작 수준에서 설명됩니다. 서명 존재는 구조적 휴리스틱일 뿐입니다. 서명 유효성은 의도적으로 여기서 범위 밖입니다 — 이는 Core 서명 표면의 책임입니다. 트레일러 정보는 안전한 키 집합으로 필터링되며 민감한 키는 값을 노출하지 않고 존재함으로 표시됩니다.

배포 경계

분석은 PDF를 보유한 호스트에서 인프로세스로 실행됩니다. 문서 콘텐츠는 호스트를 떠나지 않습니다. 입력 PDF나 보고서가 개인 데이터를 포함하는지, 그리고 각각이 어디에 저장되는지는 라이브러리 경계 밖의 배포 책임입니다. 운영자는 보고서로부터 결론을 도출합니다. 라이브러리는 파서가 본 리비전 체인의 모습을 보고하며 무결성을 인증하지 않습니다.

법적 준수 경계

이 표면에는 수출 통제 제한이 적용되지 않습니다. 보고서는 그 자체로 법정에서 증거능력을 갖지 않으며 문서 무결성에 대한 인증된 판정으로 제시되어서는 안 됩니다. 이 참조는 법률 의견이 아닙니다.