안드로이드 어플리케이션 역공학 보호기법

하동수,이강효,오희국,Ha, Dongsoo,Lee, Kanghyo,Oh, Heekuck 한국정보보호학회 2015 情報保護學會誌 Vol.25 No.3

현재 가장 높은 점유율을 보이고 있는 스마트 모바일 디바이스 플랫폼인 안드로이드는 바이트코드 기반의 어플리케이션을 동작시킨다. 바이트코드는 특성상 역공학에 취약하여 원본 코드의 노출이나 수정 후 재배포가 쉽게 이루어질 수 있다. 이를 보완하는 방법으로 난독화, 실행압축, 코드 분리, 기타 안티 리버싱 기법 등이 존재하지만, 이런 보호기법을 단독으로 사용하면 그 효과가 높지 않다. 이들은 각각 장단점을 가지고 있는데, 여러 기법을 조합해서 사용하면 보안성을 한층 높일수 있다. 그렇다고 각 기법의 특징을 무시한 채 무작정 사용하게 되면 오히려 어플리케이션의 성능이 낮아지고 크기가 늘어나는 문제가 발생한다. 따라서 보호기법의 정확한 이해와 필요에 맞는 올바른 선택적 사용이 중요하다. 본 논문에서는 지금까지 사용되어 온 안드로이드 어플리케이션 역공학 보호기법의 유형과 특징에 대하여 살펴보고, 보안성을 높이기 위한 올바른 조합과 선택에 대해 고찰한다.

이산화망간 존재하에서 사염화규소를 이용한 알코올의 염소화반응

하동수,윤명종,Ha, Dong Soo,Yoon, Myeong Jong 대한화학회 1997 대한화학회지 Vol.41 No.10

Manganese dioxide may react with silicon tetrachloride to form manganese(Ⅳ) oxodichloride which reacts subsequently with another molecule of silicon tetrachloride leading to manganese tetrachloride eventually in chlorinated solvents. This in situ generated manganese(Ⅳ) oxodichloride or manganese tetrachloride were found to be very effective for the chlorination of a wide variety of alcohols to the corresponding chlorides. Primary, secondary and benzylic alcohols were converted into corresponding chlorides when treated with silicon tetrachloride in the presence of manganese dioxide at room temperature. 이산화망간 존재하에서 사염화규소는 1차, 2차, 3차 및 벤질알코올 유도체 뿐 만 아니라 시클로헥산올과 같은 고리형 알코올, 알릴 알코올 등의 염소화반응을 정량적으로 수행할 수 있음을 발견하였다. 먼저 이산화망간이 사염화규소의 반응성이 큰 규소-염소 결합에 삽입되어 불안정한 중간체인 Manganese(IV) oxodichloride를 생성하고 이 중간체는 계속하여 사염화규소와 반응하여 최종적으로 사염화망간을 생성하리라 예상된다. 이렇게 생성되리라 예상되는 화학종들은 모두 반응메카니즘적으로 알코올의 염소화반응에 관여할 수 있음을 알았다. 이 반응은 Thionyl chloride나 삼염화인등을 사용한 고전적인 알코올의 염소화반응에 비하여 많은 장점을 가짐을 알 수 있었다.

탄산칼륨 존재하에서 사염화규소를 이용한 알코올의 염소화반응

하동수,김형애,Ha, Dong Soo,Kim, Hyeung Ae 대한화학회 1997 대한화학회지 Vol.41 No.10

탄산칼륨 존재하에서 사염화규소는 1차, 2차, 3차 및 벤질알코올 유도체 뿐 만 아니라 시클로헥산올과 같은 고리형 알코올, 알릴 알코올등의 염소화반응에 효과적임을 알 수 있었다. 탄산칼륨이 사염화규소의 반응성이 큰 규소-염소 결합과 반응하여 생성될 수 있는 불안정한 중간체인 Trichlorosilyloxy carbonylchloride 혹은 최종적으로 평형농도 만큼 소량씩 생성되리라 예상되는 Phosgene은 모두 반응메카니즘적으로 알코올의 염소화반응에 관여할 수 있음을 알았다. Potassium carbonate reacts with silicon tetrachloride to form trichlorosilyloxy carbonylchloride which reacts subsequently with another molecule of silicon tetrachloride leading to phosgene eventually in chlorinated solvents. This in situ generated trichlorosilyloxy carbonylchloride or phosgene were found to be very effective for the chlorination of a wide variety of alcohols to the corresponding chlorides. Primary, secondary and benzylic alcohols were converted into corresponding chlorides when treated with silicon tetrachloride in the presence of potassium carbonate at room temperature.

폭발크기에 따른 철근콘크리트제 수소충전소 방호벽 성능평가

하동수(Ha, Dongsoo),장태진(Jang, Taejin),김기현(Kim, Kihyun),김승원(Kim, Seung Won),박철우(Park, Cheol Woo) 한국콘크리트학회 2023 한국콘크리트학회 학술대회 논문집 Vol.35 No.1

특수교 재난대응을 위한 이상신호 데이터 분석사례

하동수 ( Ha Dong-soo ),박상희 ( Park Sang-hee ),장현순 ( Jang Hyun-soon ),정아현 ( Jeong A-hyeon ) 한국구조물진단유지관리공학회 2023 한국구조물진단유지관리공학회 학술발표대회 논문집 Vol.27 No.1

재난 발생 시 파급 범위가 큰 특수교량(케이블 교량)은 관리주체 별로 재난대응 업무를 수행하고 있다. 사회재난 및 자연 재난으로 구분될 수 있는 재난은 CCTV 24시간 관제를 통해 가장 확실하게 대응할 수 있으나, 예산 및 인력 등의 문제로 실현되기 어려운 실정이다. 이에 따라 교량에 부착된 유지관리용 계측기를 통해 관리기준치 설정, 이상신호 확인을 통해 재난대응 업무를 수행하고 있다. 본문에 이상신호 데이터의 분석사례 4개를 나타내었다. 이를 통해 계측시스템을 통한 재난대응 업무의 수행가능성 확인하였다. 분석사례는 교량별 관리기준 업데이트, 이상신호 필터링 등에 활용될 수 있으며 이러한 과정을 거쳐 재난대응의 업무의 효율과, 자동화가 이루어질 것으로 예상된다.

재도입 황새의 이동 특성에 관한 연구

하동수(Dong-Soo Ha),남영숙(Young-Sook Nam) 한국환경정책학회 2019 한국환경정책학회 학술대회논문집 Vol.2019 No.10

제9장 실험수업을 사고실험으로 대체할 경우 학업성취도에 미치는 영향 -중학교 7, 8 및 9학년 과학교과서 화학단원에서-

하동수 ( Dong Soo Ha ),김대근 ( Dae Keun Kim ),정윤영 ( Yun Young Jeong ),정현욱 ( Hyun Wook Jeong ),박종근 ( Jong Keun Park ) 경상대학교 중등교육연구소 2010 현대교육연구 Vol.22 No.-

중학교 7학년 단원명 ``스스로 움직이는 분자``의 경우, 사고실험 수업이 설명식 이론수업과 강의실 실험수업의 형성평가 결과와 차이가 없거나 오히려 낮은 경향을 나타냈다. 또한 통계적으로 유의미한 차이를 나타내지 못했다. 이는 7학년 학생들의 인지발달 수준이 낮아, 사고실험 수업으로 인해 과학적 개념을 이해할 수 있는 수준에 이르지 못하는 것으로 나타났다. 중학교 8학년 단원명 ``물질의 특성-밀도``의 경우, 사고실험 수업 결과를 이론수업과 비교 했을 때 통계적으로 유의미한 변화가 나타냈다. 이는 사고실험 수업이 학업성취 면에서 설명위주의 이론수업보다는 긍정적인 영향을 준다는 것을 의미한다. 반면, 실험수업과 비교 했을 땐 통계적으로 유의미하지 않게 나타났다. 따라서 학습 효과 면에서 사고실험이 실험수업의 대안으로 가치가 있다고 할 수 있다. 중학교 9학년 단원명 ``나무와 강철 솜의 연소``의 경우, 사고실험 수업이 설명식수업, 실험수업의 형성평가 결과가 유의미한 차이를 나타내지 못하였다. 이는 사고실험 수업이 모든 단원에는 효과적이지 않다는 것을 의미한다. The purpose of this study is to analyze the effect of teaching-learning using a kind of theoretical simulation in ``chemistry`` units of science textbooks for seventh, eighth, ninth graders. Three classes in each graders are chosen and classified into three groups: the first group (the controlled group: A) was taught with the traditional teaching method, the second group (the experimental group: B) was taught with the regular laboratory activity, and the last group (the simulated group: C) was taught with the teaching-learning method using step-by-step explanation for the total experimental procedure in the classroom. After the teaching-learning activity using detailed explanation for the total experimental procedure in the classroom, the mean values of the scientific inquiry, scientific attitudes, and performance assessment by the simulated group were larger than those of the controlled group. Particularly, the mean values of the simulated group are similar to those of the experimental group. There were significant differences between the three groups in the post-test. By the results of the post-test for the simulated group, the theoretically simulated teaching-learning method has significant relationships on the scientific inquiry, the scientific attitudes, and the scientific achievements.

강섬유 형상에 따른 SIFRCC의 압축강도 특성

하동수(Ha, Dongsoo),장태진(Jang, Taejin),이동원(Lee, Dongwon),김승원(Kim, Seung Won),박철우(Park, Cheol Woo) 한국콘크리트학회 2022 한국콘크리트학회 학술대회 논문집 Vol.34 No.2

기호 형태의 값-집합 분석을 이용한 ARM 위치 독립적 코드의 정교한 역어셈블리 기법

하동수(Dongsoo Ha),오희국(Heekuck Oh) 한국정보보호학회 2018 정보보호학회논문지 Vol.28 No.5

스마트 모바일의 보급에 따라, 컴퓨터 보안에서 ARM 아키텍처 명령어로 구성된 위치 독립적 코드의 역어셈블리기법이 중요해지고 있다. 그러나 대부분의 기존 기법들은 x86 아키텍처 대상으로 연구되었으며, 위치 종속적 코드의 문제 해결과 범용성에 초점이 맞추어져 있다. 따라서, ARM 아키텍처의 고정 길이 명령어와 위치 독립적 코드의 특징이 제대로 반영되지 않아, 바이너리 계측과 같이 바이너리 자체를 직접 수정하는 수준의 고도화된 응용 보안 기술에 적용하기에는 수집되는 주소 정보의 정확도가 낮다. 본 논문에서, 우리는 ARM 명령어로 구성된 위치 독립적인 코드의 특성을 반영한 역어셈블리 기법을 제안한다. 정확하고 추적 가능한 주소의 수집을 위해, 도메인이 기호화된 값-집합 분석을 설계하였다. 또한, 역어셈블의 주요 문제점을 해결하기 위해, 컴파일러가 생성하는 코드의 특징을 활용한 휴리스틱을 고안하였다. 우리 기법의 정확도와 유효성을 검증하기 위해, 안드로이드 8.1 빌드에 포함된 669개의 공유라이브러리 및 실행 파일을 대상으로 실험하였으며, 그 결과 완전한 역어셈블의 비율이 91.47%로 나왔다. With the proliferation of smart mobiles, disassembly techniques for position-independent code (PIC) composed of ARM architecture instructions in computer security are becoming more important. However, existing techniques have been studied on x86 architecture and are focused on solving problems of non-PIC and generality. Therefore, the accuracy of the collected address information is low to apply to advanced security technologies such as binary measurement. In this paper, we propose a disassembly technique that reflects the characteristics of PIC composed of ARM instructions. For accuratly collecting traceable addresses, we designed value-set analysis having symbol-form domain. To solve the main problem of disassembly, we devised a heuristic using the characteristics of the code generated by the compiler. To verify the accuracy and effectiveness of our technique, we tested 669 shared libraries and executables in the Android 8.1 build, resulting in a total disassembly rate of 91.47%.

상용 안드로이드 앱 보호 서비스 분석을 통한 강건한 앱 보호 구조 연구

하동수(Dongsoo Ha),오희국(Heekuck Oh) 한국정보보호학회 2018 정보보호학회논문지 Vol.28 No.5

안드로이드 앱은 바이트코드로 구성되어 있어 역공학으로부터 취약하며, 이를 보완하기 위해 앱을 강건하게 재구성해주는 보호 서비스들이 등장하였다. 암호 알고리즘과 다르게, 이런 보호 서비스의 강건함은 보호 방식을 감추는 것에 상당 부분 의존하고 있다. 그러므로 보호 서비스의 파훼 기법은 다양하더라도 보호 방식에 대한 체계적인 논의가 거의 없으며, 개발자의 직감에 따라 구현되고 있다. 정적 또는 동적분석을 방해하는 기술의 간단한 배치보다는, 강건한 보안 체인을 위한 체계적인 보호 구조에 대한 논의가 필요하다. 본 논문에서는 이를 위해, 대표 상용 안드로이드 앱 보호 서비스인 방클(bangcle)을 분석하여 보호 구조와 취약한 요소를 살펴본다. 그리고 이를 통해 강건한 구조를 위해 요구되는 사항과 보호 구조 원칙을 제안한다. Android apps are made up of bytecode, so they are vulnerable to reverse engineering, and protection services are emerging that robustly repackage the app to compensate. Unlike cryptographic algorithms, the robustness of these protection services depends heavily on hiding the protection scheme. Therefore, there are few systematic discussions about the protection method even if destruction techniques of the protection service are various. And it is implemented according to the intuition of the developer. There is a need to discuss systematic protection schemes for robust security chains, rather than simple deployment of techniques disrupting static or dynamic analysis. In this paper, we analyze bangcle, a typical commercial Android app protection service, to examine the protection structure and vulnerable elements. We propose the requirements for robust structure and principles of protection structure.