LICIA

그렇게됐다

일어나자마자 마음찍는다고 봇취급받았나 허위활동이래요(ㅋㅋㅋ

## 들어가며 SK텔레콤 해킹 사태 이후 이를 mitigate 하기 위해 SK텔레콤이 유심 “재설정” 을 도입했습니다. SK텔레콤 측 주장으로는 이 “유심 재설정” 절차가 물리적 심 카드 교체와 동일하다는 주장을 하고 있고, 이 글에서는 이 주장을 검증해 보고자 합니다. 읽기 귀찮으신 분들을 위해: SK텔레콤 주장과 다르게 해당 절차는 물리적 심 카드 교체와 동일하지 않으며, 심 카드 재설정보다는 심 카드 교체를 강력 권장합니다. ## 검증 계획 ### 통신 인증에 사용되는 값들 심 카드 정보 교체가 얼마나 효과적인지를 확인하려면, 다음과 같은 계획을 세울 수 있습니다 1. 심카드 내 인증에 관여하는 파라미터들을 확인한다 2. “재설정” 이후 파라미터들을 원래 값과 비교할 방법을 생각해낸다 3. 재설정 이후 파라미터 값들을 비교한다 어떤 값들을 비교해야 할 지를 확인하려면 우선 SIM 인증과 AKA 인증이 어떻게 작동하는지를 확인해야 합니다. 이를 위해서는 3GPP/ETSI 공식 문서를 보는 것이 가장 정확하겠지만, 두 공식 문서 모두 읽기가 쾌적하진 않기에, Cheatsheets for Authentication and Key Agreements in 2G, 3G, 4G, and 5G 페이퍼와 ETSI TS 135 206 를 함께 참고하여 어떤 값들이 사용되는지를 확인해 봅시다. ETSI TS 135.206 섹션 2.3 해당 문서를 통해 우리는 검증 대상을 다음과 같이 정할 수 있습니다. 1. 가입자 식별 번호 IMSI 2. GSM 시절부터 사용된 심 인증 키 K 3. UMTS 시절부터 들어온 오퍼레이터 인증 키 OPc 4. MILENAGE 알고리즘 상수 c_i, r_i ### 값들 검증하기 위 세 값들 중 IMSI 의 경우 쉽게 변경 사항을 확인할 수 있습니다. 그냥 pySIM-shell 로 심 카드와 이야기한 뒤 EF.IMSI 파일을 덤프하라고 하면 끝이니까요. 하지만 K 와 OPc 는 다릅니다. 해당 값들은 심 카드 내부에만 머무르며, 인증 결과 값만이 심 바깥으로 나옵니다 (몇몇 경우에는 해당 키를 사이드 채널 어택으로 뽑아낼 수 있지만, 여기에 궂이 오실로스코프와 전류 프로브를 끌고 오진 말자구요). 더불어 MME 가 RES 와 XRES 를 비교하는 것에 더해 심 카드도 AUTN 값을 통해 올바른 HSS 의 요청인지를 검증한다는 것이죠. 다행히도, 이를 검증하기 위해 (ab)use 할 수 있는 기능이 심 카드에 존재합니다. 바로 심 카드 인증 결과 코드 중 MAC 과 XMAC 이 불일치할 때 나오는 Authentication error 리플라이와 MAC 은 XMAC 과 일치하지만, SEQ 넘버가 시간 역행을 하여 생기는 Synch failure 오류 두 가지로 오류가 나눠진다는 점이죠. arXiv:2107.07416 [cs.CR] 4G/EPS AKA 이에 우리는 이러한 가정을 할 수 있습니다. 심 “재설정” 이전 실 네트워크 인증 시퀸스에서 RAND 와 AUTN 을 캡쳐하여 심 “재설정” 이후 ADF.USIM 에 인증 요청을 할 경우 * 만약 SK텔레콤이 심 “재설정” 을 통해 K/OPc, c_i, r_i 중 어떤 것이라도 바꿨다면, Authentication error 가 발생할 것이다 * SK텔레콤이 심 “재설정” 을 통해 해당 값을 리셋하지 않았다면, synchronization failure 와 AUTS 를 반환할 것이다 ᅟ이 이외에도 SK텔레콤의 구형 심 카드는 GSM 인증을 허용하는 경우가 있는데, 이 경우에는 K값만의 변화를 체크할 수 있습니다. arXiv:2107.07416 [cs.CR] 2G/GSM/GPRS/EDGE AKA GSM 인증의 경우, AUTN 상호 인증 절차 없이, 임의의 RAND 값에 대해 계산된 CK 와 RES 값을 뱉도록 되어 있습니다. 이를 활용하면 임의의 RAND 값에 대해 * SK텔레콤이 심 “재설정” 과정을 통해 K 값을 변경했다면, 같은 RAND 값에 대한 응답이 달라질 것이다 라는 가정을 하고 검증 절차를 진행할 수 있습니다. ## 실제 검증 ### 준비물 1. QCDIAG 인터페이스가 열리는 모뎀 혹은 휴대폰 2. SKT 심 카드 3. 스마트 카드 리더와 심 어댑터 4. SKT PS&M 을 방문할 귀차니즘을 이겨낼 의지 이 글에서는 GSMTAP 캡쳐 과정에 대해 자세한 설명을 진행하지는 않겠습니다. 해당 부분은 잘 삽질해 보세요. ### 검증 LTE 캡쳐를 진행해 다음과 같이 프레임을 획득합니다. LTE 통신의 GSMTAP 캡쳐 화면 해당 캡쳐에서 우리가 관심 있는 것은 Authentication Request 프레임입니다. 해당 프레임과 프레임의 응답을 필터해 봅시다. LTE Authentication request 프레임들 해당 프레임에서 replay 를 위한 RAND값과 AUTN 을 캡쳐할 수 있습니다. 이제 UE 에서 심 카드를 빼서, 스마트 카드 리더에 셋업하고 pySIM-shell 을 실행합니다. 이후 EF.IMSI, EF.ICCID 파일의 내용과 DF.GSM, ADF.USIM 에 authenticate 쿼리를 한 내용을 기록합니다 (아래의 내용은 pySIM-shell 에서 불필요한 select 결과 응답을 자르고 붙여넣음) Using reader PCSC[Alcor Micro AU9540 00 00] Waiting for card... Info: Card is of type: UICC Detected UICC Add-on "SIM" AIDs on card: USIM: a0000000871002ffffffff89040300ff (EF.DIR) unknown: a000000063504b43532d3135 (EF.DIR) unknown: a0000003420001ffffffff89040500ff (EF.DIR) ADF.ISD: a000000003000000 Welcome to pySim-shell! (C) 2021-2023 by Harald Welte, sysmocom - s.f.m.c. GmbH and contributors Online manual available at https://downloads.osmocom.org/docs/pysim/master/html/shell.html pySIM-shell (00:MF)> select EF.ICCID pySIM-shell (00:MF/EF.ICCID)> read_binary_decoded { "iccid": "89820[ICCID 검열됨]2" } pySIM-shell (00:MF/EF.ICCID)> select DF.GSM pySIM-shell (00:MF/DF.GSM)> select EF.IMSI pySIM-shell (00:MF/DF.GSM/EF.IMSI)> read_binary_decoded { "imsi": "45005[IMSI 검열됨]0" } pySIM-shell (00:MF/DF.GSM/EF.IMSI)> select DF.GSM pySIM-shell (00:MF/DF.GSM)> authenticate 8188388ad5cdd481b02298ff29827791 "6b22e8416c38ae445619b72a" pySIM-shell (00:MF/DF.GSM)> select ADF.USIM pySIM-shell (00:MF/ADF.USIM)> authenticate b88dc61f07b5147cc9f545b2f7ddb1b8 944ced[AUTN 검열됨] { "synchronisation_failure": { "auts": "f531af[AUTS 검열됨]" } } pySIM-shell (00:MF/ADF.USIM)> | Using reader PCSC[Alcor Micro AU9540 00 00] Waiting for card... Info: Card is of type: UICC Detected UICC Add-on "SIM" AIDs on card: USIM: a0000000871002ffffffff89040300ff (EF.DIR) unknown: a000000063504b43532d3135 (EF.DIR) unknown: a0000003420001ffffffff89040500ff (EF.DIR) ADF.ISD: a000000003000000 Welcome to pySim-shell! (C) 2021-2023 by Harald Welte, sysmocom - s.f.m.c. GmbH and contributors Online manual available at https://downloads.osmocom.org/docs/pysim/master/html/shell.html pySIM-shell (00:MF)> select EF.ICCID pySIM-shell (00:MF/EF.ICCID)> read_binary_decoded { "iccid": "89820[ICCID 검열됨]2" } pySIM-shell (00:MF/EF.ICCID)> select DF.GSM pySIM-shell (00:MF/DF.GSM)> select EF.IMSI pySIM-shell (00:MF/DF.GSM/EF.IMSI)> read_binary_decoded { "imsi": "45005[IMSI 검열됨]6" } pySIM-shell (00:MF/DF.GSM/EF.IMSI)> select DF.GSM pySIM-shell (00:MF/DF.GSM)> authenticate 8188388ad5cdd481b02298ff29827791 "6b22e8416c38ae445619b72a" pySIM-shell (00:MF/DF.GSM)> select ADF.USIM pySIM-shell (00:MF/ADF.USIM)> authenticate b88dc61f07b5147cc9f545b2f7ddb1b8 944ced[AUTN 검열됨] { "synchronisation_failure": { "auts": "f531af[AUTS 검열됨]" } } pySIM-shell (00:MF/ADF.USIM)> ---|--- pySIM-shell 로 작업한 모습. 좌 – 심 “재설정” 이전 우 – 심 “재설정” 이후 해당 결과를 보면 다음 결과를 확인할 수 있습니다 * ICCID 는 변경되지 않았음 * IMSI 는 변경됨 * K/OPc/c_i/r_i 는 변경되지 않음 (변경되었으면 9862: Security management – Authentication error 응답이 돌아와야 함) 이 결과로써, 실제 누출 정보에서 제일 중요한 K/OPc 가 변경되지 않았음을 확인할 수 있으며, 이는 SKT 의 주장과 다르게 심 “재설정”은 심 교체와 동일한 효과가 아님을 의미합니다. ## 공격자의 공격 시나리오 지금까지 SKT 공격자에 대해 알려진 사실 중 하나는 state-backed actor 라는 것입니다. 이 유형의 공격자는 대체로 가용 가능한 자원이 풍부하며, 경우에 따라서는 근거리 공격 또한 수행할 수 있을 확률이 매우 높습니다. 이 가정 하에서 공격 시나리오를 작성해보면 다음과 같습니다 공격자는 다음 정보/장비에 대해 접근이 가능하다고 가정할 수 있습니다. * 공격 대상의 물리적 위치 * 공격 대상의 K/OPc/c_i/r_i, IMEI 정보 * 심 에뮬레이팅 툴 혹은 개발용 심 카드 (e.g. SysmoISIM) * 소프트웨어 라디오 프론트엔드 * 디버그 인터페이스 접근 가능한 UE (무엇을 바꿔야 할 지는 잘 상상해 보세요. 힌트: 언론사에서 하는 주장과 달리 이 값을 바꾸는 게 쉽다는 건 XDA 일주일 눈팅한 사람도 알 것입니다.) 해당 공격자는 다음 절차를 거쳐 공격을 수행할 수 있습니다. 1. 공격 대상의 물리적 위치에 접근합니다. 2. (SKT는 진짜 5G SA 같은 거 안 하니까) LTESniffer 혹은 기타 방법으로 IMSI 를 캡쳐합니다. 3. Fake BTS 혹은 Fake AP (EAP-AKA) 를 사용해 K/OPc 페어에 맞는 IMSI 를 찾아냅니다 4. 심 에뮬레이팅 툴을 이용해 심을 에뮬레이션 하거나 개발용 심에 새 K/OPc/c_i/r_i 를 프로그램합니다 5. ??? 6. PROFIT! ** AKA 인증은 stateful 하기 때문에 공격자는 이 부분에 대한 workaround 또한 준비해야 할 수 있습니다 ## 일반 유저 레벨에서 가능한 mitigation 사실 이번 사태에서는 (HSS 가 털릴 거라고 누가 상상이라도 했겠습니까) 일반 사용자가 할 수 있는 조치가 별로 많지는 않습니다. 심 카드 재고는 없고, 심 카드 교체 큐는 쭉 밀렸고 이 와중에 SKT 는 신규 받으려고 눈 돌아갔으니까요. 1. (사심이 들어간 추천 – vote your wallet) 번호 이동을 하세요 2. 심 카드를 교체하세요. 가능한 한 빨리요. 정도의 대응 방법이 있습니다. ## 마치며 이번 사태와 이 글을 통해 더 많은 사람들이 모바일 이동통신 인증 과정에 대해 조금이나마 알아갔으면 하며 글을 마칩니다. 더불어, 이번 사태에 대해 추측성 글이 난무하는 사태는 언론사들이 불확실한 정보를 전달해서 생기는 문제 또한 매우 큽니다. 이를 막기 위해서는 언론사가 “유심 인증 키” (유심 인증 키라고 부를 만한 건 ADM/OTA/K/OPc 등등 많기 때문에) 같은 모호한 단어 대신 어떤 정보가 아직 안전하다고 추정되는지, 어떤 데이터가 유출되었다고 생각되는지에 대해 정확히 전달하는 게 필요합니다. (하지만 개선은 요원하겠지…)

새 블로그 글

[ko] SKT 유심 “재설정” 분석 – 무엇이 바뀌는가, 그리고 정말로 교체와 동일한가

https://blog.quendi.moe/2025/05/29/ko-skt-%ec%9c%a0%ec%8b%ac-%ec%9e%ac%ec%84%a4%ec%a0%95-%eb%b6%84%ec%84%9d-%eb%ac%b4%ec%97%87%ec%9d%b4-%eb%b0%94%eb%80%8c%eb%8a%94%ea%b0%80/

트위터가 터졌습니다(저만

물리적으로 불탔네

트위터가 쓰는 데이터센터에 배터리 창고가 불이 났다고 함.

블루스카이가 이렇게 활성화되다니
트위터가 터졌다는 뜻이로군요.

"일론 머스크가 2022년 회사를 인수한 직후, 그는 비용 절감을 위해 캘리포니아에 있는 회사 서버를 오리건에 있는 다른 곳으로 옮기겠다고 고집했습니다. 트위터 엔지니어들은 이 과정이 몇 달이 걸릴 것이라고 주장했지만, 머스크는 몇 주 안에 옮기겠다고 고집했습니다." 바로 거기서 불이 남....

tech.yahoo.com/articles/x-e...

오사카에 옴... 그저 신칸센을 타기 위해...

おやすみなさーい

트위터는 "괴이"화 되었다...

vjw 생긴 이후로 일본을 14번을 갔다왔다고 함,, 그리고 올해 세번 더 나감,,, 한번은 내일 한번은 다음주(???

법원 판결 불복한 정부, 형제복지원 피해자 '벼랑 끝'

"이 소송은 저의 유일한 희망입니다. (중략) 이제라도 배상을 받아서 사회적 치료와 잃어버렸던 저의 존엄성을 찾아주십시오. 저의 아픔을 아들에게 대물림되지 않도록 도와주십시오."
수 년 전 국가를 상대로 한 손해배상소송에 들어가며 이같은 진술서를 재판부에 제출했던 형제복지원 피해자가 스스로 목숨을 끊으려 하는 일이 발생했다. 법원의 선고를 인정하지 않고 상급심의 문을 두드리는 정부가 2차 가해를 하고 있다는 비판이 나온다.
m.ohmynews.com/NWS_Web/Mobi...

사실너무부...부...부...부자들을광장에매달아모두의경제적평등을이룩하고싶엇어요

Discord is working on profile connections for Bluesky and Mastodon.

블루스카이 뭐라도 좀 써봐야지 했다가 다시 할말이 없어짐

평일에 혼자 막걸리 한병을 비우는게 아니었는데

준법투쟁인데 혼잡해지는 기형적인 상황을 비판하라고 이 어용언론들아.

그거 같다니까 교회 옮길 때 제대에 성유물부터 안치하는 거

오늘 님 왜 한국이에요 구라치지마셈 주말에 한국일리가 없음 두번들음

이 도메인이 핸들 역할을 하면서 본인이 계정을 소유했다는 본인 인증이 되기도 하지만 기업 공식 계정들도 쉽게 알아볼 수 있는 역할도 합니다. 예를 들면 @xbox.com 이나 @sega.jp 처럼 말이죠.

안녕 트친들아!
왜 나를 모르는 느낌이지.....
아아... 이 세계선에선 아직 못만났겠구나
(눈물을 감추며)
안녕하세요! 처음뵙겠습니다 우리 블친이 될 수 있을까요?

MyGO!!!!!×トゲナシトゲアリ「Avoid Note」

10장넣고 이지랄이 났지만 아무튼 연석자의 도움으로갈수있게 되었습니다

???: 제가 좋아하는 두가지입니다

Bluesky Social as the #1 free app in the App Store rankings

Bluesky stuns in new App Store ranking

이와타하루키 라이브영상 볼때마다 토오토이하다는게 무슨느낌인지 알게됨...

블스 자물쇠 거는법 !!
말할 때 🔒 자물쇠 이모티콘을 사용한다
(여기가 중요함)사람들이 못본척 해줘야됨
모두의 합의가 필요합니다

3x3 alignment chart with (L to R) Casual, Determined, Sellout along the top, and (top to bottom) Lawful, Neutral, and Chaotic along the side. Left to right, top to bottom: SSGIRLS(Whisper Me a Love Song), Leo Need(Project Sekai), Pastel＊Palettes(Bang Dream), Afterschool Tea Time(K-On), Kessoku Band(Bocchi The Rock), Diamond Dust(Girls Band Cry, MyGo(Bang Dream), Togenashi Togeari(Girls Band Cry), Ave Mujica(Bang Dream).

Made a girl band alignment chart!

For purposes of this chart, determined means they are trying to go pro. Lawful means they are happy with their current status...and sellout means they either have a label backing them, or want success at all costs.