http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
정의되지 않은 행동에 의한 안전성 검사 무효화 탐지 기법
이종협(JongHyup Lee) 한국정보보호학회 2014 정보보호학회논문지 Vol.24 No.1
C언어에는 프로그래머의 의도와는 다르게 동작하는 정의되지 않은 행동(undefined behavior)들이 존재한다. 정상적인 데이터를 확인하기 위한 안전성 검사에서 정의되지 못한 행동에 해당되는 경우를 인지하지 못하고 사용하여 안전성 검사가 컴파일러에 의해 무효화 되는 문제점이 발생한다. 본 논문에서는 이러한 문제점들을 해결하기 위해 소스코드에서 안전성 검사를 표기하고 실행파일에서 유효성을 확인하는 자동화된 시스템을 제안한다. C programming language has undefined behaviors, which cause unintended execution of a program. When a programmer adds sanity checks without caring about undefined behaviors, compilers may misunderstand and invalidate the sanity checks. Thus, we propose an automated system to detect invalidated sanity checks by marking sanity checks in source code and checking the marks in binary code.
전자 기계식 브레이크 차량의 승차감을 위한 제동 제어 알고리즘 개발
이종협(Jonghyup Lee),최세범(Seibum Choi) 한국자동차공학회 2018 한국자동차공학회 부문종합 학술대회 Vol.2018 No.6
승차감은 차량의 가장 중요한 성능 지표 중 하나이다. 특히, 극한 상태에 대한 제어가 필요하지 않는 대부분의 주행상황에서는 그 중요도가 더욱 증가한다. 최근 전자 기계식 브레이크 등의 전기식 제동장치의 개발을 통해 기존 유압 제동 시스템에 비해 자유로운 제어가 가능하며, 이를 통한 승차감 제어 역시 가능하다. 본 연구에서는 제동 직전에 제동력을 줄여, 제동하는 순간의 승차감을 개선하는 것을 목표로 한다. 제동 거리의 증가를 방지하기 위해 저속상태에서 제어가 시작되며, 매우 짧은 시간 동안 제어가 이루어 진다. 승차감을 높이기 위해 가속도의 변화인 저크를 통해 정의된 불쾌지수를 최소화 하는 차량 가속도의 목표 값을 정의하고, 이를 잘 따라가도록 하는 가속도 제어기의 설계가 이루어진다. 제동 명령을 정확히 따라가지 못하는 결과를 방지하기 위해 가속도의 목표 값을 갱신하는 알고리즘을 추가하여, 최종적인 제어 목를 이루도록 설계하였다. 이 제어기의 성능을 검증하기 위해 자동차 시뮬레이터 Carsim을 통해 시뮬레이션 검증을 완료하였으며, 결과적으로 승차감이 크게 향상되는 것을 확인하였다.
확장성을 고려한 안전한 Femtocell 서비스 클러스터 구성 기법
이종협 ( Jonghyup Lee ),서성훈 ( Sunghoon Seo ),송주석 ( Jooseok Song ) 한국정보처리학회 2009 한국정보처리학회 학술대회논문집 Vol.16 No.1
이동통신의 급속한 발전과 함께 사용자의 서비스 요구를 만족시키기 위한 femtocell 기술이 개발되고 있다. Femtocell 기지국은 적은 사용자를 대상으로 고품질의 서비스를 제공할 수 있지만, 기존 기지국에 비하여 숫자가 많고 별도의 사용자 접속 리스트를 유지한다는 점에서 확장성 측면에서 한계를 보이고 있다. 따라서, 본 논문에서는 지리적 특성과 사용자 연관성이 높은 femtocell 기지국간 하나의 관리 영역을 가지기 위한 서비스 클러스터 구성 기법을 제안한다. 제안하는 기법은 femtocell 기지국들과 이동단말들의 상호 작용만을 통하여 수행되므로 높은 확장성을 가진다.
이종협(JongHyup Lee) 한국정보보호학회 2012 정보보호학회논문지 Vol.22 No.3
실행파일에 대한 정적인 분석을 통한 역공학 과정은 소프트웨어 보안에서 필수적인 단계이다. 역공학은 크게 소프트웨어가 사용하는 데이터 구조와 제어 구조에 대하여 수행된다. 특히 데이터 역공학은 소프트웨어를 이해하기 위해 필수적이지만 기존의 VSA기법은 단편화된 실행파일에 대한 한계를 가지고 있다. 본 논문에서는 동적인 영역할당을 통해 이러한 문제점을 해결하고 데이터 구조 역공학의 성능을 향상시킨다. Reverse engineering via static analysis is an essential step in software security and it focuses on reconstructing code structures and data abstractions. In particular, reverse engineering of data abstractions is critical to understand software but the previous scheme, VSA, is not suitable for applying to fragmented binaries. This paper proposes an enhanced method through dynamic region assignment.
이종협(Jonghyup Lee),김은혜(Eunhye Kim) 한국자료분석학회 2005 Journal of the Korean Data Analysis Society Vol.7 No.1
추정된 선형 회귀모형의 적합도를 측정하는 결정계수는 절편항의 포함여부, 오차항의 자기상관 존재 유무에 따라 음수 또는 1이 넘는 경우가 발생한다. 본 논문에서는 오차항이 일차 이동평균 과정을 따르는 선형회귀모형에서 다양한 회귀계수 추정량에 근거한 결정계수를 모의실험을 통하여 비교한다. 소표본 하에서 오차항이 강한 양의 상관관계가 있는 경우 보통최소제곱 추정량에 근거한 결정계수는 과대 추정되고, 근사 추정량에 근거한 결정계수는 과소 추정되어 해석에 유의해야 한다. 그 외의 경우 보통최소제곱 추정량에 근거한 결정계수는 일반최소제곱 추정량에 근거한 결정계수와 차이가 미비하여 실제 자료분석시 이의 사용을 제안한다. Four estimators of the regression coefficient are derived in the linear regression model with MA(1) errors for trended data. The adjusted coefficient of determination R², which is based on the four estimators, is suggested. The efficiency of the proposed R² is investigated through the Monte Carlo experiments. Except the case of strong positive correlation between error terms, the R²_OLS is recommended as a measure to assess the precision of the fitted linear trend regression model.
가속도 센서가 장착된 지능형 타이어를 통한 각 바퀴 하중 추정
정다솔(Dasol Jeong),이종협(Jonghyup Lee),최세범(Seibum Choi),김민태(Mintae Kim) 한국자동차공학회 2018 한국자동차공학회 지부 학술대회 논문집 Vol.2018 No.5
본 논문은 Intelligent tire에 장착된 가속도 센서를 기반으로 한 각 바퀴 하중 추정 알고리즘을 다루었다. 각 바퀴 하중의 경우 잠김방지제동장치(ABS), 차체자세제어장치(ESP), 능동현가장치 등 대부분의 차량 제어 시스템에 활용되는 정보이다. 대부분의 기존 논문들은 차량 모델과 차량 파라미터에 의존하여 하중을 추정하는 알고리즘에 대해 다루었다. 하지만, 이는 수식적으로 복잡하며 차량 파라미터에 크게 의존하기 때문에 강건성을 보장하지 못한다는 단점이 있다. 그렇기에 본 논문에서는 보다 직관적이며 차량 모델을 사용하지 않는 강건한 하중 추정 알고리즘을 제안하였다. 새로운 하중 추정 알고리즘은 intelligent tire를 통해 타이어-노면 간의 접지 길이를 추정하는 것에서 시작된다. 이러한 접지 길이는 실험적으로 속도에 의한 영향은 작고 하중과 압력에 지배적인 양상을 띠는 것을 검증했다. 그 후 실험 결과를 토대로 하중, 압력, 접지 길이 간에 3차원 함수를 구성하였으며, 이를 통해 하중을 추정하였다. 최종적으로, 개발된 하중 추정 알고리즘은 Flat trac을 활용하여 실험적으로 검증되었다.
시간값을 이용한 경량의 Pair-wise 키 생성 기법
정진호 ( Jin-ho Jung ),이종협 ( Jonghyup Lee ),송주석 ( Jooseok Song ) 한국정보처리학회 2009 한국정보처리학회 학술대회논문집 Vol.16 No.1
본 연구에서는 하드웨어적으로 제한사항이 있는 장비에서 최소한의 보안성을 제공하기 위해 XOR 방식의 Pair-wise 키값을 생성하는 간단한 보안기법을 제안한다. 제안한 보안 기법은 Random Key Predistribution 을 통하여 장비별 시간값과 고유값을 XOR 하여 서로 교환한 후, 상호 교환한 값을 다시 XOR 하여 두 장비간의 Pair-wise 키값을 생성한다. 이후, 지속적으로 변화되는 시간값으로 인해 매 통신시마다 다른 Pair-wise 키값을 사용할 수 있을 것이다. 기존의 보안알고리즘(DES, AES 등)의 연산 보다 매우 간단하고, 노드별 독특한 키 변화패턴을 통하여 키 유출이 어려우며, 장비가 캡처당하는 공격이 발생하더라도 전체 네트워크의 보안성이 저하되지 않는다는 장점을 가진다.