자동화 공정을 위한 네트웍 구현

김지홍(Kim Jeehong),황병훈(Hwang Byunghun) 대한전기학회 2003 대한전기학회 학술대회 논문집 Vol.2003 No.7

경량 동적 코드 변환 기법을 이용한 동적 인스트루멘테이션 기법 설계 및 구현

김지홍(Jeehong Kim),이동우(Dongwoo Lee),김인혁(Inhyeok Kim),엄영익(Young Ik Eom) 한국정보과학회 2014 정보과학회논문지 Vol.41 No.11

동적 인스트루멘테이션 기법은 동적 코드 변환 기법을 사용하여 프로그램의 수행 흐름을 흐트러뜨리지 않으면서 분석 코드를 삽입하는 구현 기법으로 사용되고 있다. 기존의 동적 코드 변환 기법은 머신 코드 스트림을 중간 코드 형태로 파싱하고, 이를 일반적인 컴파일러 기법에 적용함으로써 코드를 변환한다. 이러한 방식의 코드 변환 과정에서 수반되는 높은 변환 오버헤드는 응답성이 높은 사용자 프로그램에 적용을 어렵게 한다. 본 논문에서는 변환 과정의 경량화를 통해 변환 오버헤드를 줄임으로써, 높은 동적 코드 변환 성능을 가지는 경량 동적 코드 변환 기법을 제안하고, 이를 기반으로 하는 동적 인스트루멘테이션 프레임워크를 제안한다. 제안 기법은 테이블 기반의 새로운 동적 주소 변환 기법으로 코드를 변환하고, 더불어 자주 실행되는 라이브러리 함수에 대해 변환 과정에 대해서는 주소 변환만을 함으로써 변환 오버헤드를 줄이는 변환 우회 기법을 이용한다. 기존 동적 코드 변환 기법과의 비교를 통해 2%~65%의 성능 향상을 확인하였다. Dynamic binary instrumentation is a code insertion technique for debugging a program without scattering its execution flow, while the program is running. Most dynamic instrumentations are implemented using dynamic binary translation techniques. Existing studies translated program codes dynamically by parsing the machine code stream to intermediate representation (IR) and then applying compilation techniques for IRs. However, they have high overhead during translation, which is a major cause of difficulty in applying the dynamic binary translation technique to the program which requires high responsiveness. In this paper, we introduce a light-weight dynamic binary instrumentation framework based on a novel dynamic binary translation technique which has low overhead while translating the program code. In order to reduce the translation overhead, our approach adopts a tabular-based address translation and exploits a translation bypassing scheme, which stores the translated address of a frequently called library function in advance. It then accesses the translated address and executes function codes without code translation when calling the function. Our experiment results demonstrated that the proposed approach outperforms the prior dynamic binary translation techniques from 2% up to 65%.

Dalvik 가상 머신 레지스터 할당 기법

김지홍(Jeehong Kim),김인혁(Inhyuk Kim),엄영익(Young Ik Eom) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.1A

Dalvik 가상 머신은 최적화가 쉽지 않았던 스택 기반의 가상 머신인 자바 가상 머신(JVM)과 달리 레지스터 기반의 가상 머신이므로 여러 최적화 기법을 적용할 수 있다. 따라서 Dalvik 가상 머신을 위한 새로운 레지스터 할당기법이 필요하다. 본 논문에서는 dx tool을 거친 레지스터 기반의 Dalvik byte code를 레지스터 재 할당하여 최적화하고, 이를 Dalvik JIT으로 보내어 다시 한번 레지스터 재할당 함으로써 최적화 효율을 높일 수 있는 최적화 기법을 제안하였다. 또한 제안 기법과 Dalvik JIT의 복잡도를 비교함으로써 제안기법을 검증하였다.

반환 지향 프로그래밍 공격에 대한 효율적인 방어 기법 설계 및 구현

김지홍(Jeehong Kim),김인혁(Inhyeok Kim),민창우(Changwoo Min),엄영익(Young Ik Eom) 한국정보과학회 2014 정보과학회논문지 Vol.41 No.12

반환 지향 프로그래밍 공격(ROP)은 프로그램에 존재하는 반환 명령어로 끝나는 코드 조각들을 조합하여 가젯을 만들고, 연속적으로 실행하여 스택의 내용을 조작함으로써 프로그램의 제어권을 가져오는 공격이다. 이에 대한 기존 방어기법은 높은 실행 오버헤드와 바이너리 증가 오버헤드를 갖거나, 적용범위의 제한이 있는 문제점이 있다. 본 논문에서는 기존 기법의 문제점을 갖지 않으면서 성능 및 바이너리 크기 증가 측면에서 효율적인 방어 기법인 zero-sum defender를 제안한다. 반환 지향 프로그래밍 공격은 정상적인 프로그램의 흐름과 다르게, 함수 호출 명령어가 실행되지 않고 여러 반환 명령어가 실행되는 실행 특성을 가진다. 제안 기법은 이러한 특성을 이용하여 프로그램 실행 흐름이 반환 지향 프로그래밍 공격에 의해 오용되는지 모니터링하여 방어 기능을 수행한다. 실제 공격 모델에 대한 실험을 통해 방어 기법의 효용성을 확인하였고, 벤치마크 실험을 통해 약 2%의 성능 오버헤드와 약 1%의 바이너리 크기 증가만으로 방어가 이루어짐을 확인하였다. An ROP attack creates gadget sequences which consist of existing code snippets in a program, and hijacks the control flow of a program by chaining and executing gadget sequences consecutively. Existing defense schemes have limitations in that they cause high execution overhead, an increase in the binary size overhead, and a low applicability. In this paper, we solve these problems by introducing zero-sum defender, which is a fast and space-efficient mitigation scheme against ROP attacks. We find a fundamental property of gadget execution in which control flow starts in the middle of a function without a call instruction and ends with a return instruction. So, we exploit this property by monitoring whether the execution is abused by ROP attacks. We achieve a very low runtime overhead with a very small increase in the binary size. In our experimental results, we verified that our defense scheme prevents real world ROP attacks, and we showed that there is only a 2% performance overhead and a 1% binary size increase overhead in several benchmarks.

산업용 로봇트의 PWM디지털 서어보 제어기의 개발

김지홍(Jeehong Kim),강대희(Daehee Kang),최영규(Youngkiu Choi),변증남(Zeungnam Bien) 대한전자공학회 1985 대한전자공학회 학술대회 Vol.1985 No.6

감리특성이 공사품질에 미치는 영향에 관한 실증연구

김지홍(Jeehong Kim),손성규(Sungkyu Sohn),박애영(Aeyoung Park),오원정(Wonjung Oh),이은철(Eunchul Lee) 한국관리회계학회 2003 관리회계연구 Vol.3 No.1

정부는 공공 건설공사의 집행이 대리인문제에 노출되어 심각한 사회적 비용을 발생시켰던 부실공사들의 반복을 방지하기 위해 1994년에 책임감리제도를 도입하였다. 즉 책임감리인(제2대리인)에 의한 모니터링기능의 강화를 통하여 공사품질의 제고를 도모하였고 선행연구결과는 이를 실증하고 있다. 따라서 본 연구는 책임감리제도의 발전과 개선을 위한 선결과제로서 정부계약공사에서 책임감리의 제 특성들이 공사품질에 어떻게 영향을 미치는지를 실증 분석하고자 하는 것이다. 실증 분석을 위하여 건설교통부 산하 3개 지방국토관리청과 한국건설감리협회의 협조를 얻어 1998년부터 2001년 초까지 준공된 112개의 건설공사 시공평가 관련 자료 및 책임감리 관련 자료를 이용하였다. 공사품질에 영향을 줄 수 있는 공사특성 변수들과 시공회사 특성변수들을 통제한 다중회귀분석 결과 상대적으로 높은 감리보수(감리용역비)는 대체로 공사품질에 유의적인 정(+)의 영향을 미쳤으나, 감리인의 규모(연평균감리용역매출 및 감리원 보유)는 공사품질에 유의적인 영향을 나타내지 않았다. 감리인의 성실성을 나타내는 장기누적평균부실벌점은 공사품질과 유의한 음(-)의 관계를 보였으나 해당 공사별 감리인투입량(총투입일수)은 공사품질에 직접적인 영향을 미치지 않는 것으로 나타났다. 이러한 연구결과는 감리인의 보유인적자원 자체의 규모나 해당 공사에 투입된 인적자원의 규모보다 직, 간접적인 감리용역수행의 실질적 지원과 감리인의 감리에 대한 적극적 자세가 감리활동의 성과를 향상시켜 공사품질에 더 크게 영향을 미치고 있음을 제시한 것으로 볼 수 있다. 본 연구는 대리이론과 회계감사이론의 관점에서 정부계약공사에서 책임감리의 제 요인들이 공사품질에 어떤 영향을 미치는지를 처음으로 실증 분석하였다는 데 연구의 의의가 있다. The government has introduced responsible supervision system in 1994 to prevent faithless construction works from occurring repeatedly which had produced serious social cost with them being exposed to agency problem when executed. The government, that is, has schemed the improvement of the quality of construction through the reinforcement of monitoring function. As a result, preceding research has shown the same empirical results. Therefore, this study is to analyze empirically how various characteristics of responsible supervision influence the quality of construction work. Data related to carrying out evaluation and responsible supervision of 112 construction works which have been completed each year during 1998 to 2001 early were used to analyze empirically with the help of three Regional Construction & Transportation and The Korea Construction Engineers Association. The results of this study are as follows: First, after controlling the construction and constructors' characteristics variables multiple regression showed that relatively high supervision fee had a significantly positive impact on the quality of construction works but the size of supervisor(annual average sales and holding supervision personnel) did not have a significant influence to the quality of construction works. Second, Accumulated long term average penalties showed a significantly negative relation with the quality of construction works but did not has a direct effect on the quality of construction works. These results can be believed to suggest that the substantial support for the execution of supervision service and the supervisor's positive attitude to the supervision have much more impact on the quality of construction works by increasing the performance of supervision activity than the supervisor's size of holding personnel or the size of human resource put into the construction work in point. This study is meaningful in that it analyzed empirically for the first time how each characteristic of responsible supervision influences the quality of construction works in the government-contacted construction in the agency theory and the audit theory point of view.

멀티코어 시스템에서 병렬 프로그램 컴파일 성능 분석

김지홍 ( Jeehong Kim ),엄영익 ( Young Ik Eom ) 한국정보처리학회 2013 한국정보처리학회 학술대회논문집 Vol.20 No.1

멀티코어 환경이 보편화됨에 따라 병렬프로그래밍 기법과 이에 대한 컴파일 기술의 중요성이 더해지고 있다. 하지만 각 병렬 프로그래밍 기법과 컴퓨팅 환경에 따라 컴파일 기술이 개발되어야 하는 단점이 있다. 따라서 본 논문에서는 다양한 병렬 프로그래밍 기법과 컴퓨팅 환경을 지원할 수 있는 범용 컴파일러의 개발을 위해 병렬프로그래밍 기법과 컴파일러에 따른 병렬 프로그램의 컴파일 성능을 비교하고, 높은 수행 성능을 가진 범용 병렬 프로그램 컴파일러의 설계 방안을 모색한다.

보안 취약점에 따른 공격기법 및 방어기법 분석

김지홍(Jeehong Kim),남예지(Yeji Nam),엄영익(Young Ik Eom) 한국정보과학회 2014 한국정보과학회 학술발표논문집 Vol.2014 No.6

가변형 단일 궤도를 이용한 장애물 극복방법에 관한 연구

김지홍(Jeehong Kim),이창구(Chang-Goo Lee) 제어로봇시스템학회 2010 제어·로봇·시스템학회 논문지 Vol.16 No.4

In our paper, we propose an asymmetric single-tracked wheel system, and describe its structure and the method for maintaining the length of a transformable track system. And the method is reducing the gap of lengths. Therefore, we propose an efficient structure for transforming and explain motions with kinematics. Our transformable shape single-tracked mobile system has an advantage to overcome an obstacle or stairs by the variable arms in the single unity track system. But we will make the variable shape of tracked system get a drive that has a force to stand against a wall. In this case, we can consider this system to a rigid body and have a notice that this single tracked system is able to get vary shape with the variable arm angle. Considering forces balance along x-axis and y-axis, and moments balance around the center of the mass we have. If this rigid body is standing against a wall and doesn’t put in motion, the force of flat ground and the rigid body sets an equal by a friction. In the same way, the force of a wall and the rigid sets an equal by a friction.

볼록 거울 및 단일 카메라를 이용한 실내에서의 전 방향 위치 검출 방법

김지홍(Jeehong Kim),김희선(Heesun Kim),이창구(Changgoo Lee) 제어로봇시스템학회 2008 제어·로봇·시스템학회 논문지 Vol.14 No.2

This article describes the methods of a decision of the location which user points to move by an optical device like a laser pointer and a moving to that location. Using a conic mirror and CCD camera sensor, a robot observes a spot of user wanted point among an initiative, computes the location and azimuth and moves to that position. This system offers the brief data to a processor with simple devices. In these reason, we can reduce the time of a calculation to process of images and find the target by user point for carrying a robot. User points a laser spot on a point to be moved so that this sensor system in the robot, detecting the laser spot point with a conic mirror, laid on the robot, showing a camera. The camera is attached on the robot upper body and fixed parallel to the ground and the conic mirror.