http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
의미 기반 정적 분석과 규칙 명세 언어를 활용한 C/C++ 프로그램 보안 취약점 검출
윤용호(Yongho Yoon),진민식(Minsik Jin),정영범(Yungbum Jung),이규호(Gyuho Lee),김희동(Heedong Kim),김진국(Jingoog Kim) 한국정보과학회 2019 정보과학회 컴퓨팅의 실제 논문지 Vol.25 No.10
보안 취약점을 정적 분석으로 검출하는 것에는 여러 장점이 있지만 일반적으로 새로운 취약점 검출을 지원하기 위한 비용이 크다는 어려움이 있다. 검출 범위를 손쉽게 확장하기 위해 보안 취약점을 표현할 수 있는 방법을 정의하고 그 표현에 부합하는 프로그램을 검출하는 기술이 존재하지만 대개 프로그램의 모양에만 의존하거나 간단한 값 흐름 분석에만 적용할 수 있었다. 이런 점을 보완하기 위하여 보안 약점을 표현할 수 있는 규칙 명세 언어를 정의하고 이를 기반으로 취약점을 검출하는 요약 해석 기반 정적 분석 도구를 고안 및 구현하였다. 분석 대상 언어는 C/C++이며, 상용 정적 분석 도구에 포함된 C/C++ 분석 엔진을 기반으로 규칙 명세 언어 매칭 검사기를 구현했다. 대상 취약점은 CWE(Common Weakness Enumeration) 목록 중 적합한 17가지를 선별했다. 정오탐률 계산을 위해 자동생성한 테스트 셋을 대상으로 성능을 시험한 결과 정탐률은 61.4%, 오탐률은 7.5%로 집계되었다. In spite of a number of advantages to detecting security holes using static semantic analysis, new types of vulnerabilities are not easily detected by the existing static analyzers. Some technologies have defined mechanisms to identify security vulnerabilities and match them with the programs but they are based only on simple syntactic analysis or data-flow analysis. We defined rule description language (RDL) to describe vulnerability rules and made a static analyzer based on abstract interpretation that detects the denoted defects in C/C++ programs. Implementation of the RDL matching engine was based on an existing commercial C/C++ static analysis tool. We selected 17 rules from the CWE (Common Weakness Enumeration) list that fit with RDL and static analysis. We evaluated the correctness of our tool with automatically generated test cases and the result showed 61.4% true positive and 7.5% false negative rates.
윤용호 ( Yongho Yoon ),정지훈 ( Jihoon Jung ) 한국화학공학회 2016 Korean Chemical Engineering Research(HWAHAK KONGHA Vol.54 No.5
V-Cr-Y 합금은 높은 투과도와 선택도를 가진 수소 분리막 재료이다. V-Cr-Y 분리막의 투과속도를 증가시키기 위하여 sputtering을 이용한 V-Cr-Y 박막을 제조하고 그 특성을 연구하였다. V-Cr-Y 성분이 각각 89.8%, 10.0%, 0.2%인 타겟을 이용하여 실리콘웨이퍼 위에 박막을 증착시켰으며, EDS 분석을 통해 박막조성이 타겟조성과 일치함을 확인하였다. 스퍼터링 온도와 출력이 증가할수록 박막의 성장속도와 결정크기가 증가하였으며, 압력이 감소할수록 결정구조가 보다 미세하고 치밀해졌다. 최적 스퍼터링 조건은 교류 고주파(RF), 2mTorr, 300W, 상온이었으며, 이 조건으로 제조한 박막을 열처리 하여 수소분리에 적합한 박막을 얻을 수 있었다. V-Cr-Y alloy is a material for hydrogen separation membrane possessing high transmittance and selectivity. In order to increase the rate of hydrogen permeation flux through the membrane, V-Cr-Y thin film was prepared using a sputtering technique and was investigated focusing on its basic properties. Thin film was deposited on a silicon wafer using a target including V (89.8%), Cr (10.0%) and Y(0.2%), and results of EDS analysis confirm that the ratio of metal in thin film agrees with that in the target. Higher sputtering temperature and power resulted in more rapid growth rate of the thin film and larger size of the crystals, and denser and finer crystal structure was observed when lower pressure was applied. An optimal sputtering condition was found with RF, 2mTorr, 300W and ambient temperature, and a suitable V-Cr-Y thin film for hydrogen separation was obtained upon heat treatment of the thin film prepared in this way.
윤용호(Yongho Yoon),김진영(Jinyung Kim),이광근(Kwangkeun Yi) 한국정보과학회 2012 한국정보과학회 학술발표논문집 Vol.39 No.1A
이 논문은 안드로이드 어플리케이션의 불필요한 코드를 찾는 방법을 제안한다. 불필요한 코드란 어플리케이션이 실행되는 도중에 한 번도 호출되지 않는 메소드로 한정한다. 불필요한 코드를 찾으면 어플리케이션의 크기를 줄일 수 있고, 개발자는 디버깅에도 이용할 수 있다. 안드로이드 어플리케이션의 불필요한 코드를 찾을 때는 자바의 특성과 안드로이드의 특성을 잘 고려해야 한다. 우리의 방법은 이 특성들을 잘 고려하여 불필요한 코드를 안전하게 찾도록 설계하였으며, 제안한 방법을 구현하여 실제 안드로이드 공식마켓의 인기 무료 앱을 수집해 시험하였다.
저가형 아날로그 구동장치를 이용한 Switched Reluctance Motor의 스위칭 Duty 가변제어
윤용호,Yoon, Yongho 한국인터넷방송통신학회 2021 한국인터넷방송통신학회 논문지 Vol.21 No.3
산업응용에서 정확한 속도 및 전류 제어를 위해 SRM (Switched Reluctance Motor)은 특성상 드라이브에서 고정자의 상 여자와 회전자의 위치를 동기화시키는 것이 매우 중요하다. 따라서 적절한 스위칭 동작을 위해 정확한 회전자 위치정보는 필수적이기에 위치 센서가 필요하다. 회전자 위치에 따라 적정 고정자 권선을 여자 시켜 회전력을 발생시키기고 속도와 위치정보를 이용하여 전동기를 제어하기 위해서 일반적으로 엔코더 (Encoder), 레졸버 (Resolver) 같은 위치센서를 사용한다. 그러나 이러한 센서들은 1) 가격적 측면에서 센서들의 가격이 상당히 크기 때문에 전체 시스템 비용에서 전동기 시스템이 차지하는 비율이 높다. 또한 2) 기계적 측면에서 엔코더나 레졸버와 같은 위치센서들을 고정자측에 부착하여 크기 및 무게를 증가시키고 있다. 결론적으로 SRM을 구동하기 위해서는 회전자 위치정보에 따른 제어가 기본적으로 이루어져야 하며 적용 분야를 고려해서 환경에 따른 SRM 구동 시스템을 설계하는 것이 중요하다. 따라서 본 논문에서는 기존의 엔코더 (Encoder), 레졸버 (Resolver)를 사용하는 일반적인 제어시스템에서 벗어나서 저가형 아날로그 구동장치를 설계하여 스위칭 Duty 가변 제어를 통한 SRM의 구동 및 제어 특성을 연구하고자 한다. For accurate speed and current control in industrial applications, SRM (Switched Reluctance Motor) is very important to synchronize the stator phase excitation and rotor position in the drive due to its nature. In general, position sensors such as encoder and resolver are used to generate rotational force by exciting the stator winding according to the rotor position and to control the motor by using speed and position information. However, for these sensors, 1) the cost of the sensors is quite large in terms of price, so the proportion of the motor system to the total system cost is high. 2) In terms of mechanical, position sensors such as encoders and resolvers are attached to the stator to increase the size and weight. In conclusion, in order to drive the SRM, control based on the rotor position information should be basically performed, and it is important to design the SRM driving system according to the environment in consideration of the application field. Therefore, in this paper, we intend to study the driving and control characteristics of SRM through variable switching duty control by designing a low-cost analog driving device, deviating from the general control system using the conventional encoder and resolver.