• The KIPS Transactions:PartC
• /
• v.15C no.1
• /
• pp.9-18
• /
• 2008

Prevention of attacks being made through program modification in sensor nodes is one of the important security issues. The software-based attestation technology that verifies the running code by checking whether it is modified or not in sensor nodes is being used to solve the attack problem. However, the current software-based attestation techniques are not appropriate in sensor networks because not only they are targeting static networks that member nodes does not move, but also they lacks consideration on the environment that the trusted verifier may not exist. This paper proposes a mutual attestation protocol that is suitable for sensor networks by using SWATT(Software-based ATTestation) technique. In the proposed protocol, sensor nodes periodically notify its membership to neighbor nodes and carry out mutual attestation procedure with neighbor nodes by using SWATT technique. With the proposed protocol, verification device detects the sensor nodes compromised by malicious attacks in the sensor network environments without trusted verifier and the sensor networks can be composed of only the verified nodes.

• The KIPS Transactions:PartD
• /
• v.13D no.5 s.108
• /
• pp.717-724
• /
• 2006

The cost estimation of software is getting more important as the portion of software is increasing in acquiring weapon systems. However, the cost estimation of embedded software in a weapon system follows the cost estimation method for general purpose softwares and uses the PRICE S model as a tool. However, any validation result of the estimated cost through an evaluated software size is not well known. Hence, we propose an approach to estimate the cost through evaluating the embedded software site in weapon systems. In order to achieve our research goal, we evaluate the software size of using the line of codes and function points which are produced by the PRICE S model. Finally, we compare the estimated cost data the actual cost data provided by the production company. As a result, we propose an approach to estimate the size and the cost of embedded software in weapon systems which are not easy to estimate objectively. We also expect that the Proposed approach is used for the cost validation and negotiation in the acquisition of weapon systems in the future.

• The KIPS Transactions:PartC
• /
• v.8C no.6
• /
• pp.783-792
• /
• 2001

It is well known that, in the near future, the lifetime of the IPv4 address space will be limited and available 32-bit IP network addresses will not be left any more. In order to solve such IPv4 address space problem in an effective way, the transition to the new version using IPv6 architecture is inevitably required. At present, it is impossible to convert IPv4 into IPv6 at a time, since the coverage and the size of today's Internet is too huge. Therefore, the coexistence of both IPv4 and IPv6 must be arranged in a special and practical fashion for rapid conversion on the whole. IP protocol translation has been proposed to ease the translation of the Internet from IPv4 to IPv6. This paper presents the design and implementation of a transparent transition service that translates packet header as they cross between IPv4 and IPv6 networks. IPv4/IPv6 Translation Protocol is written in c source code and is tested by the local test recommended by ISO, which has the most excellent error detection function. The test was processed with a test scenario and it was found that the results were successful.

• The KIPS Transactions:PartA
• /
• v.9A no.4
• /
• pp.573-580
• /
• 2002

Reusing IPs requires interface protocol related tasks such as writing test benches and designing interface protocol conversion circuits, e.g. wrappers for IPs. The results of those tasks usually include IPC(interface protocol component)s for the corresponding IPs, similar to bus protocol components of the bus functional models. This paper proposes a methodology for the interface circuit design using synthesizable In that can be re-used. IPC recognizes or executes transactions over the given interface ports. So we present a transaction-oriented interface protocol description language, and a method to convert the description into an IPC in synthesizable VHDL code. With experiments, we show that the interface design using IPC does not cause significant area overhead compared with the interface design without IPC. The proposed IPC-based approach can be employed to reduce the interface design time since the designers can reuse IPCs without understanding the detailed interface protocols.

• The KIPS Transactions:PartA
• /
• v.10A no.3
• /
• pp.207-214
• /
• 2003

Quadtree, which is a hierarchical data structure, is a very important data structure to represent binary images. The linear quadtree representation as a way to store a quadtree is efficient to save space compared with other representations. Therefore, it has been widely studied to develop efficient algorithms to execute operations related with quadtrees. The linear translation is one of important operations in image processing, which moves the image by a given distance. In this paper, we present an algorithm to perform the linear translation of binary images represented by quadtrees, using three-dimensional $n{\times}n{\times}n$ processors on RMESH (Reconfigurable MESH). This algorithm has constant-time complexity by using efficient basic operations to route the locational codes of quardtree on the hierarchical structure of n${\times}$n${\times}$n RMESH.

• Nuclear Engineering and Technology
• /
• v.48 no.6
• /
• pp.1368-1375
• /
• 2016

A radiological safety assessment study was performed for the transportation of low level radioactive wastes which are temporarily stored in Korea Atomic Energy Research Institute (KAERI), Daejeon, Korea. We considered two kinds of wastes: (1) operation wastes generated from the routine operation of facilities; and (2) decommissioning wastes generated from the decommissioning of a research reactor in KAERI. The important part of the radiological safety assessment is related to the exposure dose assessment for the incidentfree (normal) transportation of wastes, i.e., the radiation exposure of transport personnel, radiation workers for loading and unloading of radioactive waste drums, and the general public. The effective doses were estimated based on the detailed information on the transportation plan and on the radiological characteristics of waste packages. We also estimated radiological risks and the effective doses for the general public resulting from accidents such as an impact and a fire caused by the impact during the transportation. According to the results, the effective doses for transport personnel, radiation workers, and the general public are far below the regulatory limits. Therefore, we can secure safety from the viewpoint of radiological safety for all situations during the transportation of radioactive wastes which have been stored temporarily in KAERI.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.37 no.1
• /
• pp.97-103
• /
• 2013

This study proposes a path generation technique for simultaneous five-axis driving for ball bar measurement, which is equivalent to cone frustum machining as mentioned in the NAS979 standard. The technique is generalized for a 3D circular path, and it is applicable to all machine tools regardless of their structural configurations. A mathematical machine input model that consists of a five-axis machine tool, ball-bar measurement and conical path information as inputs is presented for easy NC code generation, simulation for various test conditions, and a measurement test. The movement range of rotary axes, which depends on various conditions, is mathematically analyzed based on the proposed conical path model. Moreover, the effect of the movement range on various conditions (apex angle and inclination angle, ball bar tilting acceptance angle, offset position of workpiece ball, etc.) is analyzed.

• Korean Journal of Organic Agriculture
• /
• v.12 no.4
• /
• pp.451-461
• /
• 2004

In an animals, identification system has been widely used by ear tag with dummy code and blood typing for parernity. Also, genotyping methods were using for useful mean of individual identification for live animals. In the case of genotyping estimation of gene in population of korean native chicken. In this study, we tested for development of genetic markers used it possible to determination of individual identification system. The candidate genetic markers were used already bow 10 of microstalite DNA sequence information in chromosome No. 1 and 14. Result of analysis for genotyping, the number of alleles of those microstatelites DNA was shown minimal 3 to 12 and the heterozygote expression frequency range was shown from 0.617 to 0.862. In our result, effective number of allele for each microsatellites DNA was shown 3~7, and the accuracy of individual identification was shown nearly 100%, when used with 6 genetic marker. This study was about genotyping method for identification used specific genetic marker form microsatellite DNA in the brand marketing of korean native chicken. Our results suggest that genotyping method used specific genetic marker from microsatellite DNA might be very useful for determination of individual identification.

• Journal of KIISE
• /
• v.42 no.8
• /
• pp.1022-1030
• /
• 2015

The context-awareness of mobile applications yields several issues for testing, since mobile applications should be able to be tested in any environment and under any contextual input. In previous studies of testing for Android applications as an event-driven system, many researchers have focused on using generated test cases considering only Graphical User Interface (GUI) events. However, it is difficult to find failures that could be detected when considering the changes in the context in which applications run. It is even more important to consider various contexts since the mobile applications adapt and use the new features and sensors of mobile devices. In this paper, we provide a method of systematically generating various executing contexts from permissions. By referring to the lists of permissions, the resources used by the applications for running Android applications can be easily inferred. To evaluate the efficiency of our testing method, we applied the method on two open source projects and showed that it contributes to improve the statement code coverage.

• Journal of KIISE
• /
• v.42 no.9
• /
• pp.1100-1108
• /
• 2015

Classes.dex, which is the executable file for android operation system, has Java bite code format, so that anyone can analyze and modify its source codes by using reverse engineering. Due to this characteristic, many android applications using classes.dex as executable file have been illegally copied and distributed, causing damage to the developers and software industry. To tackle such ill-intended behavior, this paper proposes a technique to encrypt classes.dex file using an AES(Advanced Encryption Standard) encryption algorithm and decrypts the applications encrypted in such a manner in order to prevent reverse engineering of the applications. To reinforce the file against reverse engineering attack, hash values that are obtained from substituting a hash equation through the combination of salt values, are used for the keys for encrypting and decrypting classes.dex. The experiments demonstrated that the proposed technique is effective in preventing the illegal duplication of classes.dex-based android applications and reverse engineering attack. As a result, the proposed technique can protect the source of an application and also prevent the spreading of malicious codes due to repackaging attack.