• Proceedings of the Korean Society of Computer Information Conference
• /
• 2018.07a
• /
• pp.461-462
• /
• 2018

본 논문에서는 JavaCC를 사용하여 보안약점을 찾아내는 도구를 구현한다. 이 도구는 구문 정보와 흐름 정보를 이용하여 프로그램 소스 코드에서 보안약점을 찾아 진단한다. 이를 통해 컴파일러 단계별 얻을 수 있는 정보와 관련 보안약점을 연계함으로써 보안약점에 대한 진단 방법과 분석 정보의 연계를 기대할 수 있다.

• Journal of Digital Convergence
• /
• v.14 no.3
• /
• pp.409-418
• /
• 2016

This study examines how instructor's attractiveness perceived by pilates participants affects participants' flow and passion. The subjects for this study were 214 participants who participated in pilates in Seoul. The reliability and validity test of the questionnaire were conducted by using SPSS & AMOS Window 18.0 program; the results of descriptive analysis, factor analysis, correlation analysis, structural equation model are as follows; First, the instructors' attractiveness affects pilates participants' flow. Second, the instructors' attractiveness has influence on the participants' passion. Third, pilates participants' flow affects their passion. Lastly there is a causal relationship between instructors' attractiveness, flow and passion of pilates participants.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.454-457
• /
• 2011

명령형 언어로 작성된 프로그램에 대한 정적 분석을 효과적으로 수행하는 방법을 제시한다. 흐름을 고려하면서 분석 할 때, 일부의 계산만이 분석 결과를 만들어내는 데 이바지한다. 주어진 입력 메모리로 어떤 명령문을 계산할 때 입력 메모리의 일부만 계산에 사용하고, 계산의 결과는 입력 메모리에서 일부만 변경된 값이기 때문이다. 또한, 변경된 값이 다시 계산에 사용되기까지 불필요한 값의 전달을 수반한다. 이 논문에서는 가벼운 전분석을 통해 불필요한 계산들을 미리 찾아내어 계산에서 제외하는 방법을 제시한다. 상용화된 요약해석 기반 분석기에 이 기법을 적용하고 10개의 오픈 소스 프로그램에서 실험한 결과 분석속도가 평균 65배 빨라졌다. 또한, 최근에 제안된 필요한 정보만 가지고 계산하기 기법을 적용한 결과에 비해서도 분석속도가 평균 16배 빨라졌다.

• Journal of KIISE
• /
• v.41 no.12
• /
• pp.1007-1012
• /
• 2014

Software birthmarks are used to detect software plagiarism. For binaries, however, only a few birthmarks have been developed. In this paper, we propose a static approach to generate API sequences along major paths, which are analyzed from control flow graphs of the binaries. Since our API sequences are extracted along the most plausible paths of the binary codes, they can represent actual API sequences produced from binary executions, but in a more concise form. Our similarity measures use the Smith-Waterman algorithm that is one of the popular sequence alignment algorithms for DNA sequence analysis. We evaluate our static path-based API sequence with multiple versions of five applications. Our experiment indicates that our proposed method provides a quite reliable similarity birthmark for binaries.

• Journal of KIISE:Software and Applications
• /
• v.30 no.7_8
• /
• pp.696-702
• /
• 2003

This paper presents a static analysis based on set-based framework which estimates exception propagation paths of Java programs, and a visualization tool which visualizes propagation paths of exceptions using the static analysis information. We have implemented the exception propagation analysis and a visualization tool, which can guide programmers to handle exceptions more effectively.

• Journal of KIISE:Software and Applications
• /
• v.35 no.7
• /
• pp.452-461
• /
• 2008

Binary diffing is a method to find differences in similar binary executables such as two different versions of security patches. Previous diffing methods using flow information can detect control flow changes, but they cannot track constant value changes. Biffing methods using assembly instructions can detect constant value changes, but they give false positives which are due to compiling methods such as instruction reordering. We present a binary diffing method and its implementation named SCV which utilizes both structure and value information. SCV summarizes structure and constant value information from disassembled code, and matches the summaries to find differences. By analyzing a Microsoft Windows security patches, we showed that SCV found necessary differences caused by constant value changes which the state-of-the-art binary diffing tool BinDiff failed to find.

• Journal of Digital Convergence
• /
• v.14 no.3
• /
• pp.391-399
• /
• 2016

This study aimed to investigate the effect of verbal abuse experience, coping style and resilience on emotional response and practical stress. 261 nursing students participated in this study. The Data were collected using self-report questionnaires from Dec. 1 to Dec. 20, 2014. We found a positive correlation among verbal abuse experience, emotional coping style and stress during clinical practicum; a positive correlation among problem coping style, emotional coping style and resilience; a positive correlation among emotional coping style, emotional response and stress; a negative correlation among resilience and emotional response; a positive correlation among emotional response and stress during clinical practicum. The highest impact factors affecting the emotional response was emotional coping style(${\beta}=.422$). The highest impact factors affecting stress during clinical practicum was verbal abuse experience(${\beta}=.283$). Future efforts should be focused to provide interpersonal relation training and communication skills training for a safe environment of nursing students.

• Journal of Digital Convergence
• /
• v.19 no.12
• /
• pp.413-425
• /
• 2021

This study examines the motivation for using YouTube 'mukbang' content by integrating the use and satisfaction approach and the technology acceptance model, and identified the determinants that affect the continuous use intention. A survey was conducted on 358 YouTube 'mukbang' content users, and major results were derived through exploratory/confirmatory factor analysis and path analysis using the SPSS 21.0 program and the AMOS 21.0 program. The main results are presented as follows. First, information seeking motive, stress relief motive, and time spending motive had a positive effect on perceived usefulness, and information seeking motive and time spending motive had a positive effect on perceived ease of use. Second, information seeking motivation, stress relief motivation, and time spending motivate had a positive effect on perceived enjoyment and perceived novelty. Third, perceived enjoyment did not have a significant effect on perceived usefulness. Fourth, both perceived enjoyment and perceived novelty had a positive effect on continuous use intention. Fifth, perceived ease of use had a positive effect on perceived usefulness, and perceived ease of use and perceived usefulness had a positive effect on continuous use intention. This study will have academic significance in that it elaborates a model that can identify the continuous use of YouTube 'mukbang' content by integrating the uses and gratifications approach, and technology acceptance model. Future follow-up studies should contribute to the refinement of models related to the determinants of the intention to continue using YouTube's 'mukbang' content through an attempt to integrate various models.

• 한국정보교육학회:학술대회논문집
• /
• 2006.01a
• /
• pp.51-56
• /
• 2006

초등학교 수학과의 학습은 학습자의 구체적인 조작을 통해서 개념을 학습하여야 한다. 웹에서 구현되는 콘텐츠들은 개념 학습을 위한 정의나 정적인 것이다. 이린 정적인 콘텐츠는 상호작용의 제약 조건이 많다. 이런 제약 조건을 극복하고 학생들의 인지적인 단계에 적합한 동적인 상호작용을 위한 콘텐츠 개발이 필요하다. 이에 본 연구에서는 수와 연산 영역의 교육과정을 분석을 통하여 객체와 클래스를 분석 설계한 이전의 연구에 이어 '수 클래스'를 구현하고 구현한 클래스를 활용하여 학생들의 자유로운 조작과 탐구활동을 통해 수와 연산의 개념과 원리를 학습할 수 있는 프로그램인 '수와 연산 학습 애플릿'을 개발하였다. 이것은 학생들의 동적인 상호 작용을 강하할 수 있다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.6
• /
• pp.620-627
• /
• 2000

실시간 프로그램은 다양한 응용분야에 중요하게 이용되고 있는데, 기존의 일반 언어는 시간적인 개념을 고려하여 설계하지 않았으므로 실시간 응용에 부적합하며, 이를 해결하기 위한 실시간 언어는 시간 개념을 표현하기 위하여 많은 문법이 추가되어 기존 프로그래머에 익숙치 못한 결점이 있다. 본 연구에서는 기존의 C언어에 익숙한 프로그래머들이 저항감 없이 실시간 프로그래밍을 할 수 있는 언어를 설계하고 구현한다. 이 구현에서는 시간 트리를 이용함으로써 원시 언어와 목적 언어의 연결이 가능하며, 정적 분석을 이용한 결과를 코드 생성에 이용함으로써 외부적인 타이머 없이 시간적인 사건의 처리가 가능하다.