• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.4
• /
• pp.785-802
• /
• 2017

As cyber threats using malicious code continue to increase, many security and vaccine companies are putting a lot of effort into analysis and detection of malicious codes. However, obfuscation techniques that make software analysis more difficult are applied to malicious codes, making it difficult to respond quickly to malicious codes. In particular, commercial obfuscation tools can quickly and easily generate new variants of malicious codes so that malicious code analysts can not respond to them. In order for analysts to quickly analyze the actual malicious behavior of the new variants, reverse obfuscation(=de-obfuscation) is needed to disable obfuscation. In this paper, general analysis methodology is proposed to de-obfuscate the software used by a commercial obfuscation tool, Themida. First, We describe operation principle of Themida by analyzing obfuscated executable file using Themida. Next, We extract original code and data information of executable from obfuscated executable using Pintool, DBI(Dynamic Binary Instrumentation) framework, and explain the implementation results of automated analysis tool which can deobfuscate to original executable using the extracted original code and data information. Finally, We evaluate the performance of our automated analysis tool by comparing the original executable with the de-obfuscated executable.

• Journal of KIISE:Software and Applications
• /
• v.32 no.8
• /
• pp.730-741
• /
• 2005

Layered Architecture is a kind of nodule decomposition techniques, which decomposes a program by generality This paper proposes a ]aver based method for recovering layered architecture from object-oriented program and checking conformance against architectural document. To specify the rules for layered style in object-oriented program, we define a partially ordered set on modules by module use relationship and module layer relationship by module override relationship. The meaning of module layer relationship is explained with an example from design patterns. Steps to recover layered architecture from program are described and a metamodel for the recovery is proposed. Architecture recovery is performed on source codes from open-source software project, and the implication of parts that do not conform to its architectural document is discussed. As a result of checking, it is pointed out that, although the parts are considered allowable exceptions of layered architecture, their modifications should be controlled carefully.

• Korean journal of food and cookery science
• /
• v.8 no.2
• /
• pp.137-145
• /
• 1992

A computer-assisted microbiological quality assurance program was developed based on HACCP data obtained from a 500 bed general hospital by assessing time and temperature conditions and microbiological qualities of six categories of menu items according to the process of food product flow. The purpose of the study was to develop a computer-assisted microbiological quality assurance program in order to simplify the assessment procedures and to provide a maximum assurance to foodservice personnel and the public. A 16-Bit personnel computer compatible with IBM-PC/AT was used. The data base files and processing programs were created using dBASE III plus packages. The contents of the computerized system are summarized as knows: 1. When the input program for hazard analysis runs, a series of questions are asked to determine hazards and assess their severity and risks. Critical control points and monitoring methods for CCPs are identified and saved in Master file. 2. Output and search programs for hazard analysis are composed of 6 categories of recipe data file list, code identification list, and HACCP identification of the specific menu item. 3. When the user selects a specific category of recipe from 6 categories presented on the screen and runs data file list, a series of menu item list, CCP list, monitoring methods list are generated. When the code search program runs, menu names, ingredients, amounts and a series of codes are generated. 4. When the user types in a menu item and an identification code, critical control points and monitoring methods are generated for each menu item.

• Horticultural Science & Technology
• /
• v.29 no.5
• /
• pp.461-466
• /
• 2011

In genetic and molecular breeding studies of plants, researchers need to design various kinds of primers based on their research purposes. So far many kinds of web- or script-based non-commercial programs for primer design are available. Because most of them do not include user interface for multipurpose usage including gene structure prediction and direct target selection on sequences, it has been a laborious work to design primers targeting on the exon or intron regions of interesting genes. Here we report a primer designing graphic user interface program, Pickprimer, that includes gene structure prediction and primer design modules by combining source codes of the Spidey and Primer3 programs. This program provides simple graphic user interface to input sequences and design primers. Genomic sequence and mRNA or coding sequence of genes can be copy and pasted or input as fasta or text files. Based on alignment of the input sequences using the Spidey module, a putative gene structure is graphically visualized along with exon-intron sequences of color codes. Primer design can be easily performed by dragging mouse on the displayed sequences or input primer targeting position with desirable values of primers. The output of designed primers with detailed information is provided by the Primer3 module. PCR evaluation of 24 selected primer sets successfully amplified single amplicons from six Brassica rapa cultivars. The Pickprimer will be a convenient tool for genetic and molecular breeding studies of plants.

• Journal of the Korea Concrete Institute
• /
• v.26 no.5
• /
• pp.573-579
• /
• 2014

Typical composite girder has been composed with conventional concrete deck and steel girder. Recently, ultrahigh-performance-concrete (UHPC) deck is proposed in order to enhance durability and reduce weight of deck as well as to increase stiffness and strength of the composite girder. This study investigates that a headed stud is still compatible as a shear connector for the UHPC deck and steel girder composite beam. Twelve push-out specimens are prepared to evaluate the static strength of stud shear connectors embedded in the UHPC deck. The test program proves that the static strength of the stud shear connectors embedded in UHPC well meets with design codes described in AASHTO LRFD. Chosen experimental variables are aspect ratio of height to diameter of stud, thickness of deck and thickness of concrete cover over the head of stud. From the test program, aspect ratio and cover thickness are investigated to mitigate the regulations of the existing design codes. The minimum aspect ratio and the minimum cover thickness given in AASHTO LRFD are four and 50mm, respectively. This limitation hinders to lower the thickness of the UHPC deck. The results of the experiment program give that the aspect ratio and the cover thickness can be lower down to three and 25mm, respectively. Eurocode-4 regulates characteristic relative slip at least 6mm. However, test results show that stud shear connectors embedded in UHPC provide the characteristic relative slip only about 4mm. Therefore, another measures to increase ductility of stud should be prepared.

• Journal of Mechanical Science and Technology
• /
• v.20 no.12
• /
• pp.2061-2078
• /
• 2006

The main purpose of this paper is to establish the high temperature structural integrity evaluating procedures for the next generation reactors, which are to be operated at over 500$^{\circ}C$ and for 60 years. To do this, comparison studies of the high temperature structural design codes and assessment procedures such as the ASME-NH (USA), RCC-MR (France), DDS (Japan), and R5 (UK) are carried out in view of the accumulated inelastic strain and the creep-fatigue damage evaluations. Also the application procedures of the ASME-NH rules with the actual thermal and structural analysis results are described in detail. To overcome the complexity and the engineering costs arising from a real application of the ASME-NH rules by hand, all the procedures established in this study such as the time-dependent primary stress limits, total accumulated creep ratcheting strain limits, and the creep-fatigue damage limits are computerized and implemented into the SIE ASME-NH program. Using this program, the selected high temperature structures subjected to two cycle types are evaluated and the parametric studies for the effects of the time step size, primary load, number of cycles, normal temperature for the creep damage evaluations and the effects of the load history on the creep ratcheting strain calculations are investigated.

• Journal of Bio-Environment Control
• /
• v.2 no.2
• /
• pp.126-135
• /
• 1993

Recently, the characteristic of plant production systems in Korea has been changed with the strong trends of integration and large scale, using environmental control techniques. To satisfy this change successfully, first of all, the environmental prediction inside the system must be preceded. While many environmental prediction models for plant production system were developed by many persons, each model cannot be applied to the every situation without the perfect understanding of source codes and the technical modification. The purpose of this study is building the environmental prediction model to predict and evaluate the environment inside the system numerically, and also developing the multipurpose program available for practical design. The model consisted of the basic system model, the cultivation related model and the environmental control related model. The contents of each model are as follows : the basic system model is dealing with thermal and light environments, soil environment and ventilation : the cultivation related model with soil and hydroponic cultures ; and the environmental control related model with thermal curtain and heat exchanging system. The environmental prediction model was developed using a common simulation program, PCSMP, so that it could be easily understood and modified by anyone. Finally, the model was executed and verified through comparison between simulated and measured results for soil culture, and both results showed good agreements.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.24 no.10 s.181
• /
• pp.2654-2663
• /
• 2000

Steam turbine rotors are the most critical and highly stressed components of a steam power plant; therefore, the life expectancy of the turbine rotor is an important consideration for the safety of a steam power plant. The objective of this paper is to develop a life estimation program for turbine rotors for all possible operating conditions. For this purpose, finite element analysis was carried out for four normal operating modes (cold, warm, hot and very hot starts) using ABAQUS codes. The results are made into databases to evaluate the life expenditure for an actual operating condition. For any other possible abnormal operating condition, the operating data are transmitted to the server (workstation) through a network to carry out finite element analysis. Damage estimation is carried out by transmitting the finite element analysis results to the personal computer, and then the life expectancy is calculated.

• The Bulletin of The Korean Astronomical Society
• /
• v.42 no.1
• /
• pp.57.2-57.2
• /
• 2017

Remote and robotic telescopes are the most effective instrument for astronomical survey projects. The system is based on the dynamic operation of all astronomical instruments such as dome and telescope control system (TCS), focuser, filter wheel and data taking camera. We adopt the ASCOM driver platform to control the instruments through the integrated software. It can convert different interface libraries from various manufacturers into a uniform standard library. This allows us to effectively control astronomical instruments without modifying codes. We suggest a conceptual design of software for automation of a small telescope such as the new wide-field 0.25m telescope at McDonald Observatory. It can also be applied to operation of multi-telescopes in future projects.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.24 no.2
• /
• pp.121-131
• /
• 2011

An object oriented programming(OOP) framework is presented to solve plane elastostatic contact problems by means of the boundary element method(BEM). Unified modeling language(UML) is chosen to describe the structure of the program without loss of generality, even though all implemented codes are written with C++. The implementation is based on computational abstractions of both mathematical and physical concepts associated with contact mechanics involving geometrical nonlinearities and the corner node problems for multi-valued traction. The overall class organization for contact analysis is discussed in detail. Numerical examples are also presented to verify the accuracy of the developed BEM program.