• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.701-713
• /
• 2021

Race Condition은 둘 이상의 프로세스가 하나의 공통 자원에 대해 입력이나 조작이 동시에 일어나 의도치 않은 결과를 가져오는 취약점이다. 해당 취약점은 서비스 거부 또는 권한 상승과 같은 문제를 초래할 수 있다. 소프트웨어에서 취약점이 발생하면 관련된 정보를 문서화하지만 종종 취약점의 발생 원인을 밝히지 않거나 소스코드를 공개하지 않는 경우가 있다. 이런 경우, 취약점을 탐지하기 위해서는 바이너리 레벨에서의 분석이 필요하다. 본 논문은 UNIX 커널기반 File System의 Time-Of-Check Time-Of-Use (TOCTOU) Race Condition 취약점을 바이너리 레벨에서 탐지하는 것을 목표로 한다. 지금까지 해당 취약점에 대해 정적/동적 분석 기법의 다양한 탐지 기법이 연구되었다. 기존의 정적 분석을 이용한 취약점 탐지 도구는 소스코드의 분석을 통해 탐지하며, 바이너리 레벨에서 수행한 연구는 현재 거의 전무하다. 본 논문은 바이너리 정적 분석 도구인 Binary Analysis Platform (BAP)를 통해 Control Flow Graph, Call Graph 기반의 File System의 TOCTOU Race Condition 탐지 방법을 제안한다.

• 천문학회보
• /
• 제42권2호
• /
• pp.63.3-64
• /
• 2017

KIC6118779 is an over-contact binary system having a short orbital period of about 0.36 days. The photometric data for this system are acquired by the observations of Kepler mission in the long cadence mode having a time resolution of about 30 minutes. It means that the Kepler light curves of the system may be strongly affected by phase smearing effect and the analysis of them without consideration of the phase smearing effect may result in wrong stellar properties. Additionally, this system also shows dynamical variation of light curve resulting from spot activity. For all those reasons, it is difficult to investigate KIC6118779, and the investigation should be carried out carefully. In this presentation, we introduce the phase smearing effect and carry out the light curve modeling with the 2015 version of the Wilson-Devinney binary code considering the phase smearing effect. Our results show that the system is a deep over contact binary system and has extremely low mass ratio of about 0.12. Moreover our spot modeling implies the cyclic migration of a big cool spot on the massive component.

• 한국인터넷방송통신학회논문지
• /
• 제10권1호
• /
• pp.39-50
• /
• 2010

본 논문에서는 다중 사용자 간섭이 존재하는 환경에서 초광대역 (UWB: Ultra Wide Band) 기반의 전술이동통신 시스템의 성능을 분석하고 모의 실험을 통해 성능을 검증하였다. 본 논문에서 고려한 시스템은 채널에서 발생하는 오류를 정정하기 위해 이중 이진 터보 부호를 채널 부호로 채택한 시스템이다. 무선 채널은 수정된 SV (Saleh and Valenzuela) 모델로 모델링되었다. 또한 시스템 성능을 향상시키기 위해 시공간 블록 부호화 (STBC: Space Time Block Coding) 개념을 적용하였다. 시스템 성능은 비트 오류 확률 측면에서 분석되었다. 모의 실험 결과, 이중 이진 터보 부호로 부호화된 UWB 기반의 전술이동통신 시스템은 다중 사용자 간섭이 존재하는 환경에서 적절한 부호화 및 복호화 복잡도를 가지면서도 상당한 부호화 이득을 가질 수 있는 것을 확인하였다. 또한 고정된 부호화율에서 UWB 기반의 전술이동통신 시스템의 비트 오류 확률 성능은 반복 복호 횟수를 증가시킴에 따라 향상되는 것을 확인하였다. 그리고 이중 이진 터보 부호는 요구되는 비트 오류 확률을 유지하면서 동시 사용자 수를 증가시키는데 매우 효과적임이 검증되었다.

• 한국산업보건학회지
• /
• 제6권1호
• /
• pp.55-66
• /
• 1996

This study was conducted to evaluate breakthrough characteristics of respirator cartridge using multi-organic vapors, including carbon tetrachloride, trichloroethylene, and toluene. The organic vapors were used as single phase, binary system, and ternary system. The results are summarized as follows. 1. Organic vapors studied were 1,000 ppm, 750 ppm, 500 ppm and 250 ppm in single phase. Carbon tetrachloride having the highest molecular weight showed the breakthrough first, and breakthrough sequency by organic vapor was dependent on its molecular weight. The 10% breakthrough times at 1,000 ppm of organic vapor were 97 minutes for carbon tetrachloride, 129 minutes for trichloroethylene and 135 minutes for toluene. 2. When concentrations of organic vapors were at levels of the Threshold Limit Values, the lives of the respirator cartridges were 122 hours in carbon tetrachloride, 18 hours in trichloroethylene and 28 hours in toluene. 3. In the binary system at a total concentration of 1,000 ppm with carbon tetrachloride and trichloroethylene, breakthrough times ranged from 104 minutes to 125 minutes, which were longer than 97 minutes in a single phase (1,000 ppm) for carbon tetrachloride, but shorter than breakthrough times for TCE and Toluene. 4. Breakthrough times in the binary system with carbon tetrachloride and toluene were 131~132 minutes. 5. Breakthrough times in the ternary system with carbon tetrachloride, toluene, and trichloroethyl ene were $120{\pm}8$ minutes, which were longer than 97 minutes in the single phase (1,000 ppm) for carbon tetrachloride, equal to 129 minutes for trichloroethylene, and shorter than 135 minutes for toluene. Those were almost similar to $124{\pm}9$ minutes of breakthrough times in the binary systems.

• IEIE Transactions on Smart Processing and Computing
• /
• 제5권6호
• /
• pp.454-461
• /
• 2016

A maximum power point tracking (MPPT) system with fast-tracked time and high power efficiency is presented in this paper. The proposed MPPT system uses an unbounded binary search (UBS) algorithm that continuously tracks the maximum power point (MPP) with a binary system to follow the MPP under rapid-weather-change conditions. The proposed algorithm can decide the correct direction of the MPPT system while comparing the previous power point with the present power point. And then, by fixing the MPP until finding the next MPP, there is no oscillation of voltage MPP, which maximizes the overall power efficiency of the photovoltaic module. With these advantages, this proposed UBS is able to detect the MPP more effectively. This MPPT system is based on a boost converter with a micro-control unit to control analog-to-digital converters and pulse width modulation. Analysis of this work and experimental results show that the proposed UBS MPPT provides fast, accurate tracking with no oscillation in situations where weather rapidly changes and shadow is caused by all sorts of things. The tracking time is reduced by 87.3% and 66.1% under dynamic-state and steady-state operation, respectively, as compared with the conventional 7-bit perturb and observe technique.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2004년도 추계학술대회 학술발표 논문집 제14권 제2호
• /
• pp.553-559
• /
• 2004

In todays security industry, personal identification is also based on biometric. Biometric identification is performed basing on the measurement and comparison of physiological and behavioral characteristics, Biometric for recognition includes voice dynamics, signature dynamics, hand geometry, fingerprint, iris, etc. Iris can serve as a kind of living passport or living password. Iris recognition system is the one of the most reliable biometrics recognition system. This is applied to client/server system such as the electronic commerce and electronic banking from stand-alone system or networks, ATMs, etc. A new algorithm using nonlinear function in recognition process is proposed in this paper. An algorithm is proposed to determine the localized iris from the iris image received from iris input camera in client. For the first step, the algorithm determines the center of pupil. For the second step, the algorithm determines the outer boundary of the iris and the pupillary boundary. The localized iris area is transform into polar coordinates. After performing three times Wavelet transformation, normalization was done using sigmoid function. The converting binary process performs normalized value of pixel from 0 to 255 to be binary value, and then the converting binary process is compare pairs of two adjacent pixels. The binary code of the iris is transmitted to the by server. the network. In the server, the comparing process compares the binary value of presented iris to the reference value in the University database. Process of recognition or rejection is dependent on the value of Hamming Distance. After matching the binary value of presented iris with the database stored in the server, the result is transmitted to the client.

• 정보학연구
• /
• 제6권1호
• /
• pp.71-84
• /
• 2003

본 논문에서는 제안한 2차원 이진 코드를 이용하는 효율적인 정보 인식 시스템을 제안한다. 먼저 전체 영상내에서 이진 영상의 위치를 검색하며 검색 방법은 블록 영역 분류 기법을 이용하여 각 블록의 경계선 영역을 검색하여 이진 부호 영상의 위치를 검색한다. 각 경계선 영역은 수직 영역과 수평영역으로 구분한다. 수평영역이 발견된 경우 6블록을 연속하여 수평영역인 경우 수평영역 검색을 시작한 처음 위치에서 수직영역을 검색하여 10블록 이상의 수직영역이 발견된 경우 부호 영역을 획득한다. 실제적인 부호영역은 평균값을 기준으로 이진화 과정을 수행한 후 이진화 영상으로부터 구한 전체 모서리의 비율을 검사함으로써 원하는 부호를 획득한다. 비율이 틀린 경우 다시 검색을 시작하여 전체 과정을 한번 더 수행하게 된다. 이때의 수행과정은 이미 영역분류가 이루어진 블록별 영상으로 수행하므로 수행 시간은 전체 영상에 적용한 것보다 빠르게 수행된다는 것을 알 수 있다. 이렇게 함으로써 본 논문에서 제안한 시스템은 이진 영상으로부터 다양한 정보들을 추출할 수 있다.

• 대한수학회보
• /
• 제45권4호
• /
• pp.651-661
• /
• 2008

Given binary operations "*" and "$\circ$" on a set X, define a product binary operation "$\Box$" as follows: $x{\Box}y\;:=\;(x\;{\ast}\;y)\;{\circ}\;(y\;{\ast}\;x)$. This in turn yields a binary operation on Bin(X), the set of groupoids defined on X turning it into a semigroup (Bin(X), $\Box$)with identity (x * y = x) the left zero semigroup and an analog of negative one in the right zero semigroup (x * y = y). The composition $\Box$ is a generalization of the composition of functions, modelled here as leftoids (x * y = f(x)), permitting one to study the dynamics of binary systems as well as a variety of other perspectives also of interest.

• Bulletin of the Korean Chemical Society
• /
• 제27권3호
• /
• pp.429-431
• /
• 2006

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -1
• /
• pp.662-665
• /
• 2002

This paper describes a novel converter to implement high-speed binary-to-residue conversion for moduli 2$^{n}$ - 1, 2$^{n}$ , 2$^{n}$ +2$^{\alpha}$/($\alpha$$\in$｛0,1,…,n-1｝) without using look-up table. In our implementation, the high-speed converter can be achieved, because of the modulo addition time is independent of the word length of operands by using the Signed-Digit (SD) adders inside the modulo adders. For a LSI implementation of residue SD number system with ordinary binary system, the proposed binary-to-residue converter is the efficient circuit.cient circuit.