• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.32 no.2
• /
• pp.417-437
• /
• 2022

The quality of the fuzzing seed file is one of the important factors to discover vulnerabilities faster. Although the prior seed generation paradigm, using dynamic taint analysis and symbolic execution techniques, enhanced fuzzing efficiency, the yare not extensively applied owing to their high complexity and need for expertise. This study proposed the DDRFuzz system, which creates seed files based on sequence-to-sequence models. We evaluated DDRFuzz on five open-source applications that used multimedia input files. Following experimental results, DDRFuzz showed the best performance compared with the state-of-the-art studies in terms of fuzzing efficiency.

• Journal of Software Assessment and Valuation
• /
• v.15 no.2
• /
• pp.25-33
• /
• 2019

In copyright dispute on software, appraisal procedure is needed, which is regarded as an implementation of the right to fast trial. Considering that, in practice, there has been a long discussion of attempting to operate the software appraisal as a summary procedure. This was done usually by reducing the resources devoted to the summary procedure, however, this way inevitably makes difference in a result obtained through the procedure. Therefore, this research reviewed the previous operation of summary procedure in software appraisal, focusing on intrinsic nature of the summary procedure and role of software appraisal in the trial process.

• Communications of Mathematical Education
• /
• v.28 no.3
• /
• pp.353-366
• /
• 2014

Recently, the widespread usage of 3D-Printing has grown rapidly in popularity and development of a high level technology for 3D-Printing has become more necessary. Given these circumstances, effectively using mathematical knowledge is required. So, we have developed free web tools for 3D-Printing with Sage, for mathematical 3D modeling and have utilized them in college education, and everybody may access and utilize online anywhere at any time. In this paper, we introduce the development of our innovative 3D-Printing environment based on Calculus, Linear Algebra, which form the basis for mathematical modeling, and various 3D objects representing mathematical concept. By this process, our tools show the potential of solving real world problems using what students learn in university mathematics courses.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.35 no.4
• /
• pp.430-439
• /
• 2006

The purpose of this study was to investigate effects of web-based nutrition counseling on food intake and dietary behavior of type II diabetic patients. Forty type II diabetic patients, twenty -one of them were diabetic patients without complication (Ncx -DM) and nineteen of them were diabetic patients with complication (Cx-DM), participated in a web-based nutrition counseling program. At the first nutrition counseling, the patients were counselled through interview and then follow up nutrition counseling was accomplished four times during eight weeks through the web-based internet program. The web-based nutrition counseling program was consisted of diet management, nutrition counseling, nutritional assessment and follow-up management pro-gram The diet therapy knowledge score increased significantly (p<0.001) in both groups after the nutrition counseling. The dietary behavior score also increased significantly (p<0.001). For food frequency, vegetable (p<0.01), fish & shellfish (p<0.01) and seaweed (p<0.01) intake increased significantly, while potatoes, bread and carbohydrate beverage intake decreased, specially sugar products (p<0.01) and instant food (p<0.01) intake decreased significantly in both groups after the nutrition counseling, The evaluation of the web-based nutrition counseling and its program by the diabetic patients showed above average in all domains, specially the evaluation scores of younger aged patients habituated to practice computer were better than those of older aged patients. Therefore, this study shows that the web-based nutrition counseling is effective for improving dietary behavior and food intake of the patients. In addition, these results indicate that internet presents us with potential as a new medium for nutrition counseling ill informationized society.

• Journal of the Korean Society for Railway
• /
• v.15 no.4
• /
• pp.323-328
• /
• 2012

The purpose of this study is to develop automated structural design and analysis aided-program of aluminum extrusion carbody structures for railway vehicle. This developed program is called "AUTO-RAP" and could perform simultaneously structural design and verification for railway carbody structures made of aluminum extrusion independent of expertise and experience of design engineers. Design engineers are able to conduct the knowledge-based design by providing database of existing aluminum extrusion or user-defined function. The design verification is automatically programmed to evaluate its structural integrity according to Korean Railway Safety Law or Urban Transit Safety Law. In addition, this program could automatically generate an executable file of various commercial finite element programs such as ANSYS and ABAQUS and CAD files such as .stp and .iges by GUI environment applications using MFC(Microsoft Foundation Classes). In conclusion, it is expected to contribute to reduce product design cost and time of carbody structures aluminum extrusions in railway industry.

• Journal of the Korea Computer Graphics Society
• /
• v.13 no.2
• /
• pp.23-29
• /
• 2007

We are suggesting an authoring tool can be used for prototyping in the augmented reality based product design environment. This tool is for authors without an engineering background to use. Our authoring tool can adjust the properties of visual, sound, and haptic feedback at the same time for more practical prototyping. Also the proposed modulated architecture can be applied flexibly to changes of platforms or hardware. Also user interfaces can be dynamically updated by changing just description files. finally, the suggested authoring methods exploit the advantages of both graphical and tangible user interfaces. Authors can intuitively make adjustments to many parameters using the TUI, and then they can do the same thing precisely using the GVI. The proposed authoring methods can be used for exhibition and entertainment contents using multi-sensory feedback in AR environment. As a future work, qualitative and quantitative usability test will be conducted.

• Journal of Digital Convergence
• /
• v.15 no.4
• /
• pp.191-198
• /
• 2017

It is needed to support intelligent customized health information service for user convenience in PHR based Personal Health Care Service Platform. In this paper, we specify an ontology-based health data model for Personal Health Care Service Platform. We also design a knowledge search algorithm that can be used to figure out similar health record by applying machine learning and data mining techniques. Axis-based mining algorithm, which we proposed, can be performed based on axis-attributes in order to improve relevance of knowledge exploration and to provide efficient search time by reducing the size of candidate item set. And K-Nearest Neighbor algorithm is used to perform to do grouping users byaccording to the similarity of the user profile. These algorithms improves the efficiency of customized information exploration according to the user 's disease and health condition. It can be useful to apply the proposed algorithm to a process of inference in the Personal Health Care Service Platform and makes it possible to recommend customized health information to the user. It is useful for people to manage smart health care in aging society.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.20 no.5
• /
• pp.59-67
• /
• 2010

In the paper, we proposed an IM-ACM(Insider Misuse-Access Control Model) for preventing illegal information leakage by insider who exploits his legal rights in the ubiquitous computing environment. The IM-ACM can monitor whether insider uses data rightly using misuse monitor add to CA-TRBAC(Context Aware-Task Role Based Access Control) which permits access authorization according to user role, context role, task and entity's security attributes. It is difficult to prevent information leakage by insider because of access to legal rights, a wealth of knowledge about the system. The IM-ACM can prevent the information flow between objects which have the different security levels using context role and security attributes and prevent an insider misuse by misuse monitor which comparing an insider actual processing behavior to an insider possible work process pattern drawing on the current defined profile of insider's process.

• Journal of Intelligence and Information Systems
• /
• v.17 no.4
• /
• pp.37-58
• /
• 2011

In general, testing DB applications is much more difficult than testing other types of software. The fact that the DB states as much as the input data influence and determine the procedures and results of program testing is one of the decisive reasons for the difficulties. In order to create and maintain proper DB states for testing, it not only takes a lot of time and efforts, but also requires extensive IT expertise and business knowledge. Despite the difficulties, there are not enough research and tools for the needed help. This article reports the result of research on automatic creation and maintenance of DB states for testing DB applications. As its core, this investigation develops an automation tool which collects relevant information from a variety of sources such as log, schema, tables and messages, combines collected information intelligently, and creates pre- and post-Images of database tables proper for application tests. The proposed procedures and tool are expected to be greatly helpful for overcoming inefficiencies and difficulties in not just unit and integration tests but including regression tests. Practically, the tool and procedures proposed in this research allows developers to improve their productivity by reducing time and effort required for creating and maintaining appropriate DB sates, and enhances the quality of DB applications since they are conducive to a wider variety of test cases and support regression tests. Academically, this research deepens our understanding and introduces new approach to testing enterprise systems by analyzing patterns of SQL usages and defining a grammar to express and process the patterns.

• Journal of Music and Human Behavior
• /
• v.3 no.2
• /
• pp.59-68
• /
• 2006

The purpose of this paper is to provide basic guidelines for listening and analyzing GIM music literature. Many GIM practitioners have developed listening guidelines for GIM music literature, however, there needs to be a more structured guidelines and criteria for beginning GIM trainees. This paper has utilized the psychoanalytic and existential analysis of musical elements suggested by Bruscia, which focuses on the rhythmic and tonal components of musical elements. These components deal with the energy level and emotional depth embedded in the music, which are important essences in imagery experiences. The paper further reviewed various approaches of analyzing music which are musical, phenomenological, and heuristic. These approaches include both musical analysis and analyzer's subjective experiences of music. However, it is more essential firstly to understand the basic musical criteria in relation to psychoanalytic and existential aspects before going into subjective experiences of music listening for the beginning GIM trainees.