기호실행 심볼릭 정보를 통한 시큐어코딩의 동시성 오류(concurrency error) 탐지 방법

김준호 숭실대학교 2018 국내박사

Detection Methods about Concurrency Error of Secure Coding based on Symbolic Information of Symbolic Execution Kim, Joon-Ho Department of IT Policy and Management Graduate School of Soongsil University As businesses develope and evolve, they are increasingly reliant on software. Almost all areas such as the Internet, home appliances, and smart devices are combined with software, making it difficult to imagine a world without software. However, the higher the reliance on software, the worse the side effects. The most common case is to exploit security weaknesses left in the software without being removed from the production process. Attackers try to take advantage of the security weaknesses left in the software to seize information and take monetary gain. It has become a situation where social confusion occur and even life might be dangerous. Creating secure software is more important than we thought, and it is directly related to our survival. In order to prevent attacks on software, it is important to completely eliminate security weaknesses in the source code and to properly control the development process for them. To this end, various software inspection methodologies are emerging. Among them, static analysis inspection methodology has many advantages and is effective. However, static analysis methodology is analyzed and checked only for source code, so there is a high possibility of false positives and false negatives. Failure to resolve many false positives and false negatives leads to less confidence in the inspection methodology. In particular, it is difficult to check for concurrency errors, which are an important issue in multi-threaded environments, using the static analysis methodology. To improve this situation, I propose a methodology for checking concurrency errors in static analysis methodology using symbolic execution. Symbolic execution differs greatly from the traditional methodologies of checking security weaknesses in a patterned manner. Symbolic Execution methodology added to the static analysis methodology can detect the correct security weaknesses against concurrency errors without false positives or false negatives. This is a advanced static analysis methodology that can help implementing more secure software. To prove this, I have used open source programs to inspect various codes. 기호실행 심볼릭 정보를 통한 시큐어코딩의 동시성 오류(Concurrency Error) 탐지 방법 김준호 IT정책경영학과 숭실대학교 대학원 비즈니스가 발전하고 진화함에 따라 소프트웨어에 대한 의존도가 높아지고 있다. 인터넷이나 가전, 스마트 기기 등 거의 모든 영역이 소프트웨어와 결합하고 있기 때문에 소프트웨어 없는 세계를 상상조차 힘들다. 하지만, 소프트웨어에 대한 의존도가 높아질수록 부작용도 심해지는데, 대표적인 사례는 소프트웨어에 제작과정에서 제거되지 않고 남겨진 보안약점을 악용하는 것이다. 공격자(해커)는 소프트웨어 안에 남겨진 보안약점을 이용해서 정보를 탈취하고 금전적 이득을 취하려 한다. 심지어는 사회적 혼란을 유발되고 생명까지도 담보해야할 상황이 된 것이다. 안전한 소프트웨어를 만드는 것은 생각보다 중요하고 우리 생존과 직결된다. 소프트웨어에 대한 공격을 사전차단하기 위해서는 소스코드에 보안약점을 완전하게 제거하고 이를 위한 개발과정을 적절하게 통제하는 것이 중요하다. 이를 위해 각종 소프트웨어 점검 방법론이 대두 되고 있는데, 그중에서 정적분석 점검 방법론은 장점이 많고 효과가 크다. 하지만 정적분석 방법론은 소스코드만을 대상으로 분석 및 점검을 실시하기 때문에 오탐과 미탐의 발생 가능성이 크다. 많은 오탐과 미탐의 문제를 해결하지 못하면 점검방법론의 신뢰가 떨어진다. 특히 그 중에서도 멀티쓰레드 환경의 중요한 이슈인 동시성 오류에 대해서는 정적분석 방법론으로 점검하기가 어렵다. 이와 같은 상황을 개선하기 위해 정적분석 방법론에서 동시성 오류를 점검할 수 있는 방법론을 제안한다. 기호실행을 활용하는 방법인데, 기호실행은 소프트웨어 점검 시 상수값 대신 기호를 변수에 할당하는 방식으로 모든 실행경로에 대해 소프트웨어를 실행하는 것처럼 검증할 수 있는 장점이 있다. 기호실행은 점검하는 방식은 패턴 방식으로 보안약점을 점검해내는 기존의 방식과 크게 차별화 된다. 하지만 기호실행 또한 몇몇 문제점으로 안고 있기 때문에 기존 방법론과 선택적 병행 사용이 좋은 결과는 내는 것 같다. 기호실행 활용한 방법론이 정적 분석 방법론에 추가되면 오탐이나 미탐 없이 동시성 오류에 대해 정확한 해당 보안약점을 점검해 낼 수 있다. 이는 진일보한 정적분석 방법론이고 이를 활용하면 좀 더 안전한 소프트웨어가 구현할 수 있다. 이를 증명하기 위해 다양한 코드를 대상으로 오픈소스를 사용해서 실증했다.

무선 애드혹 네트워크에서 채널 효율성 향상을 위한 TDMA 기반의 멀티채널 MAC 프로토콜

김준호 인하대학교 정보통신대학원 2010 국내석사

본 논문은 무선 애드혹 네트워크에서 채널 효율성 및 네트워크 성능 향상을 위한 멀티채널 MAC 프로토콜을 제안한다. 멀티채널 MAC 프로토콜 설계에는 랑데부 문제(rendezvous problem)와 멀티채널 히든 노드 문제 등 두 개의 주요한 문제가 있다. 기존에 제안된 여러 멀티채널 MAC 프로토콜에서는 하나의 채널을 공통 컨트롤 채널로 사용하여 컨트롤 패킷 교환을 통해 이러한 문제들을 해결하였는데, 이것은 데이터 채널이 증가할수록 높은 경쟁으로 인한 공통 컨트롤 채널의 병목 현상을 초래하여 비효율적인 데이터 채널 이용의 원인이 된다. 본 논문에서 제안하는 멀티채널 MAC 프로토콜은 멀티채널 히든 노드 문제를 해결하기 위해 TDMA 방식을 사용하였고, 데이터를 동시에 송수신할 수 있도록 하여 네트워크 성능을 높인다. 또한 공통 컨트롤 채널을 사용하지 않기 때문에 공통 컨트롤 채널 병목 현상이 발생하지 않고, 전송 또는 수신할 데이터가 없는 노드는 슬립(sleep) 상태를 유지하도록 하여 에너지 절감(energy savings)이 가능하다. 모의실험결과는 제안한 MAC 프로토콜이 기존의 방법에 비해 네트워크 성능 및 채널 효율성을 향상시키고 에너지를 절감할 수 있다는 것을 보여준다.

구강작열감증후군과 구강 내 Helicobacter pylori의 상호관련성

김준호 조선대학교 2011 국내석사

Helicobacter pylori(H. pylori) is bacterial infection, with more than half of the world population infected and relates to many oral disease such oral lichen planus, recurrent aphthous ulceration, periodontal disease and halitosis and so on. Burning mouth syndrome(BMS) is defined as a burning sensation of the oral mucosa, lips, and/or tongue, in the absence of specific oral lesions. The etiology of BMS is suggested local, systemic and psychological factors and researchs related BMS and to infection of H. pyloir in the oral cavity are few. The purpose of this study was to evaluate relationship between burning mouth syndrome and H. pylori in the oral cavity. We recruited 21 subjects with burning mouth syndrome and 21 subjects as control group. Samples in the oral cavity were taken area of buccal mucosa, dorsum of the tongue and saliva. We analysed samples by nested polymerase chain reaction(PCR). The results were as follows : 1. Among 21 patients with burning mouth sydrome and 21 subjects of control group, 6(29%) and 3(14%) were positive respectively(P>0.05). 2. In detection rate of H. pylori in area taken sample, 3(14%), 2(10%) and 4(19%) were positive in buccal mucosa, dorsum of the tongue and saliva of patient and 2(10%) and 1(5%) were positive in dorsum of the tongue and saliva of control group(P>0.05). Conclusively, we can guess that H. pylori in the oral cavity is not related with burning mouth syndrome.

건설 장비의 개발을 위한 유압시스템 설계 및 차량 동역학적 모델링

金俊浩 國民大學校 自動車工學專門大學院 2001 국내석사

Designing the Platform to Relieve Low Back Pain through Wearable Device and Application

김준호 성균관대학교 일반대학원 2016 국내석사

Low back pain is one of the main reasons of moving disability and for this reason it is an important issue to resolve. Five of ten business men in the United States have low back pain. Also, low back pain has almost same occurrence rate through cultural boundaries and it is one of the most complained pain on medical visits. Some experts estimates 80% of world population have back pain related problems. Recently, many researches concerning low back pain release have been published. These researches made many suggestions about treatments for the pain and one of the most effective treatments is far-infrared treatment. Although effectiveness of the device is already confirmed by many researches, the users don't experience such an effective care of the pain. This low satisfaction and poor reviews call for improvement of user cognition about effectiveness of the device. This project was launched to enhance pain relief awareness. Especially this project focused on two main methods. The first method is utilization of multi-sensory stimulation. More specifically, the method provides visual effect in addition to tangible effect. The second method is utilization of application to control and manage the device. Each study has its own background, personal approach, prototyping, and evaluation section. As a result, we confirmed that the suggested platform is to relieve the user’s back pain through wearable device and application. In this paper, we suggest a multi-sensory stimulation device to improve the perception of the user and management application to improve the usability of the device. We build a prototype to relieve low back pain through wearable device and application and there is a significance as a platform.

Cavitation Instability Mechanism and Thermal Effects in a Turbopump Inducer

김준호 서울대학교 대학원 2018 국내박사

An experimental investigation has been conducted on the cause and pulsation mechanism of rotating cavitation and thermal effects on the onset of rotating cavitation. To achieve the research objectives, the test facility has been designed and constructed in Seoul National University. Based on the previous research, the author hypothesized that the incidence angle variation leads to the onset of rotating cavitation. To confirm the hypothesis, the incidence angle has been measured near the tip region of the leading edge with and without rotating cavitation through PIV (Particle Image Velocimetry) measurement method. Under the rotating cavitation conditions, large and small tip leakage vortex cavitation regions are formed, respectively, and the cavitation region at each blade becomes uneven. The large tip leakage vortex cavitation reduces the following blade incidence angle to the negative value and suppresses the cavitation region. On the other hand, the small tip leakage vortex cavitation increases the following blade incidence angle to the positive value and promotes the cavitation region. Reduction of the incidence angle due to the cavitation region leads to the onset of rotating cavitation. Based on the suppression and promotion mechanism, cavitation region at each blade pulsates in sequence at the measured rotating cavitation frequency. The propagation of rotating cavitation has also been confirmed by high-speed camera visualization. Through the time-resolved static pressure measured at the inlet of the turbopump inducer, the onset cavitation number of rotating cavitation has been determined for varying Reynolds number and non-dimensional thermal parameter values. Increasing non-dimensional thermal parameter suppresses rotating cavitation and causes a monotonic decrease in the rotating cavitation onset cavitation number. At low non-dimensional thermal parameter values (e.g., 0.0125), the onset cavitation number is independent of the Reynolds number. However, at higher values of the non-dimensional thermal parameter (e.g. higher than 0.0537), the onset cavitation number increases with increasing Reynolds number. Thus, the Reynolds number promotes rotating cavitation onset. This study provides the first experimental results of the cause and mechanism of rotating cavitation. The first assessment of the individual effects of the non-dimensional thermal parameter and Reynolds number is also presented.

진성리더십이 병원직원의 협력행동에 미치는 영향: 심리적 임파워먼트의 매개효과 및 조직공정성의 조절된 매개효과 :

김준호 인제대학교 보건대학원 2022 국내석사

본 연구는 진성리더십이 병원직원의 협력행동에 미치는 영향에 있어 심리적 임파워먼트의 매개효과와 조직공정성의 조절된 매개효과를 분석함으로써 효율적인 인적관리를 위한 시사점을 논의하는데 그 목적이 있다. 부산 소재 병원급에 종사하는 직원으로 구성된 250명의 편의표본을 대상으로 자기기입식 설문조사를 통해 자료를 수집하였다. 본 연구의 주요 분석 결과는 다음과 같다. 진성리더십이 증가할수록 협력행동은 증가하는 양상을 보였으며 심리적 임파워먼트는 이들 관계를 부분 매개하였다. 조직공정성을 구성하는 요인 중, 절차공정성은 진성리더십과 협력행동간의 관계를 조절 매개하는 양상을 보였다. 병원종사자의 협력행동에 영향을 미치기 위해서는 리더십의 변화 즉, 조직구성원의 내재적인 입장을 이해할 수 있는 진성리더십 등이 필요하고 자기효능감이나 자기만족감을 가질 수 있는 중간관리자의 권한이임 등이 요구된다. 이 과정에 있어 절차적으로 객관적이고 공정한 프로세스가 있어야 한다는 시사점을 도출하였다.

유권자의 성향에 따른 선거 정보의 수용과정 : 2012년 대선의 유권자 성향을 중심으로

김준호 서울대학교 대학원 2014 국내석사

본 논문은 유권자가 지닌 성향에 따른 정치적 정보의 수용 과정을 총체적으로 살펴보고자 한다. 구체적으로 유권자가 지닌 정치적 지식과 정치적 참여도, 학력, SNS 이용 빈도 등이 유권자의 정보 수용 과정과 유의미한 관계가 있음을 밝히고자 했다. 이러한 관계 규명을 통해 민주주의 사회에서 유권자들이 정치적 판단을 내리는 과정에 있어 선순환의 고리를 찾는 것이 본 논문의 목적이다. 위 목적을 달성하기 위해 본 연구는 유권자의 이슈에 대한 태도 변화, 유권자의 투표 결정에 영향을 미친 이슈의 성질, 유권자의 후보자 결정 시기에 주목하여 정보 수용 과정을 분석하였다. 유권자의 이슈에 대한 태도 변화에 있어서 지지하는 정당이 없는 사람이 지지하는 정당이 있는 사람보다 태도 변화가 많이 일어나는 것으로 밝혀졌다. 또한 모든 설문에서 명확한 결과가 나타난 것은 아니지만 대체적으로 정치적 지식과 참여도가 중간인 유권자인 경우 태도 변화가 많이 일어나는 것으로 나타났다. 이러한 결과는 평균적인 정치적 지식을 지닌 유권자들이 이슈에 대해 병존적인 태도를 지니고 있음을 보여준다. 한편 유권자의 투표 결정에 영향력을 미친 이슈의 성질도 유권자의 성향에 따라 다른 양상을 보인다. 유권자의 정치적 지식과 교육 수준이 높을수록 이슈 중에서도 사실관계가 복잡하고 내용을 직관적으로 파악할 수 없는 이슈의 영향을 받을 확률이 증가했다. 마찬가지로 정치적 참여도와 SNS의 이용 빈도가 높을수록 사실관계가 복잡한 이슈의 영향을 받을 확률이 증가하는 것으로 밝혀졌다. 끝으로 유권자의 후보자 결정 시기는 지지하는 정당 유무와 긴밀한 관련이 있다는 결과가 도출되었다. 하지만 지지하는 정당이 있는지 여부를 통제한 후에는 각 집단이 2012년 대선에서 지지할 후보자를 결정하는 시기와 정치적 지식, 정치적 참여도가 일정 정도 유의미한 관계에 있는 것으로 나타났다. 특히 지지하는 정당이 없는 집단의 경우 정치적 참여도, SNS의 이용 빈도, 교육 수준과 지지할 후보자 결정 시기가 유의미한 관계에 있는 것으로 밝혀졌다. 본 연구는 정치적 정보 환경에서 유권자가 어떤 경로를 통해서 정보를 수용하는지를 유권자의 성향을 중심으로 총체적으로 바라보고자 노력했다는 점에서 의의가 있다. 이러한 이론을 바탕으로 2012년 대선에서 일어난 유권자의 정치적 판단을 인지적 차원에서 분석하여 유권자의 정치적 정보 수용 과정을 이론화하여 정리하고자 하였다.

Exact results on higher dimensional quantum field theories

김준호 서울대학교 대학원 2015 국내박사

This thesis aims at studying the higher dimensional quantum field theories, engi- neered from the string theory. These theories are genuinely strongly interactive, thus being difficult to be understood within the conventional QFT framework. In particular, I focus on those 5d / 6d QFTs which can be deformed to the weakly coupled 5d Yang-Mills theories, in which the deformation is caused either by a rel- evant operator or by a circle compactification. Instantons are crucial for observing the physics of 5d / 6d QFTs which correspond to the UV fixed points of certain 5d SYMs. In the first half of the thesis, I obtain the general expression for the instanton partition function of 5d SYMs and apply it to study the spectrum of various UV QFTs. The second half focuses on the 6d non-critical strings, which are key objects of 6d QFTs. Two types of 6d strings, M-strings and E-strings, are considered, for which the worldsheet gauge theories are explicitly developed.

콜레스테롤 고갈이 세포사멸 과정 중 분비되는 세포외 소포체에 미치는 영향

김준호 아주대학교 2023 국내석사

세포에서 방출되는 세포외 소포 (EVs)는 주로 세포 사멸체 (apoptotic body), 미세 소포 (micro vesicle), 엑소좀 (exosome)으로 분류되며, 특히 엑소좀은 세포간의 상호작용과 분자 운반에 유용한 수송체로 간주된다. 그러나 엑소좀의 생성 매커니즘은 아직 완전히 이해되지 않은 상태이다. 또한, 엑소좀의 임상 응용에서는 그들의 매우 낮은 수율과 같은 여러 실질적인 도전이 있다. EVs의 막은 콜레스테롤 (cholesterol), 포스파티딜콜린 (phosphatidylcholine), 포스파티딜세린 (phosphatidylserine), 스핑고미엘린 (sphingomyelin)과 같은 다양한 지질로 구성되어 있다. 그 중에서도 콜레스테롤은 가장 풍부하게 존재하며 엑소좀의 생성과 관련이 있다고 알려져 있다. 그러나 엑소좀 생성과 콜레스테롤의 연관성은 아직 명확하지 않다. 이 관점에서 세포사멸 유도 약물 처리로 엑소좀의 방출량이 증가하는 것이 이전 연구를 통해 보고되었으며, 본 연구에서는 Methyl-beta-cyclodextin (MBCD) 처리로 세포막의 콜레스테롤을 고갈시킨 세포로부터 방출된 엑소좀의 양과 특성을 조사하였다. 결과적으로 콜레스테롤 고갈은 엑소좀의 방출량을 증가시켰지만, 엑소좀의 물리적 특성에는 영향을 주지 않았다. 또한 콜레스테롤 고갈된 세포로부터 나온 엑소좀을 대식세포에 처리했을 때, 염증 반응이 콜레스테롤을 고갈시키지 않은 대조군에 비해 감소되었다. 또한 세포로부터의 콜레스테롤 고갈은 세포의 형태적 특징을 세포사멸에서 독특한 괴사 패턴으로 변화시켰다. 이 결과는 막 콜레스테롤 수준이 엑소좀 생성, 세포사멸 및 엑소좀의 염증 반응에 영향을 미친다는 것을 시사한다.