별빛이 허락하지 않은 복사

권미정 · 54세 · 여 · 시립 천체투영관 운영책임자

여 · 짧은 회색 곱슬머리 · 무안경 · 수염 없음 · 남색 가디건/아이보리 블라우스

직접 기획한 미공개 별자리 해설 원본의 외부 복사를 누구에게도 허락하지 않았다. 인명 피해는 없으며 정상 예행 송출은 허용했다.

동시 검수 규칙

열 회선의 0·1 상태를 네 검수기가 동시에 읽는다. 연산·상태표와 검수식은 이 단서와 각 기록 이미지에 공개돼 있다.

【동시 검수의 공개 규칙】 변수: A B C D E F G H I J 각 회선은 접속(1) 또는 단절(0)이다. 열 회선의 상태는 서로 독립적으로 어느 쪽도 가능하며, 켜짐 수 제한은 없다. 같은 상태를 네 검수기가 동시에 읽었고, 사건 요청이 처리될 때까지 상태는 바뀌지 않았다. OR(X,Y)는 적어도 하나가 1이면 1, AND(X,Y)는 둘 다 1일 때만 1, XOR(X,Y)는 서로 다를 때만 1이다. 00·01·10·11에 대한 출력은 OR=0·1·1·1, AND=0·0·0·1, XOR=0·1·1·0이다. XOR(X,Y,Z)는 XOR(XOR(X,Y),Z)다. 괄호 안부터 계산한다. 각 식의 값은 참·거짓을 나타내며 연결 수를 세지 않는다. 각 검수기는 왼쪽·가운데·오른쪽 식의 출력 x,y,z를 한 개의 상태번호로 기록한다. 세 식은 동시 질의이며 시간 순서가 아니다. 상태표: 000=0, 100=1, 010=2, 110=3, 001=4, 101=5, 011=6, 111=7. 상태번호는 회선 상태 자체가 아니다. 1·2·4는 검수기 표시 번호의 가중치다. 검수식 R1: XOR(A,B,J) | XOR(OR(J,F),AND(A,B)) | XOR(OR(B,F),AND(H,J)) 검수식 R2: XOR(D,I,J) | XOR(OR(G,A),AND(I,B)) | XOR(OR(C,G),AND(J,H)) 검수식 R3: XOR(D,F,H) | XOR(OR(E,F),AND(I,G)) | XOR(OR(D,G),AND(A,E)) 검수식 R4: XOR(C,G,I) | XOR(OR(D,I),AND(G,F)) | XOR(OR(B,E),AND(C,J)) 네 검수식과 상태표는 모두 여기 공개돼 있다. R1~R4는 별도의 독립 검수기가 각각 남긴 상태번호 한 개이며, 번호의 출력 위치나 검수식에는 오류가 없다.

인증 전달표와 유출 감사

인증은 두 시작점으로 모두 전달된다. 원본·외부 허가를 합쳐 쓰되, 차단 하나라도 도달하면 전체 복사를 거절한다.

【인증 전달망의 공개 표】 각 사람의 개인 인증은 자기 시작점 두 곳에 모두 전달된다. 시작점 중 한 곳만 골라 쓰거나 남의 시작점을 더할 수 없다. 단말의 서명과 시작점 쌍은 사람에게 고정되어 있다. 개인 강서윤: P,Q 개인 윤태오: P,R 개인 문해린: P,S 개인 백준호: Q,R 개인 서은채: Q,S 개인 오기석: R,S P·Q·R·S는 인증 전달처, 원본·외부·차단은 권한 종점이다. 개인→자기 두 전달처의 연결은 항상 살아 있다. 그 뒤의 회선은 다음 열 개가 전부이며, 1이면 화살표 방향으로 인증이 전해지고 0이면 전해지지 않는다. 회선 A: S>원본 회선 B: Q>차단 회선 C: P>원본 회선 D: R>외부 회선 E: R>원본 회선 F: P>차단 회선 G: R>차단 회선 H: S>차단 회선 I: Q>외부 회선 J: S>외부 원본에 도달하면 원본 읽기 허가, 외부에 도달하면 외부 저장 허가를 얻는다. 서로 다른 시작점에서 두 허가가 와도 함께 쓸 수 있다. 단, 자기 인증이 어느 경로로든 차단에 도달하면 외부 복사 요청 전체가 거절된다. 허가 경로만 선택하고 차단 경로를 무시하는 기능은 없다. 도달하지 않은 종점은 허가도 차단도 하지 않는다. 다른 회선·우회·권한은 없다. 승인 조건: 원본=1,외부=1,차단=0 【실제 유출을 묶는 원본 감사 기록】 시립 천체투영관은 오늘의 검수 동안 여섯 개인 단말에 두 시작점 인증을 동등하게 지급했다. 입실 확인원이 각 단말의 실명 소유자와 취소 불가능한 개인 서명을 대면 대조했다. 단말·서명·계정 대여나 교환, 공동 사용, 원격 접속은 없었다. 여섯 사람은 모두 22:12~22:18에 각자 돔 뒤 단말을 혼자 쓸 수 있었고 화면 내부를 증명할 목격자는 없다. 22:14:33, 서버 감사 기록에는 권미정 소유의 미공개 별자리 해설 원본을 외부 저장소로 복사한 요청 한 건이 남았다. 요청자는 경고창의 “권미정 소유·외부 복사 금지”를 확인한 뒤 외부 복사를 직접 확정했다. 권미정은 어느 직원에게도 이를 허락하지 않았다. 서버는 위 인증망만으로 이 요청을 승인하고 실제 원본과 동일한 파일을 전송했다. 수신 파일의 무결성 대조와 전송 완료 영수증이 실제 유출을 확인한다. 미리 복사된 파일의 전송이나 정상 예행 송출이 아니다. 개인 서명의 실명 필드만 감사 수집기의 비식별화로 빠졌으며, 요청 본문·상태번호·승인 결과·파일 동일성은 남았다. 이 유출 요청은 여섯 개인 서명 중 하나에서 직접 발생했다. 개인 서명을 자동 발급하거나 대리 요청하는 기능은 없고, 피해자·확인원·외부인·공범이 조작하지 않았다. 사건 전후 다른 유출·재전송·인계가 없었고, 관측된 승인과 실제 전송은 동일한 요청이다.

검수 기록 R1

검수기 R1이 남긴 상태번호는 6.

기록 R1: 6 별도 검수기 R1가 사건과 같은 고정 회선 상태를 읽고 남긴 상태번호 한 개다. 첫 단서의 R1 검수식과 상태표를 사용한다. 번호 안에서 왼쪽·가운데·오른쪽 논리값은 동시에 정해진다. 이 기록에 이름이나 조작 시각·순서는 없다. 이미지 기호: ∨는 OR, ∧는 AND, ⊕는 XOR다. 괄호 안부터 계산하며 기호와 첫 단서의 영문식은 같다.

검수 기록 R2

검수기 R2이 남긴 상태번호는 6.

기록 R2: 6 별도 검수기 R2가 사건과 같은 고정 회선 상태를 읽고 남긴 상태번호 한 개다. 첫 단서의 R2 검수식과 상태표를 사용한다. 번호 안에서 왼쪽·가운데·오른쪽 논리값은 동시에 정해진다. 이 기록에 이름이나 조작 시각·순서는 없다. 이미지 기호: ∨는 OR, ∧는 AND, ⊕는 XOR다. 괄호 안부터 계산하며 기호와 첫 단서의 영문식은 같다.

검수 기록 R3

검수기 R3이 남긴 상태번호는 5.

기록 R3: 5 별도 검수기 R3가 사건과 같은 고정 회선 상태를 읽고 남긴 상태번호 한 개다. 첫 단서의 R3 검수식과 상태표를 사용한다. 번호 안에서 왼쪽·가운데·오른쪽 논리값은 동시에 정해진다. 이 기록에 이름이나 조작 시각·순서는 없다. 이미지 기호: ∨는 OR, ∧는 AND, ⊕는 XOR다. 괄호 안부터 계산하며 기호와 첫 단서의 영문식은 같다.

검수 기록 R4

검수기 R4이 남긴 상태번호는 2.

기록 R4: 2 별도 검수기 R4가 사건과 같은 고정 회선 상태를 읽고 남긴 상태번호 한 개다. 첫 단서의 R4 검수식과 상태표를 사용한다. 번호 안에서 왼쪽·가운데·오른쪽 논리값은 동시에 정해진다. 이 기록에 이름이나 조작 시각·순서는 없다. 이미지 기호: ∨는 OR, ∧는 AND, ⊕는 XOR다. 괄호 안부터 계산하며 기호와 첫 단서의 영문식은 같다.

강서윤 · 31세 · 여 · 천문해설사

여 · 검정 턱선 단발 · 무안경 · 수염 없음 · 청록 재킷/흰셔츠

윤태오 · 42세 · 남 · 돔설비 기사

남 · 짧은갈색머리 · 무안경 · 작은콧수염 · 황토 점퍼

문해린 · 36세 · 여 · 자료 큐레이터

여 · 갈색 포니테일 · 검정 둥근안경 · 수염 없음 · 자주 니트

백준호 · 46세 · 남 · 운영회계 담당

남 · 검정 옆가르마 · 무안경 · 무수염 · 남색 셔츠

서은채 · 29세 · 여 · 야간 안내원

여 · 은회색 픽시컷 · 무안경 · 수염 없음 · 올리브 재킷

오기석 · 50세 · 남 · 영사 관리자

남 · 짧은 검정회색머리 · 각진철테안경 · 단정회색턱수염 · 밤갈색 조끼/밝은회색셔츠

여섯 사람 모두 22:12~22:18에 돔 뒤의 자기 개인 단말을 혼자 사용할 기회가 있었다. 실명 확인원은 입실과 퇴실, 개인 서명·단말의 계속 소지만 같은 수준으로 확인했다. 화면과 조작 시각은 전원 미확인이다. 각 사람의 두 인증 시작점은 공개 표와 같고 교환·선택·추가는 불가능하다. 권미정과 확인원은 단말을 쓰지 않았다. 출입·알리바이·직책·동기만으로는 구별할 수 없다.