• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.32 no.3
• /
• pp.527-545
• /
• 2022

In order to effectively detect APT attacks performed by well-organized adversaries, we implemented a system to detect attacks by reconstructing attack chains of APT attacks. Our attack chain-based APT attack detection system consists of 'events collection and indexing' part which collects various events generated from hosts and network monitoring tools, 'unit attack detection' part which detects unit-level attacks defined in MITRE ATT&CK^® techniques, and 'attack chain reconstruction' part which reconstructs attack chains by performing causality analysis based on provenance graphs. To evaluate our system, we implemented a test-bed and conducted several simulated attack scenarios provided by MITRE ATT&CK Evaluation program. As a result of the experiment, we were able to confirm that our system effectively reconstructed the attack chains for the simulated attack scenarios. Using the system implemented in this study, rather than to understand attacks as fragmentary parts, it will be possible to understand and respond to attacks from the perspective of progress of attacks.

• Journal of the Korean School Mathematics Society
• /
• v.25 no.2
• /
• pp.149-174
• /
• 2022

The purpose of this study is to explore the teaching and learning method using artificial intelligence (AI) in the mathematics classroom. To this end, to predict the direction of mathematics education using AI in the mathematics classroom, this study investigates the fields where AI is applied to education, and discuss issues to consider when introducing AI through scenario development using AI in middle school statistics. This study is meaningful in that it specifically considered how artificial intelligence can be grafted into the mathematics classroom through the development of scenarios that integrate and apply artificial intelligence that has been developed and used segmentally in the current middle school statistics. Afterwards, based on the contents of this study, implications for using AI in the math classroom were derived.

• Journal of Korean Port Research
• /
• v.11 no.2
• /
• pp.305-320
• /
• 1997

The objective of this paper is to analysis & forecast on the change in spatial structures of southeast region by development of the Seoul-Pusan high-speed Rail. To measure the spatial structures, it was used the method of mean center and standard distance among of centrographic measures as analytical tools. The changes of spatial structures patten over time and space in the southeast region were surveyed using population and employment data of 57 zones. And also, to forecast the spatial structures of the southeast region after opening of the Seoul-Pusan high-speed rail, it was supposed three(3) scenarios which designed using influential area with centering around of the proposed high-speed rail stations. Therefore, the results of this research indicate as follows; 1) The spatial structures of population is showed a trend of continual concentration toward Ulsan city area, and also the spatial structures of employment is showed a trend of continual dispersion over time. 2) The forecast of three93) scenarios supposed after opening of the Seoul-Pusan high-speed rail in 2006 show a change of the spatial structures with both population concentration and employment dispersion. In the meantime, the rapid increase of population and wide dispersion of employment is reform with centering around HSR stations which builted in the southeast region after opening of high-speed rail. 3) It shall furnish valuable data to establish the development strategy of urban and local region, and also forecast the change of spatial structures about population and employment in influential area which passed on high-speed rail line & stations by method of mean center and standard distance among of centrographic measures as analytical tools.

• International Journal of Precision Engineering and Manufacturing
• /
• v.5 no.2
• /
• pp.5-15
• /
• 2004

A telecooperation system supports synchronous cooperation among all the product development partners and enables compensation of deficits concerning traditional information/communication technologies. By analyzing the product development processes and communication scenarios of a company manufacturing automobile parts, the specifications for the suitable telecooperation system were defined. An integrated telecooperation platform that combines the commercial softwares with the new developed modules for customer-oriented functionalities was created as a product development guideline. Future work is strongly required in order to define the best way to improve the integrated platform, based on the functionality of ERP and PDM systems.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.22 no.6
• /
• pp.815-823
• /
• 2019

A naval surface-to-air missile is an effective countermeasure against increasing threats of anti-ship missiles. Optimal operation is imperative for high survivability due to limited defense resources of a warship. This paper addresses a problem of optimal engagement to maximize the overall probability of intercept under Shoot-Look-Shoot tactics. The problem is formulated and analyzed with consideration of a realistic single-shoot probability model. The analysis shows that a global solution is achieved for some engagement scenarios. A numerical algorithm to optimize the overall probability of intercept is suggested. An illustrative example is provided to verify our results.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.18 no.3
• /
• pp.326-334
• /
• 2015

This paper describes the verification and the validation about the development of the integrated interoperability system for live, virtual, and constructive simulations on the aircraft weapon system. The proposed integrated interoperability system provides the framework and application softwares for implementing a synthetic environment emulating real-world environment among distributed simulation models, which are a mission model and an air combat model of a constructive level, an tactical simulator of a virtual level, and simulated ACMI of a live level. In this paper, we verify requested functions through an developmental test and evaluation, and validate operability and usability through conducing integrated LVC scenarios on the integrated interoperability system.

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.443-450
• /
• 2009

In an earlier development phase, the simulation technique is one of the key analysis methods for checking the correctness of system's functional requirements. In general, simulation is manually or randomly performed by executing state machine diagrams according to the requirement scenarios. Therefore, simulation is one of the most effort-consuming tasks. In this paper, an automatic simulation technique of state machine diagrams is provided according to the scenarios of the sequence diagrams. It is not easy to generate detailed simulation traces from sequence diagrams due to different abstraction levels between sequence diagrams and state machine diagrams. In order to adjust for different abstraction levels, state machine diagrams and sequence diagrams are transformed into LTS models and compositional analysis and transition reduction are performed. After checking behavior conformance between them, detailed simulation traces for the state machine diagrams are generated. These simulation traces are used not only for performing automatic simulation but also for assisting analyzers to reach a specific system state in order to guide further efficient simulation.

• Journal of The Korean Association of Information Education
• /
• v.14 no.4
• /
• pp.571-588
• /
• 2010

IPTV, a convergence service of broadcasting and communication, draws an attention as an educational media that provides various advantages including top quality of screen, easy access, and protection from harmful contents. In addition, a successful IPTV learning requires learners' active participations. Yet, the research on educational applications of IPTV is at the early stage focusing on teachers and developers' perspectives. Therefore, the present study conducted a survey on learners' current IPTV usage and intentions to use. Reflecting the results of the survey, we developed learner-centered IPTV learning scenarios based on self-regulated learning strategies and suggested its implementations.

• Nuclear Engineering and Technology
• /
• v.45 no.5
• /
• pp.625-636
• /
• 2013

Pressing demands of economic competitiveness, the need for large-scale deployment, minimizing the need of human intervention, and experience from the past events and incidents at operating reactors have guided the evolution and innovations in reactor technologies. Indian innovative reactor 'AHWR' is a pressure-tube type natural circulation based boiling water reactor that is designed to meet such requirements, which essentially reflect the needs of next generation reactors. The reactor employs various passive features to prevent and mitigate accidental conditions, like a slightly negative void reactivity coefficient, passive poison injection to scram the reactor in event of failure of the wired shutdown systems, a large elevated pool of water as a heat sink inside the containment, passive decay heat removal based on natural circulation and passive valves, passive ECC injection, etc. It is designed to meet the fundamental safety requirements of safe shutdown, safe decay heat removal and confinement of activity with no impact in public domain, and hence, no need for emergency planning under all conceivable scenarios. This paper examines the role of the various passive safety systems in prevention and mitigation of severe plant conditions that may arise in event of multiple failures. For the purpose of demonstration of the effectiveness of its passive features, postulated scenarios on the lines of three major severe accidents in the history of nuclear power reactors are considered, namely; the Three Mile Island (TMI), Chernobyl and Fukushima accidents. Severe plant conditions along the lines of these scenarios are postulated to the extent conceivable in the reactor under consideration and analyzed using best estimate system thermal-hydraulics code RELAP5/Mod3.2. It is found that the various passive systems incorporated enable the reactor to tolerate the postulated accident conditions without causing severe plant conditions and core degradation.

• Nuclear Engineering and Technology
• /
• v.43 no.3
• /
• pp.271-278
• /
• 2011

When performing fire PSA in a nuclear power plant, an event mapping method, using an internal event PSA model, is widely used to reduce the resources used by fire PSA model development. Feasible initiating events and component failure events due to fire are identified to transform the fault tree (FT) for an internal event PSA into one for a fire PSA using the event mapping method. A surrogate event or damage term method is used to condition the FT of the internal PSA. The surrogate event or the damage term plays the role of flagging whether the system/component in a fire compartment is damaged or not, depending on the fire being initiated from a specified compartment. These methods usually require explicit states of all compartments to be modeled in a fire area. Fire event scenarios, when using explicit identification, such as surrogate or damage terms, have two problems: (1) there is no consideration of multiple fire propagation beyond a single propagation to an adjacent compartment, and (2) there is no consideration of simultaneous fire propagations in which an initiating fire event is propagated to multiple paths simultaneously. The present paper suggests a fire propagation equation to identify all possible fire event scenarios for an explicitly treated fire event scenario in the fire PSA. Also, a method for separating fire events was developed to make all fire events a set of mutually exclusive events, which can facilitate arithmetic summation in fire risk quantification. A simple example is given to confirm the applicability of the present method for a $2{\times}3$ rectangular fire area. Also, a feasible asymptotic approach is discussed to reduce the computational burden for fire risk quantification.