그래프 분할을 이용한 레지스터 할당

한경숙(Kyungsook Han),표창우(Changwoo Pyo) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2B

컴파일러의 최적화 단계의 하나인 레지스터 할당에 대한 연구는 지금까지 Chaitin의 그래프 감축에 의한 컬러링에 기초하여 휴리스틱을 개선하는 방향으로 연구되어왔다. 본 논문은 사용 레지스터 수의 최소화 문제뿐만 아니라 레지스터 사용상 가해지는 여러 가지 임의의 제약조건 수용에 효과적인 그래프 분할 방법을 개발하였다. 그래프 분할 알고리즘의 사용시 선호도 처리와 대피코드 삽입 등에서 기대할 수 있는 성능향상, 그리고 그래프 감축에 의한 컬러링 방법을 이용한 알고리즘들과 비교할때의 그래프 분할 알고리즘의 성능에 대해 논하였다.

전자정부 응용 개발을 위한 시큐어 코딩 가이드

한경숙(Kyungsook Han),표창우(Changwoo Pyo) 한국정보보호학회 2015 情報保護學會誌 Vol.25 No.1

컴퓨터와 네트워크가 보안 상 안전하려면 무엇보다 사용되는 시스템 및 응용 프로그램에 보안약점이 없어야 한다. 보안약점은 공격자가 이용하여 제어 흐름을 탈취하거나 원하는 정보를 유출할 수 있게 하는 프로그램 상의 불완전한 부분을 뜻한다. 보안약점이 없는 프로그램을 만들기 위한 방법으로 시큐어 코딩 규칙을 정의하고, 프로그램 개발 단계에서 이를 적용하게 할 수 있다. 코딩 과정에서 시큐어 코딩 규칙을 준수하여 보안약점 발생을 억제하는 방법은 예방적 조치이다. 아무런 규칙 없이 코딩을 진행한 후 보안약점을 분석, 제거하는 방법보다 프로그래머들에게 부담이 적고, 정적 분석을 사용하여 보안약점을 분석하는 도구들의 치명적인 약점인 오탐 비율을 낮춘다. 이 글은 2014년까지 소프트웨어 개발보안 센터를 중심으로 진행된 행정자치부의 C/C++, Java, PHP 프로그래밍 언어를 위한 시큐어 코딩 가이드에 대하여 설명한다.

시뮬레이션을 이용한 소프트 핸드오프 방식의 성능 분석

한경숙(Kyungsook Han),김태정(Taejung Kim) 한국정보과학회 2000 정보과학회 컴퓨팅의 실제 논문지 Vol.6 No.4

CDMA 이동 통신 시스템의 소프트 핸드오프의 성능에 잠재적으로 영향을 줄 수 있는 요소들은 핸드오프 관련 시스템 파라미터 (T_ADD, T_DROP, T_COMP, T_TDROP) 이외에도 가입자의 이동성, 서비스 지역, 기지국의 용량 등 여러 가지가 있다. 이동 통신에서 핸드오프가 차지하는 중요성으로 인하여, 여러 가지 핸드오프 방식이 제안되었고, 제안된 방식의 우수성을 시뮬레이션 프로그램을 수행하여 실험적으로 증명하기 위한 연구가 많이 행하여졌지만, 핸드오프 관련 시스템 파라미터, 가입자의 이동성과 환경, 기지국 용량 등을 어떻게 모델링하였느냐에 따라 시뮬레이션의 객관성과 신빙성이 달라진다. 본 논문은 이동국의 속도를 고려하여 소프트 핸드오프의 지연 시간을 제어하는 새로운 핸드오프 방식을 제안하고, 컴퓨터 시뮬레이션을 이용하여 이 방식과 기존 방식을 비교 분석한 연구에 관하여 논한다. 시뮬레이션 결과는 이동국의 속도 이외에도 이동 영역과 방향에 따라 핸드오프 방식의 성능이 현저하게 다르게 나타날 수 있다는 것을 보였다. 구체적으로, 본 논문에서 제안한 핸드오프 방식의 성능은 자유 이동을 하는 이동국의 경우에 기존 방식보다 우수하지만, 이동 영역과 방향이 제한된 이동을 하는 이동국의 경우에 기존방식과 차이가 없는 것으로 나타났다. 또한, 같은 핸드오프 방식이라도 서비스 지역을 2차원 공간으로 모델링하였느냐 아니면 3차원 공간으로 모델링하였느냐에 따라서 시뮬레이션 결과가 달랐다. 따라서, 핸드오프의 성능 분석 연구에서 이동국의 이동성 모델이 중요하며, 특히 이동 통신 시뮬레이션 연구에서 그 동안 무시되었던 이동국의 이동 영역과 방향성도 중요한 이동성의 특성으로서 고려되어야 할 것을 시사한다. The performance of soft handoffs of CDMA mobile communication systems is potentially determined by several factors such as handoff-related system parameters (T_ADD, T_DROP, T_COMP, T_TDROP), mobile stations' mobility, service areas, capacity of base stations. Due to the importance of handoffs in mobile communications, several methods have been proposed and tested through computer simulations to prove the efficiency of proposed methods. Different assumptions on the above mentioned factors often produce different simulation results. Therefore, the credibility of a simulation result is directly determined by the objectivity of the assumptions made by the simulation. This paper proposes a new soft handoff method that controls handoff delay time based on a mobile station's speed, and compares it with the current method of CDMA systems. The simulation results showed that the new method is much more efficient for mobile stations that are free in their moving direction and space than for those restricted in their moving direction and space. In addition, the results showed that even the same handoff method may produces different simulation results depending on whether a service area is modeled as two-dimensional space or three-dimensional space. These results indicate the importance of suitable models of user mobility, especially the movement types and space allowed for mobile stations, which have been neglected in simulation studies of mobile communications.

RNA 이차 구조의 시각화와 편집

한경숙(Kyungsook Han),김도형(Dohyung Kim) 한국정보과학회 1999 정보과학회논문지 : 시스템 및 이론 Vol.26 No.5

RNA 분자의 이차 구조를 예측하고 예측된 구조를 분석, 평가하기 위하여 시각화하는 작업은 RNA의 구조에 대한 연구에 있어서 가장 필수적인 과정이다. 본 논문은 이차 구조를 시각화하고 편집하는 실용적이면서 새로운 알고리즘을 소개한다. 이 시각화 알고리즘은 벡터와 벡터 공간을 이용하여 RNA 분자의 구조 요소가 배치될 방향과 영역을 나타낸다. 구조 요소가 겹치지 않도록 배치될 방향과 공간을 효율적으로 찾기 위하여, 구조 요소를 배치하는 순서에 관한 휴리스틱과 구조 요소를 배치하는 방법에 관한 휴리스틱을 사용한다. 이 시각화 알고리즘은 IBM PC/Windows 95환경에서 VizQFolder라는 프로그램으로 구현되었다. 실험 결과는 VizQFolder가 이미 배치한 구조 요소들을 재배치하거나 변형하지 않으면서 helix의 회전만으로 겹침 현상이 거의 없는 이차 구조를 효율적으로 생성한다는 것을 보인다. Central parts of the study of RNA structure are the prediction and the visualization of secondary structure. The paper presents anew, practical algorithm for visualizing and editing the secondary structure of RNA molecules. The algorithm represents the direction and space for a structural element using vector and vector space. Two heuristic are used. The first heuristic is concerned with the ordering structural elements to be positioned and the second with positioning them in space. The algorithm has been implemented in a working program called VizQFolder on IBM PC/Windows 95 platforms. Experimental results demonstrate that VizQFolder is capable of efficiently drawing an almost overlap-free RNA secondary structure. Most overlaps could be avoided only by rotating helices rather than by repositioning or reshaping structural elements.

운동하는 물체를 위한 모델 구성과 시뮬레이션의 자동화

한경숙(Kyungsook Han) 한국정보과학회 1996 정보과학회논문지(B) Vol.23 No.7

삼차원에서의 일반적인 운동을 묘사하는 모델을 구성하는 것은 여러 영역에서 핵심이 되는 문제이지만 수작업으로 하기 어렵다. 본 논문은 여러 개의 움직이는 물체가 임의의 형상으로 배치되어 있는 실제 시스템의 모델을 구성하고 이를 수행하는 과정을 자동화하는 방법에 대해 논한다. 이 방법은 Oracle이라고 불리는 프로그램으로 구현되었다. 움직이는 실제 시스템에 대한 묘사가 주어지면, Oracle은 관련된 모델 조각 (model fragment)들을 찾아서 문제에서 보이는 물리적 현상과 entity에 맞추어 instantiate하고, 그 모델 조각들을 조합하여 모델을 구성하며, 구성된 모델을 시뮬레이트한다. 물리 현상에 관한 지식은 여러 모델에서 재사용되고 공유될 수 있는 모델 조각으로 표현되었다. 사용된 대부분의 지식은 물리나 역학 교과서에서 흔히 볼 수 있는 아주 기본적인 방정식에, 벡터와 좌표계의 의미가 첨가된 것이다. Oracle은 역학 장치와 돛단배 영역에서 시험되었는데, 실험 결과는 역학의 가장 기본적이고 간단한 지식만으로도, 복잡한 운동을 위한 강력한 모델을 구성할 수 있다는 것을 보여준다. Models of general motions in three dimension are central in many areas but difficult to formulate by hand This paper describes a framework for automating the model-building process for physical systems with multiple moving objects in arbitrary configurations, and an implemented system called Oracle Given a description of a problem involving a moving physical system, Oracle automatically identifies relevant model fragments, instantiates them for the particular entities and physical phenomena in the problem, composes the instantiated fragments to form a model, and simulates the model to solve the problem Knowledge of physical phenomena is represented with model fragments which can be shared and reused by many models. Most of the knowledge is just the same fundamental equations that appear in any standard mechanics textbook, with ther Implied semantics of vectors and reference frames. Oracle has been tested in the domains of mechanical devices and sailboats. Experimental results show that with the most basic and simple concepts in the domain of mechanics, Oracle can generate a powerful model for complex motion.

C/C++ 프로그램을 위한 진단 정보와 분석 방법의 분류

한경숙(Kyungsook Han),이담호(Damho Lee),표창우(Changwoo Pyo) 한국컴퓨터정보학회 2017 韓國컴퓨터情報學會論文誌 Vol.22 No.3

In this paper, we classified the weaknesses of C/C++ programs listed in CWE based on the diagnostic information produced at each stage of program compilation. Our classification identifies which stages should be responsible for analyzing the weaknesses. We also present algorithmic frameworks for detecting typical weaknesses belonging to the classes to demonstrate validness of our scheme. For the weaknesses that cannot be analyzed by using the diagnostic information, we separated them as a group that are often detectable by the analyses that simulate program execution, for instance, symbolic execution and abstract interpretation. We expect that classification of weaknesses, and diagnostic information accordingly, would contribute to systematic development of static analyzers that minimizes false positives and negatives.

RNA 구조 예측을 위한 컴퓨터 모델링

한경숙(Kyungsook Han),김홍진(Hong-Jin Kim) 한국정보과학회 2000 정보과학회지 Vol.18 No.8

PHP 보안 취약점 분석과 시큐어 코딩 규칙 개발

한경숙(KyungSook Han),박우열(Wooyeol Park),양일권(Ilgwon Yang),손창환(Changhwan Son),표창우(Changwoo Pyo) 한국정보과학회 2015 정보과학회 컴퓨팅의 실제 논문지 Vol.21 No.11

이 논문은 PHP 프로그램의 시큐어 코딩 규칙을 보이고 있다. 이 코딩 규칙들은 PHP와 관련된 28개 보안약점의 발생을 억제하기 위하여 프로그램 개발 단계에서 준수하도록 규정한 것이다. 28개 보안약점은 CVE에 보고된 실제 취약점 사례에서 분류된 22개 보안약점과 PHP 언어로 작성된 프로그램의 보안약점(CWE-661)의 하위 보안약점들, OWASP의 PHP Top5 보안약점들에서 선별하였다. 이를 기반으로 하여 14개 시큐어 코딩 규칙 범주에 걸쳐 28개 세부규칙을 개발하였다. 이 논문은 또한 적용 사례를 통해 규칙 적용이 보안약점 억제 효과가 있음을 보이고 있다. 개발된 규칙은 PHP 프로그램의 보안 목적의 분석 도구 개발의 기준으로 활용될 수 있다. This paper shows secure coding rules for PHP programs. Programmers should comply with these rules during development of their programs. The rules are crafted to restrain 28 weaknesses that are composed of 22 corresponding to reported CVEs of PHP, the children of CWE-661 for PHP, and the top 5 weaknesses according to OWASP. The rule set consists of 28 detailed rules under 14 categories. This paper also demonstrates through examples that programs complying with these rules can curb weaknesses. The rules can also serve as a guideline in developing analysis tools for security purposes.

QFolder : RNA 분자 구조 형성 과정을 모의실험하기 위한 통합 시스템

한경숙(Kyungsook Han),김도형(Dohyung Kim),김홍진(Hong-Jin Kim) 한국정보과학회 1998 정보과학회논문지(B) Vol.25 No.9

RNA 분자의 구조 형성을 완전히 이해하려면, 최종적으로 형성된 구조뿐 아니라 그 구조가 형성되는 과정 자체도 규명되어야 한다. 본 논문은 RNA의 이차 구조 형성 과정을 시뮬레이트하고, 이차 구조를 예측하며, 예측된 구조를 시각화하는 모델링 시스템인 QFolder를 소개한다. QFolder의 시뮬레이션 과정은 두 단계의 신뢰도에 의하여 제어되는데, 이 신뢰도는 동류성 염기 서열의 분석과 단순화된 열역학 및 동역학적 지식을 바탕으로 결정된다. 구조 형성 과정 중에 생성되는 구조들은 그래픽 형태로 보여지고 이 구조들을 편집하거나 보는 다양한 기능도 제공된다. 여러 RNA 분자에 QFolder를 실험한 결과에 의하면, QFolter가 구조 형성 과정 자체를 연구하는데 뿐 아니라 안정적인 이차 구조를 예측하는 데에도 유용한 도구가 될 수 있다는 것을 알 수 있다. Complete understanding of RNA folding requires the determination of both the final structure and the structure formation process. The paper presents a modeling system called QFolder for simulating the secondary structure formation process of RNA molecules, for predicting reliable structures, and for visualizing the predicted structures in a unified framework. The simulation process of QFolder is guided by two levels of certainty factors which are determined by the comparative analysis of homologous sequences, incorporated with simplified knowledge of thermodynamics and kinetics of folding. Intermediate and final structures generated during the simulation process are displayed in graphical form within a friendly interface, which provides various visualization and editing facilities for secondary structures. Experimental results demonstrate the potential of QFolder as a useful tool for predicting reliable secondary structures as well as for the study of the RNA folding process itself.

KAIST Smalltalk 시스템

한경숙(Kyungsook Han),조주현(Juhyun Cho),한선영(Sun Young Han),전길남(Kilnam Chon) 한국정보과학회 1985 정보과학회논문지 Vol.12 No.2

최근에 object지향 언어와 구조에 대한 관심이 크게 증가하였으며, 이러한 경향은 smalltalk-80 시스템에서 비롯되었다고 할 수 있다. KAIST Smalltalk은 UNIX하에서 C Language로 Smalltalk-80 시스템을 구현한 것이다. 이는 다른 Smalltalk implementation에 비해, host processor와 bitmap display에서 높은 호환성을 제공한다는 특징을 갖고 있다. 본 논문에서는 KAIST Smalltalk을 포함한 현 Smalltalk시스템들을 논의하고, 분산 object지향 구조에 적합한 새로운 모델을 제시하였다. In recent years, there has been great increase of interest in object oriented languages and architectures. Much of the interest is attributed to the Smalltalk-80 system. KAIST Smalltalk is an implementation of the Smalltalk-80 system in C language under UNIX. This differs from the standard Smalltalk-80 implementations by giving high portability in both a host processor and a bitmap display. This thesis discusses current Smalltalk systems including KAIST Smalltalk and proposes a new object model suitable to a distributed object oriented architecture.