• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.30 no.1
• /
• pp.59-74
• /
• 2020

The web space where web applications run is the cyber information warfare of attackers and defenders due to the open HTML. In the cyber attack space, about 84% of worldwide attacks exploit vulnerabilities in web applications and software. It is very difficult to detect web vulnerability attacks with security products such as web firewalls, and high labor costs are required for security verification and assurance of web applications. Therefore, rapid vulnerability detection and response in web space by automated software is a key and effective cyber attack defense strategy. In this paper, we establish a security risk management model by intensively analyzing security threats against web applications and software, and propose a method to effectively diagnose web and application vulnerabilities. The testing results on the commercial service are analyzed to prove that our approach is more effective than the other existing methods.

• Aerospace Engineering and Technology
• /
• v.9 no.1
• /
• pp.50-59
• /
• 2010

In this paper, the alignment and navigation results by INGU(Inertial Navigation and Guidance Unit) onboard software and by Inertial Explorer which is a post-processing software specialized for IMU(Inertial Measurement Unit) are compared for identification of inertial sensor error models and estimation of alignment and navigation errors for KSLV-I INGU. For verification of the IMU error estimated by Kalman Filter of Inertial Explorer, the covariance parameters of inertial sensor error model state are identified by using stochastic error model of inertial sensors estimated by Allan variance and the alignment and navigation test with static condition and the land navigation test with dynamic condition are carried out. The validity of inertial sensor model for KSLV-I INGU is verified by comparison the alignment and navigation results of INGU on-board software and Inertial Explorer.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.11
• /
• pp.131-138
• /
• 2022

Git's commit message is closely related to the project life cycle, and by this characteristic, it can greatly contribute to cost reduction and improvement of work efficiency by identifying risk factors and project status of project operation activities. Among these related fields, there are many studies that classify commit messages as types of software maintenance, and the maximum accuracy among the studies is 87%. In this paper, the purpose of using a solution using the commit classification model is to design and implement a complex classification model that combines several models to increase the accuracy of the previously published models and increase the reliability of the model. In this paper, a dataset was constructed by extracting automated labeling and source changes and trained using the DistillBERT model. As a result of verification, reliability was secured by obtaining an F1 score of 95%, which is 8% higher than the maximum of 87% reported in previous studies. Using the results of this study, it is expected that the reliability of the model will be increased and it will be possible to apply it to solutions such as software and project management.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.26 no.1
• /
• pp.91-101
• /
• 2023

Modeling and Simulation(M&S) technology has been widely used to solve constraints such as time, space, safety, and cost when we implement the same development and test environments as real warfare environments to develop, test, and evaluate weapon systems for the last several decades. The integration and test environments employed for development and test & evaluation are required to provide Live Virtual Construction(LVC) simulation environments for carrying out requirement analysis, design, integration, test and verification. Additionally, they are needed to provide computing environments which are possible to reconfigure computing resources and software components easily according to test configuration changes, and to run legacy software components independently on specific hardware and software environments. In this paper, an Integration Test and Simulation for Engagement Control(ITSEC) bed using a bare-metal virtualization mechanism is proposed to meet the above test and simulation requirements, and it is applied and implemented for an air missile defense system. The engagement simulation experiment results conducted on air and missile defense environments demonstrate that the proposed bed is a sufficiently cost-effective and feasible solution to reconfigure and expand application software and computing resources in accordance with various integration and test environments.

• Progress in Medical Physics
• /
• v.14 no.3
• /
• pp.196-202
• /
• 2003

In 3-dimensional conformal radiation therapy (3D-CRT) and intensity-modulated radiation therapy (IMRT), many studies on reducing setup error have been conducted in order to focus the irradiation on the tumors while sparing normal tissues as much as possible. As one of these efforts, we developed an image enhancement and registration tool for simulators and portal images that analyze setup errors in a quantitative manner. For setup verification, we used simulator (films and EC-L films (Kodak, USA) as portal images. In addition, digital-captured images during simulation, and digitally-reconstructed radiographs (DRR) can be used as reference images in the software, which is coded using IDL5.4 (Research Systems Inc., USA). To improve the poor contrast of portal images, histogram-equalization, and adaptive histogram equalization, CLAHE (contrast limited adaptive histogram equalization) was implemented in the software. For image registration between simulator and portal images, contours drawn on the simulator image were transferred into the portal image, and then aligned onto the same anatomical structures on the portal image. In conclusion, applying CLAHE considerably improved the contrast of portal images and also enabled the analysis of setup errors in a quantitative manner.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.1
• /
• pp.126-136
• /
• 2014

In the Advanced Driver Assistance Systems (ADAS) of smart vehicle and Intelligent Transportation System (ITS) for to detect the boundary of lane is being studied a lot of Hough Transform. This method detects correctly recognition the lane. But recognition rate can fall due to detecting straight lines outside of the lane. In order to solve this problems, this paper proposed an algorithm to recognize the lane boundaries and the accumulator cells in Hough space. Based on proposed algorithm, we develop application for Android was developed by H/W verification. Users of smart phone devices could use lane detection and lane departure warning systems for driver's safety whenever and wherever. Software verification using the OpenCV showed efficiency recognition correct rate of 93.8% and hardware real-time verification for an application development in the Android phone showed recognition correct rate of 70%.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.7
• /
• pp.329-336
• /
• 2017

As web apps have evolved faster and become more complex, their validation and verification have become essential for their development and maintenance. Efficient validation and verification require understanding of how web components collaborate with each other to meet user requests. Thus, this paper proposes a new approach to automatically extracting such collaboration when a user issues a request for a new page. The approach is dynamic and less sensitive to web development languages and technologies, compared to static extraction approaches. It considers an orignal web app as a black-box and does not change the app's behavior. The empirical evaluation shows that our approach can be applicable to extract component collaboration and understand the behavior of open source web apps.

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.808-816
• /
• 2004

This paper proposes the method of implementation of practical online face verification system based on multiple feature combination and a similarity space. The main issue in face verification is to deal with the variability in appearance. It seems difficult to solve this issue by using a single feature. Therefore, combination of mutually complementary features is necessary to cope with various changes in appearance. From this point of view, we describe the feature extraction approaches based on multiple principal component analysis and edge distribution. These features are projected on a new intra-person/extra-person similarity space that consists of several simple similarity measures, and are finally evaluated by a support vector machine. From the experiments on a realistic and large database, an equal error rate of 0.029 is achieved, which is a sufficiently practical level for many real- world applications.

• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.210-216
• /
• 2000

Place/Transition(P/T) nets has been used in protocol verification and concurrent system verification since it is suitable for describing concurrency and provides several well-established verification techniques. And it has been used as a base formalism for such high-level Petri nets as colored Petri nets, object-oriented Petri nets and etc. However, when analyzing complex models using P/T nets and P/T nets-based high-level Petri nets, there may be state explosion in reachability analysis due to improper handling of concurrency. In this paper, we define a structural concurrency in P/T nets, propose a partitioning algorithm based on the detected structural concurrency, and provide analysis techniques for such properties as boundedness of places and liveness of transitions, which are performed on compositional reachability graphs. The analysis techniques based on Petri net slices can be used in efficiently analyzing P/T nets-based high-level Petri net models as well as P/T net models.

• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.5
• /
• pp.231-236
• /
• 2008

This paper proposes a cost-efficient and flexible FPGA-based logic circuit emulation platform. By improving the performance and adding more features, this new platform is an enhanced version of our LAPG. It consists of an FPGA-based hardware engine and software element to drive the emulation and monitor the results. It also provides an interactive verification environment which uses an efficient communication protocol through a bi-directional serial link between the host and the FPGA board. The experimental results show that this new approach saves $55%{\sim}99%$ of communication overhead compared with other methods. According to the test results, the new LAPG is more area efficient in complex circuits with many I/O ports.