• Smart Media Journal
• /
• v.12 no.9
• /
• pp.9-18
• /
• 2023

Black box cryptography is a cryptographic scheme based on a hardware encryption device, operating under the assumption that the device and the user can be trusted. However, with the increasing use of cryptographic algorithms on unreliable open platforms, the threats to black box cryptography systems have become even more significant. As a consequence, white box cryptography have been proposed to securely operate cryptographic algorithms on open platforms by hiding encryption keys during the encryption process, making it difficult for attackers to extract the keys. However, unlike traditional cryptography, white box-based encryption lacks established specifications, making challenging verify its structural security. To promote the safer utilization of white box cryptography, CHES organizes The WhibOx Contest periodically, which conducts safety analyses of various white box cryptographic techniques. Among these, the Differential Computation Analysis (DCA) attack proposed by Bos in 2016 is widely utilized in safety analyses and represents a powerful attack technique against robust white box block ciphers. Therefore, this paper analyzes the research trends in white box block ciphers and provides a summary of DCA attacks and relevant countermeasures. adhering to the format of a research paper.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.9
• /
• pp.880-886
• /
• 2014

Many railway signalling functions have increasingly depended on computer software with recent development in computing technology, leading to evolution into more flexible and intelligent railway signalling system. Meanwhile, software programs are likely to have many errors and the cost incurred by such errors has increased. Especially, if fatal software error occurs during railway operation, it may result in loss of lives. So the software verification and validation have become more important. It is needed for software functional safety tool to support these, but most commercial tools depend on direct access to the system's memory, resulting in many difficulties in application. Owing to such difficulties and complexity, they are rarely used in railway signalling system software validation. In this study, a new testing tool for software functional testing through an external interface that can be easily used in functional testing of software was developed. Such testing tool allows development and analysis of test cases for black-box testing through analysis of actually used interface protocols, leading to increased user convenience.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2010.05a
• /
• pp.279-287
• /
• 2010

This paper surveys the recent research activities regarding dynamical modeling of high amplitude - high frequency thermo-acoustic instabilities occurring in gas-turbine engines, rockets, and etc, which are fundamental to actively control of such phenomena. For this, we introduces the reduced-order system modeling approaches, conducted after 1990s. Particularly, we deal with the grey-box approach, which determines the structure of the model based on physical rules and uses system's input-output data for estimating parameters of the model, and the black-box approach, which uses model structure without physics-based interpretation. At the end of the paper, we briefly discuss future directions and feasibilities of the research in this field.

• Journal of the Korea Society for Simulation
• /
• v.32 no.1
• /
• pp.13-21
• /
• 2023

This paper proposes a method of automatically generating a model through a machine learning technique by setting a hypothetical model in the form of a gray box or black box with unknown parameters, when the big data of the actual system is given. We implements the proposed framework and conducts experiments to find an appropriate model among various hypothesis models and compares the cost and fitness of them. As a result we find that the proposed framework works well with continuous systems that could be modeled with ordinary differential equation. This technique is expected to be used well for the purpose of automatically updating the consistency of the digital twin model or predicting the output for new inputs using recently generated big data.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.15 no.6
• /
• pp.78-90
• /
• 2011

This paper surveys the recent research activities regarding dynamical modeling of thermo-acoustic instabilities which are fundamental to actively control such phenomena in gas-turbine engines, rockets, and etc. For this, we introduce reduced-order modeling approaches, mainly conducted after 1990s. Particularly, we survey grey-box approaches, which determine the structure of the model based on physical rules and use system's input-output data for estimating parameters of the model. We also introduce black-box approaches using model structures without physics-based interpretation. Finally, we briefly discuss future directions and feasibilities of the research in this field.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2018.05a
• /
• pp.205-206
• /
• 2018

Recently, interest in unmanned vehicles, autonomous vehicles and connected cars has increased, and autonomous driving capability is also increasing. Depending on the autonomous driving ability, the maximum number of steps is divided into 6 steps. The higher the step, the less the involvement of the person in the running, and the person does not need to be involved at the highest stage. Today's autonomous vehicles have been developed in stages 4 to 5, but solutions are not clearly defined in case of an accident, so only the test run is possible. Such an accident occurring during traveling is almost inevitable, and it is judged who has made a mistake in case of an accident, which increases the punishment for the accident. Although a black box is used to clarify such a part, it is easy to delete a photographed image, and it is difficult to solve an accident such as a hit-and-run. In this paper, we design a driving record system using black chain to solve such an accident.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.22 no.6
• /
• pp.916-921
• /
• 2018

Recently, interest in autonomous vehicle has increased, and autonomous driving capability is also increasing. Depending on the autonomous driving ability, the maximum number of steps is divided into 6 steps. The higher the step, the less the involvement of the person in the running, and the person does not need to be involved at the highest stage. Today's autonomous vehicles have been developed high level, but solutions are not clearly defined in case of an accident, so only the test run is possible. Such an accident occurring during traveling is almost inevitable, and it is judged who has made a mistake in case of an accident, which increases the punishment for the accident. Although a black box is used to clarify such a part, it is easy to delete a record, and it is difficult to solve an accident such as a hit-and-run. In this paper, i design a driving record system using black chain to solve accidents.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.18 no.6
• /
• pp.1429-1434
• /
• 2014

Recently, SUA(Sudden Unintended Acceleration) are increasingly occurred. However, all the responsibilities of SUA are accepted by an innocent driver despite of painful results due to mystery of accurate cause. If a driver raises this kind of trouble to the corresponding manufacturer, the automaker collects EDR installed in that vehicle and provides the result of their analysis as it turns out most of the analysis results were diagnosed "there is nothing wrong with the car". In this trend, the technology to protect drivers' position from SUA should be developed. In this study, the researchers aimed to develop a black box system that collects additional data from throttle valve which is considered as one of major causes of SUA accidents, in order to explain cause of SUA and defend innocent drivers.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.1195-1197
• /
• 2017

본 논문은 퍼스널 모빌리티의 주요기술이라 할 수 있는 IoT 기반의 NEV 제어 시스템을 소개한다. 제안하는 시스템의 분석을 위해 논문 본론에서는 NEV 통합 관리 시스템의 전체 구성도를 시작으로 설계한 시스템소프트웨어, 사용자 어플리케이션 및 사용자 응용 어플리케이션에 대해 기술하였다. 본 시스템 적용을 통해 실시간으로 전기이륜차의 상태정보를 제공할 수 있으며 네비게이션, 블랙박스와 같은 기능을 통해 사용자의 편의성을 증대시킬 수 있다.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.6
• /
• pp.129-139
• /
• 2004

In developing highly reliable systems such as C4I systems formal methods provide both developers and clients with assurance that they are in the right development processes. This paper investigates into techniques for formal specifications and tests for software components where rigorous verification is required. In particular, the paper suggests decomposition techniques for state-model based specifications using the weakest precondition, and suggests test methods for the specification by generating black box test-cases.