• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.15 no.1
• /
• pp.17-27
• /
• 2005

With the development of wire and wireless based networks, a various security protocols have been proposed to protect important resources and user information against attackers. However, many security protocols have found oかy to be later vulnerable to attacks. In this Paper, we introduce the formal methodology to verify the safety of security protocols in the design phase, and we take advantage of the formal methodology which uses Casper/CSP and FDR tools by introducing the verification example of EKE protocol and BCY protocol. Lastly, we propose a new BCY protocol after verifying it's safety.

• Journal of Ginseng Research
• /
• v.46 no.2
• /
• pp.214-224
• /
• 2022

Red ginseng oil (RGO), rather than the conventional aqueous extract of red ginseng, has been receiving much attention due to accumulating evidence of its functional and pharmacological potential. In this review, we describe the key extraction technologies, chemical composition, potential health benefits, and safety of RGO. This review emphasizes the proposed molecular mechanisms by which RGO is involved in various bioactivities. RGO is mainly produced using organic solvents or supercritical fluid extraction, with the choice of method greatly affecting the yield and quality of the end products. RGO contains a high unsaturated fatty acid levels along with considerable amounts of lipophilic components such as phytosterols, tocopherols, and polyacetylenes. The beneficial health properties of RGO include cellular defense, antioxidation, anti-inflammation, anti-apoptosis, chemoprevention, hair growth promotion, and skin health improvement. We propose several molecular mechanisms and signaling pathways that underlie the bioactivity of RGO. In addition, RGO is regarded as safe and nontoxic. Further studies on RGO must focus on a deeper understanding of the underlying molecular mechanisms, composition-functionality relationship, and verification of the bioactivities of RGO in clinical models. This review may provide useful information in the development of RGO-based products in nutraceuticals, functional foods, and functional cosmetics.

• Journal of Biomedical Engineering Research
• /
• v.44 no.2
• /
• pp.99-108
• /
• 2023

According to the COVID-19, development of various medical software based on IoT(Internet of Things) was accelerated. Especially, interest in a central software system that can remotely monitor and control ventilators is increasing to solve problems related to the continuous increase in severe COVID-19 patients. Since medical device software is closely related to human life, this study aims to develop central monitoring system that can remotely monitor and control multiple ventilators in compliance with medical device software development standards and to verify performance of system. In addition, to ensure the safety and reliability of this central monitoring system, this study also specifies risk management requirements that can identify hazardous situations and evaluate potential hazards and confirms the implementation of cybersecurity to protect against potential cyber threats, which can have serious consequences for patient safety. As a result, we obtained medical device software manufacturing certificates from MFDS(Ministry of Food and Drug Safety) through technical documents about performance verification, risk management and cybersecurity application.

• Nuclear Engineering and Technology
• /
• v.55 no.8
• /
• pp.3088-3101
• /
• 2023

A pressurized vessel-pipe-safety valve (PVPSV) combination is a commonly used configuration in nuclear power plants, and a good numerical model is essential for the system design, sizing and performance optimization. However, owing to the large-scale and cross-scale features, it is still a challenge to build a system level numerical model with both high accuracy and efficiency. To overcome this, a novel system level modeling method which can synthesize the advantages of various models is proposed in this paper. For system modeling, the analytical approach, the method of characteristics (MOC) and the surrogate model approach are respectively adopted to predict the dynamics of the pressure vessel, the connecting pipe and the safety valve, and different models are connected through data interfaces. With this system model, dynamic simulations were carried out and both the stable and the unstable system responses were obtained. For the model verification purpose, the simulation results were compared with those obtained from experiments and full CFD simulations. A good agreement and a better efficiency were obtained, verifying the ability of the model and the feasibility of the modeling method proposed in this paper.

• Journal of Convergence for Information Technology
• /
• v.10 no.9
• /
• pp.147-153
• /
• 2020

As demand for drone test flight is rapidly increasing, it is difficult for Goheung Aviation Center alone to meet the test flight demand. Newly developed drones or modified existing aircraft carry potential flight risks due to unpredictable flight performance or poor pilot skill when performing test flights outside the test site. Therefore, it is necessary to ensure sufficient test flight space for the safety verification of manned and unmanned aircraft. Therefore, this study analyzed the status of domestic flight test site and chapter 5 of ICAO DOC 9184-AN / 902 Part 1 (Airport Planning Manual). And to build a comprehensive flight test infrastructure, the methodology for preliminary evaluation of candidate sites for flight test sites and a method for evaluating infrastructure test sites was presented.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.23 no.3
• /
• pp.310-317
• /
• 2014

The Next-generation High-speed Rail Technology Development Project was started in 2007 by the Korean Government with the aim of developing the core technologies for a high-speed electric multiple unit (EMU) railway system. This is the first attempt to develop a high-speed EMU railway. High-speed EMU trains have superior acceleration and deceleration compared to push-pull high-speed railways such as KTX(Korean Train eXpress). A prototype train was developed and tested on a high-speed line starting in 2012. The new train must maintain running safety during the test. Generally, the international standard (UIC518) is adopted to evaluate the running safety of trains. This method suggests that the test zone must have over 25 sections, and the length of each section must be 500 m. However, it is difficult to implement these test conditions for a real high-speed line. In this study, we analyzed the running safety using several test section lengths (100 m to 500 m) and compared the results. The results of this study will be used to establish a running safety evaluation method for high-speed EMU railways.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.22 no.5
• /
• pp.126-135
• /
• 2014

This paper describes the development and verification of control algorithms for V2X and environmental sensor integrated intersection support and safety systems. The objective of the research is to develop core technologies for effective fusion of V2X and environmental sensors and to develop new safety function for intersection safety. One of core technologies is to achieve the improvement of GPS accuracy, and the other is to develop the algorithm of a vehicle identification which matches all data from V2X, vehicle sensors and environmental sensors to specific vehicles. A intersection optimal pass (IOP) algorithm is designed based on these core technologies. IOP recommends appropriate speed to pass the intersection in the consideration of traffic light signal and preceeding vehicle existence. Another function is developed to prevent a collision avoidance when car crash caused by traffic violation of surrounding vehicles is expected. Finally all functions are implemented and tested in three test vehicles. It is shown that IOP can support convenient and comfortable driving with recommending optimal pass speed and collision avoidance algorithm can effectively prevent collision caused by traffic sign violation of surrounding vehicles.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.2 no.3
• /
• pp.47-57
• /
• 2000

It is difficult to calculate factor of safety of a tunnel by applying any analytical method based upon limit equilibrium method since the shape of failure plane in tunnel analysis can not be easily assumed in advance. To cope with this shortcoming, a method is suggested to calculate safety factor of a tunnel by numerical analysis using strength reduction technique. A circular tunnel excavated in a homogeneous rock was selected as an example problem and factors of safety were calculated for no-supported, partly-supported, and completely-supported cases respectively. Meshes with 3 different sizes were examined for a sensitivity analysis. For the verification of the proposed method, a limit equilibrium analysis was conducted and compared with the numerical analysis. The proposed method herein can be used to calculate factor of safety of a tunnel regardless of tunnel shape or geological conditions, and thus can contribute for the improved design and stability assessment of tunnels.

• International Journal of Contents
• /
• v.14 no.3
• /
• pp.39-45
• /
• 2018

Purpose: Food Allergen Immunotherapy (Oral) is a form of immunotherapy administered to patients who are allergic to foods such as egg, milk, and peanut. The food allergen is orally administered to the patient in an escalating dose for desensitization or tolerance development. The safety and effectiveness of the therapy were assessed using a systematic literature review and meta-analysis. Methods: For a literature search, 8 national databases and a number of international databases including Ovid-MEDLINE, Ovid-EMBASE, and Cochrane Library were used; and 13 articles (all from international databases) were selected. The target of Food Allergen Immunotherapy (Oral) included patients with food allergy, and the intervention was food allergen immunotherapy without limiting the food type. The safety and effectiveness of Food Allergen Immunotherapy (Oral) were assessed by reviewing all the articles reporting on the therapy. The control group received standard therapies including aversion therapy, no treatment, anti-histamine treatment, and placebo. Safety was assessed through the incidence of complication and emergency medication. Effectiveness was assessed based on therapy success rate, symptomatic improvement, and quality of life. Results: Although Food Allergen Immunotherapy (Oral) was shown to have successful desensitization in patients with food allergy, the safety of the technique has not yet reached an acceptable level; the possible reason is due to the high rate of complication and frequency of emergency medication. Also, each study employed varying protocols while relying on a small number of participants and a short monitoring period. Conclusion: The results of assessment suggest that the level of evidence from current literature review is low and further research is necessitated for the verification of the safety and effectiveness of the therapy (Grade of Recommendation: A; Level of Technology: II-b).

• Journal of the Korea Safety Management & Science
• /
• v.17 no.1
• /
• pp.75-84
• /
• 2015

Successful development of weapon systems requires a stringent verification and validation (V&V) process due to the nature of the weapons in which continual increase of operational capability makes the system requirements more complicated to meet. Thus, test and evaluation (T&E) of weapon systems is becoming more difficult. In such a situation, live fire tests appear to be effective and useful methods in not only carrying out V&V of the weapon systems under development, but also increasing the maturity of the end users operability of the system. However, during the process for live fire tests, a variety of accidents or mishaps can happen due to explosion, pyro, separation, and so on. As such, appropriate means to mitigate mishap possibilities should be provided and applied during the live fire tests. To study a way of how to accomplish it is the objective of this paper. To do so, top-level sources of hazard are first identified. A framework for T&E is also described. Then, to enhance the test range safety, it is discussed how test scenarios can be generated. The proposed method is based on the use of the anticipatory failure determination (AFD) and multiple event tree analysis (ETA) in analyzing range safety. It is intended to identify unexpected hazard components even in the environment with constraints. It is therefore expected to reduce accident possibilities as an alternative to the traditional root-cause analysis.