• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.6
• /
• pp.1355-1369
• /
• 2018

As smart bands make life more convenient and provide a positive lifestyle, many people are now using them. Since smart bands deal with private information, security design and implementation for smart band system become necessary. To make a trustworthy smart band, we must derive the security requirements of the system first, and then design the system satisfying the security requirements. In this paper, we apply threat modeling techniques such as Data Flow Diagram, STRIDE, and Attack Tree to the smart band system to identify threats and derive security requirements accordingly. Through threat modeling, we found the vulnerabilities of the smart band system and successfully exploited smart bands with them. To defend against these threats, we propose security measures and verify that they are secure by using Scyther which is a tool for automatic verification of security protocol.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.24 no.3
• /
• pp.328-338
• /
• 2021

A study on common modular design based on open standards to reduce the life cycle cost of ground weapon system is underway. Since the ground weapon system includes major mission equipment such as fire control system, it is essential to apply the concept of fault tolerance through automatic reconfiguration and blocking unspecified equipment through connectivity control. However, it is difficult to generalize due to the difference in operating characteristics for each system. In this paper, we propose a plug-and-play framework, which includes plug-and-play architecture and mechanism. The proposed method can be used in common by the application of each component as it is divided into a common service layer. In addition, the proposed connectivity control and autonomous reconfiguration method facilitates reflection of operating characteristics for each system. We constructed a verification environment that can simulate ground weapon systems and components, and verified that the proposed framework works through scenario-based functional tests.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.18 no.1
• /
• pp.11-21
• /
• 2008

Biometrics-based user authentication has several advantages over traditional password-based systems for standalone authentication applications. This is also true for new authentication architectures known as crypto-biometric systems, where cryptography and biometrics are merged to achieve high security and user convenience at the same time. Recently, a cryptographic construct, called fuzzy vault, has been proposed for crypto-biometric systems. This construct aims to secure critical data(e.g., secret key) with the fingerprint data in a way that only the authorized user can access the secret by providing the valid fingerprint, and some implementations results for fingerprint have been reported. However, the previous results had some limitation of the provided security due to the limited numbers of chaff data fer hiding real fingerprint data. In this paper, we propose an approach to provide both the automatic alignment of fingerprint data and higher security by using a 3D geometric hash table. Based on the experimental results, we confirm that the proposed approach of using the 3D geometric hash table with the idea of the fuzzy vault can perform the fingerprint verification securely even with more chaff data included.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.20 no.4
• /
• pp.117-134
• /
• 2010

A passive RFID tag which received attention as a future technology for automatic and quick identification faces some difficulties about security problems such as tag authentication, reader authentication, data protection, and untraceability in addition to cost and reliable identification. A representative passive RFID technology is the ISO/IEC 18000-6 Type C which is an international standard for 900 MHz UHF-band. This standard has some difficulties in applying to the security services such as originality verification, tag's internal information protection, and untraceability, because it does not provide high-level security solution. In this paper, we summarize security requirements of ISO/IEC ITC 1/SC 31 international standardization group, propose security protocols suitable for the UHF-band passive RFID system using a crypto engine, and analyze its security strength. In addition, we verify that it is possible to implement a tag conforming with the proposed security protocols by presenting concrete command/response pairs and cryptographic method.

• Atmosphere
• /
• v.32 no.3
• /
• pp.179-189
• /
• 2022

The purpose of this study is to build and evaluate a high-resolution (50 m) KMAPP (Korea Meteorological Administration Post Processing) reflecting building data. KMAPP uses LDAPS (Local Data Assimilation and Prediction System) data to detail ground wind speed through surface roughness and elevation corrections. During the detailing process, we improved the vegetation roughness data to reflect the impact of city buildings. AWS (Automatic Weather Station) data from a total of 48 locations in the metropolitan area including Seoul in 2019 were used as the observation data used for verification. Sensitivity analysis was conducted by dividing the experiment according to the method of improving the vegetation roughness length. KMAPP has been shown to improve the tendency of LDAPS to over simulate surface wind speeds. Compared to LDAPS, Root Mean Square Error (RMSE) is improved by approximately 23% and Mean Bias Error (MBE) by about 47%. However, there is an error in the roughness length around the Han River or the coastline. Accordingly, the surface roughness length was improved in KMAPP and the building information was reflected. In the sensitivity experiment of improved KMAPP, RMSE was further improved to 6% and MBE to 3%. This study shows that high-resolution KMAPP reflecting building information can improve wind speed accuracy in urban areas.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.2
• /
• pp.9-14
• /
• 2022

In this study, we propose a method for moving a device such as a flexible air sculpture while stably maintaining the user's desired posture. To accomplish this, a robot system with a structure of a mobile robot capable of running according to a given trajectory was studied by applying the PI algorithm and horizontal maintenance posture control using IMU. The air sculptures used in this study often use thin strings in a fixed posture. Another method is to put a load on the center of gravity to maintain the posture, and it is a system with flexibility because it uses air pressure. It is expected that these structures can achieve various results by combining flexible structures and mobile robots through the convergence process of digital sensor technology. In this study, posture control was performed by fusion of the driving technology of AGV(Automatic Guided Vehicle),, a field of robot, and technologies applying various sensors. For verification, the given performance evaluation was performed through an accredited certification test, and its validity was verified through an experiment.

• Journal of the Korean Geotechnical Society
• /
• v.38 no.11
• /
• pp.87-95
• /
• 2022

The geotechnical information constructed in the National Geotechnical Information DB System has been extensively used in design, construction, underground safety management, and disaster assessment. However, it is necessary to refine the geotechnical information because it has nearly 300,000 established cases containing a lot of missing or incorrect information. This research proposes a method for automatic quality control of geotechnical information using a fully connected neural network. Significantly, the anomalies in geotechnical information were detected using a database combining the standard penetration test results and strata information of Seoul. Consequently, the misclassification rate for the verification data is confirmed as 5.4%. Overall, the studied algorithm is expected to detect outliers of geotechnical information effectively.

• Journal of Drive and Control
• /
• v.18 no.4
• /
• pp.1-8
• /
• 2021

An electro proportional pressure control valve is mainly used to control the clutch of an agricultural tractor's automatic transmission. During transmission, the operating, hydraulic oil is mix with many kinds of contaminants. The contaminants can be trapped between the valve body and spool of the proportional pressure control valve leading to abnormal operating conditions and finally critical damage to the transmission hydraulic system. The present study aimed to verify the valve control algorithm as a basic study of developing control logic that removes contaminants between the spool and the body of the proportional pressure control valve. To develop the algorithm, MATLAB/SIMULINK was used. PWM method was used to control the applied solenoid coil current. The effectiveness of the algorithm was verified by comparing the actual pressure of the normal valve with the actual pressure of the abnormal valve. Based on the present study findings, when the algorithm was applied, the response of the valve pressure according to the current became stable and oil contaminated particles were removed. In the future study, the control algorithm will be optimized for the stability of the proportional pressure reducing valve, and it will be verified in consideration with the driving of the clutch.

• Journal of Information Technology Services
• /
• v.22 no.4
• /
• pp.97-110
• /
• 2023

In this study, we propose a technique to automatically generate transfer documents using sensor data from livestock manure transfer systems. The research involves analyzing sensor data and applying machine learning techniques to derive optimized outcomes for livestock manure transfer documents. By comparing and contrasting with existing documents, we present a method for automatic document generation. Specifically, we propose the utilization of Gradient Boosting, a machine learning algorithm. The objective of this research is to enhance the efficiency of livestock manure and liquid byproduct management. Currently, stakeholders including producers, transporters, and processors manually input data into the livestock manure transfer management system during the disposal of manure and liquid byproducts. This manual process consumes additional labor, leads to data inconsistency, and complicates the management of distribution and treatment. Therefore, the aim of this study is to leverage data to automatically generate transfer documents, thereby increasing the efficiency of livestock manure and liquid byproduct management. By utilizing sensor data from livestock manure and liquid byproduct transport vehicles and employing machine learning algorithms, we establish a system that automates the validation of transfer documents, reducing the burden on producers, transporters, and processors. This efficient management system is anticipated to create a transparent environment for the distribution and treatment of livestock manure and liquid byproducts.

• Journal of IKEEE
• /
• v.28 no.2
• /
• pp.123-130
• /
• 2024

As technology advances swiftly and the lifespan of products becomes increasingly short, there is a demand to fasten the pace of research outcomes, product development, and market introduction. As a result, the researchers and developers need a computational experiment environment that enables rapid verification of the experiment and application of research findings. Such an environment must efficiently harness all available computational resources, manage simulations across diverse test scenarios, and support the experimental data collection. This research introduces the design and implementation of an experimental frame based on a microservice architecture. The experimental frame leverages scripts to utilize computing resources optimally, making it more straightforward for users to conduct simulations. It features an experimental frame capable of automatically deploying scenarios to the computing components. This setup allows for the automatic configuration of both the computing environment and experiments based on user-provided scenarios and experimental software, facilitating effortless execution of simulations.