본문 바로가기
무기체계 SW에 Python을 쓰기 어려운 이유 무기체계 SW에 Python을 쓰기 어려운 핵심 이유는 "느리다"가 아니라, 실행 시간과 메모리의 최악 상한을 산출·보장할 수 없고( Worst-Case Execution Time, WCET), 오류 부재를 사전에 검증하기 어렵다는 점이다.ㅇ (안전 필수 시스템이 요구하는 것) 비행 제어나 브레이크 제어 소프트웨어는 인증 과정에서 다음 두 가지를 증명해야 한다.WCET (Worst-Case Execution Time) 이 함수는 어떤 입력이 들어와도 최대 X마이크로초 안에 끝난다.(최대 메모리 사용량) 이 프로그램은 어떤 상황에서도 Y바이트를 넘지 않는다. 1. 자동 메모리 관리로 인한 지연CPython은 참조 카운팅과 순환 참조 수집기(GC)로 메모리를 자동 회수한다.큰 자료구조가 해제될 때의 연쇄 .. 2026. 10. 20.
코딩 규칙 2026년 10월 기준으로 보면, C는 MISRA C:2025, C++는 MISRA C++:2023이 사실상 업계 표준이고, JSF AV C++는 역사적 원조로 남아 있으며, 새 흐름은 Rust 코딩 가이드라인과 메모리 안전성 쪽이다. 1. 계보: MISRA → JSF → MISRA C++ → AUTOSAR → 통합연도표준내용1998MISRA C:1998 (C1)자동차 업계 출발2004MISRA C:2004 (C2) 2005JSF AV C++ (록히드마틴, F-35용)MISRA-C:1998을 출발점, 준수하려면 200개 이상의 규칙을 따라야 함2008MISRA C++:2008C++03 기준2012MISRA C:2012 (C3) + AMD-1~42016년 AMD-1, 2020년 AMD-2, 2022년 AM.. 2026. 10. 20.
북한 IP로 뜨는데 북한이 아니다. 북한 서버를 찾다보면 '북한 평양'으로 표시되지만 실제로는 북한이 아닌 서버가 있다. IP는 '소유등록'과 '지오로케이션'이라는 두 체계로 나뉜다는 사실과, 그 틈에서 생기는 오귀속(misattribution)을 추적한 기록이다. 손바닥만 한 북한 인터넷북한의 공개 인터넷은 놀랄 만큼 작다. 인구 2,500만 명의 나라에 등록된 공개 IPv4 주소가 단 1,024개뿐이다. 네 개의 /24, 그러니까 175.45.176.0/22 하나로 끝난다. 운영 주체도 Star Joint Venture(AS131279) 하나. 그래서 북한 인터넷은 나라 전체를 몇 분이면 훑을 수 있다.175.45.176.0 ~ 175.45.176.255 (175.45.176.0/24) — 256개175.45.177.0 ~ 175.45.. 2026. 10. 13.
공개 IP 교차 검증 방법_한 IP를 네 소스로 읽는 법 어떤 IP가 "위험한가"를 판단할 때, 단일 소스 하나만 보면 틀리기 쉽다. 신고 이력 사이트 한 곳, 백신 엔진 한 곳의 판정만으로 결론 내리면 오탐에 휘둘린다. 이 글은 공개 OSINT 소스 네 곳을 교차검증해 한 IP의 '생애주기'와 '현재 위험도'를 읽어내는 절차를 실제 사례로 정리한다. 특정 IP를 저격하려는 글이 아니라, 누구나 따라 할 수 있는 방법을 보이는 데 목적이 있다.왜 교차검증인가평판 소스는 저마다 보는 각도가 다르다.신고 기반(AbuseIPDB 등): "사람들이 신고한 이력" — 과거형, 주관 섞임스캔 기반(Shodan 등): "지금 열려 있는 포트·서비스" — 현재형, 객관적멀티엔진(VirusTotal 등): "여러 백신·블록리스트의 합산 판정" — 다수결수집 목록(공개 프록시 .. 2026. 10. 12.
에이전트형 침투 자동화 도구 연구 — ARTEX 사례 중심 방어·탐지·연구/교육 관점 정리. 공격 실행 절차나 재현 코드는 포함하지 않음. 작성 기준일: 2026-10-12. ARTEX 사건은 수사 진행 중이며 일부 사실은 미확정.왜 이 사례가 중요한가이번 ARTEX 사건의 핵심은 "새로운 해킹 기법"이 아니라 공격 역량의 진입장벽이 무너졌다는 점이다.과거에는 여러 전문가가 교대로 수행하던 침투 작업을, 이제는 에이전트 도구를 지휘하는 한 사람이 열흘 남짓에 여러 기관을 동시에 노릴 수 있게 됐다.실제 공격에 쓰인 기법 자체는 크리덴셜 스터핑(유출 계정 대입) 등 이미 널리 알려진 전통적 방식이었다. 금융당국도 "고도의 신기술이 아니라 관리 안 된 빈틈"이 문제였다고 평가했다.따라서, 방어 전략은 "ARTEX라는 도구를 막는다"가 아니라 자동화된 대량·고속 공격.. 2026. 10. 12.
공개 데이터로 만든 드론 탐지 AI, mAP 0.958 뒤에 숨은 것들 1. 왜 카메라 기반 드론 탐지인가안티 드론 시스템은 보통 레이더, RF 탐지기, EO/IR 카메라, 음향 센서를 겹쳐 쓴다. 레이더는 멀리 보지만 새와 구분이 어렵고, RF 탐지기는 기종을 알려주지만 통신 없이 자율비행하는 드론은 못 잡는다. 카메라와 AI는 그 사이에서 "이게 정말 드론인가?"를 확인하는 역할을 맡는다. 대신 멀리 있는 작은 드론과 새를 구분하는 데 약하고, 오경보가 많다.이번 실험은 이 카메라+AI 모듈 하나에 집중했다. 대응(무력화) 기술은 다루지 않는다.2. (Data) Seraphim Drone Detection Dataset항목내용규모83,483장 (train 75,134 / test 8,349)형식YOLO, 640×640 (리사이즈+패딩), 클래스 1개(drone)구성23개.. 2026. 9. 28.
728x90

티스토리툴바