디지털 포렌식 온톨로지를 이용한 디지털 증거의 증거능력에 대한 검증 방법

조혁규,박흠,권혁철,Cho, Hyuk-Gyu,Park, Heum,Kwon, Hyuk-Chul 한국정보처리학회 2009 정보처리학회논문지D Vol.16 No.2

디지털 장치들의 활발한 사용은 디지털 증거들을 양산하지만, 이들 증거들이 법정에서 범죄사실을 증명하는 증거로 채택되기에는 많은 어려움이 있다. 따라서 이 논문에서는 디지털 포렌식 온톨로지를 이용한 디지털 증거들의 증거능력에 대한 검증 방법을 제안한다. 디지털 증거들의 증거능력을 검증하기 위하여 경찰청에서 정의한 표준 디지털 포렌식 처리절차에 따라 디지털 포렌식 온톨로지를 확장하고, 디지털 포렌식 온톨로지에서 정의한 각 클래스들 간의 property 관계를 설정하였다. 또한 각 클래스간의 property 제한 규칙을 정의하여 활용한다. 이 논문에서 제안된 검증방법과 온톨로지는 디지털 증거 수집을 위한 계획을 수립하거나, 디지털 포렌식의 교육 등에 활용할 수 있다. Although the various crime involved numerous digital evidence, the digital evidence is hard to be acknowledged as a evidence to proof the crime fact in court. We propose the method of verification for the legal admissibility of digital evidence using digital forensics ontology. In order to verify the legal admissibility of digital evidence, we will extend the digital ontology by standard digital forensics process from Digital Forensics Technical Manual defined by KNPA and set up the relation properties and the rule of property constraint to process class in the digital forensics ontology. It is possible for proposed ontology to utilize to plan the criminal investigation and to educate the digital forensics.

단일화와 차트를 이용한 한국어 구문분석 시스템의 구현

조혁규(Hyuk Gyu Cho),권혁철(Hyuk Chul Kwon) 한국정보과학회 1990 정보과학회논문지 Vol.17 No.4

본 논문은 차트(Chart)와 단일화(Unification)를 이용하여 어순이 자유롭고 다양한 형태의 중의성을 가지는 한국어 구문의 모든 가능한 파스 트리를 생성하는 구문 분석 시스템을 보여 준다. 특히, 차트를 단일화와 한국어의 특성에 맞게 변형하였으며, 문맥상 명확한 경우에 하위범주화되는 구문 요소도 생략할 수 있는 한국어의 특성을 반영하기 위하여 완전히 채워지지 않은 에지가 활성 에지 뿐만아니라 비활성 에지로도 활용될 수 있게 했다. 따라서 본 논문에서 제안된 방법은 하위범주화되는 요소의 생략을 허용하는 한국어의 분석에 적합하다. This paper presents a Korean parser which is based on Unification and Chart. Our parser generates all possible parse trees from a Korean sentence. For the resolution of the ellipsis of Korean, we release the principle of completeness. As a result, a functionally incomplete edge is treated both an active edge and an inactive edge. Our strategy seems reasonable and advantageous especially with languages in which the ellipsis occurs easily and word order is free.

Mobile Implementation of Enhanced Dynamic Signature Verification for the Smart-phone

김진환,조혁규,서창진,차의영,Kim, Jin-Whan,Cho, Hyuk-Gyu,Seo, Chang-Jin,Cha, Eui-Young The Korea Institute of Information and Commucation 2007 한국정보통신학회논문지 Vol.11 No.9

본 논문에서는 스마트폰에서 사용 가능한 동적서명 인증기술의 사용자 인터페이스와 알고리즘을 제안하고, 제안된 시스템의 성능을 기술하였다. 개인 서명의 모양, 쓰는 속도, 기울기, 획수와 획순서 등의 정보를 활용함으로써 인증 여부를 결정하게 되며, 컴퓨터와 무선인터 넷이 발달하고 관련 산업이 급성장함에 따라서 폭 넓은 산업 분야에 활용될 것으로 기대된다. We propose a new enhanced graphical user interface and algorithm for dynamic signature verification using Smart-phone. Also, we describe the performance results of our dynamic signature verification system, which determine the authentication of signatures by comparing and analyzing various dynamic data shape of the signature, writing speed, slant of shape, and the order and number of strokes for personal signatures using an electronic pen, expecting the system to be understood and utilized widely in the industrial field.

LabVIEW를 사용한 텍스트/시각 프로그래밍 교육의 평가 지표 개발 및 유용성 분석

노영욱,정민포,조혁규,정덕길,Lho, Young-Uhg,Jung, Min-Po,Cho, Hyuk-Gyu,Jung, Deok-Gil 한국정보통신학회 2012 한국정보통신학회논문지 Vol.16 No.11

컴퓨터 프로그래밍 교육은 컴퓨터과학 분야의 관련 전공과목을 공부하기 위하여 매우 중요할 뿐만 아니라, 학생들의 취업을 위한 기술 교육에서도 매우 중요하다. 이 논문에서는 컴퓨터 프로그래밍 교육에서 텍스트/시각 프로그래밍 교육을 적용하고 평가하기 위한 평가 지표를 개발한다. 또한, 학생들의 교육 및 취업에 적합한 프로그래밍 언어, 도구에 대한 타당성을 분석하여 프로그래밍 교육에 적합한 프로그래밍 언어/도구를 선택하고, 이에 대한 교육과정을 개발하여 프로그래밍 현장 교육에 적용하고 분석한다. 특히, 최근의 기술 추세와 산업계에 필요한 임베디드/모바일/웹 프로그래밍 분야에 널리 사용되고 있는 프로그래밍 분야에서 텍스트 기반 언어(JAVA)와 시각 프로그래밍 언어/환경(LabVIEW)에 대한 유용성을 비교하여 분석한다. The computer programming education is very important to study the related subjects in computer science, and also in the technology education for the students finding employment. In this paper, we develop the assessment metrics to evaluate and apply the textual and visual programming in the computer education. Also, we analyze the validity for the programming languages and tools for the education and getting job of students, and choose the appropriate programming language/tool for programming education. And, we develop the curriculum for programming education, finally apply and analyze in computer education of university. Especially, we compare and analyze the effectiveness for the text based programming language(JAVA) and visual programming language/environment(LabVIEW) in the area of embedded/mobile/Web programming fields which are necessary in the related industry to the recent trend of IT technology.

UML과 LabVIEW OOP를 기반으로 한 내장형 프로그래밍 교육의 적용 방안 및 분석

정덕길,정민포,조혁규,노영욱,Jung, Deok-Gil,Jung, Min-Po,Cho, Hyuk-Gyu,Lho, Young-Uhg 한국정보통신학회 2015 한국정보통신학회논문지 Vol.19 No.3

컴퓨터 언어를 배우는 학습자는 텍스트 기반으로 된 프로그래밍을 매우 어렵다고 생각하며, 객체 지향 프로그래밍 학습에서도 어려움을 호소한다. 이러한 문제를 해결하기 위한 방법이 객체 지향 시각 프로그래밍을 프로그래밍 교육에 도입하는 것이다. 이 논문에서는 프로그래밍 교육에서 이러한 문제를 해결하기 위해 객체지향 모델링을 지원하기 위해 UML을 도입하고 시각 프로그래밍 방법론으로서 객체지향 프로그래밍을 지원하는 LabVIEW OOP를 사용하여 학습자들에게 프로그래밍 교육을 수행하는 방법을 제시한다. 또한, 이 교육 방법론을 내장형 프로그래밍 교육에 적용하는 방안을 제안하며, 제시된 프로그래밍 교육 방법에 대해 설문조사를 실시하여 교육적인 효과를 분석한다. The students who learn the computer languages think it very difficult to program using the text-based programming languages and also to learn the object-oriented programming. Therefore, we introduce the object-oriented visual programming into the programming education. And, to solve the this problem in the programming education, in this paper, we introduce the UML to support the object-oriented modeling and to teach the students using the LabVIEW OOP that supports the object-oriented visual programming. And, we propose to apply it on the embedded programming education. Also, we analyze the educational effect of the proposed education methodology of programming based on the student survey.

Alice 프로그래밍을 통한 객체 지향 시각 프로그래밍 교육의 평가 지표 개발 및 유용성 분석

정덕길,정민포,조혁규,노영욱,Jung, Deok-Gil,Jung, Min-Po,Cho, Hyuk-Gyu,Lho, Young-Uhg 한국정보통신학회 2014 한국정보통신학회논문지 Vol.18 No.3

객체 지향 시각 프로그래밍 교육에 대한 연구는 학생들이 프로그램 개발을 진행하는 과정 혹은 프로그래밍을 교수하는 방법론과 프로그램 개발을 위한 적합성 분석 및 설계 방법론을 찾는 것과 관련된다. 학생들이 프로그래밍 교육에서 학습에 어려움을 겪고 있는 객체 지향 프로그램 개발 능력을 향상시킬 수 있는 교육 방법으로 이 논문에서는 컴퓨터 프로그래밍 교육에서 객체 지향 시각 프로그래밍 교육을 적용하고 평가하기 위한 평가 지표를 개발하고, Alice 프로그래밍을 통한 시각 프로그래밍 교육 방법론과 교과과정을 도입한다. 이 논문에서 제시된 시각 프로그래밍 교육의 평가 지표는 시각 프로그래밍 언어/도구를 사용할 때 학생들의 프로그래밍 교육에 대한 적합성을 측정하고 분석하여 학생들의 이해력, 추상화 능력, 프로그램 구현 능력과 학생들의 수준별 적합성을 측정하고 분석한다. The research of the object-oriented visual programming education is related to investigate the instructional method for computer programming, the process for program development for students, and the suitability analysis and design methodology for program development. In order to develop the educational methodology for the students who have the difficulties to study the computer programming and to enhance the abilities for the development of object-oriented programs, in this paper, we suggest the evaluation metrics to apply and assess for the object-oriented programming education. Also, we introduce the visual programming education methodology and curriculum using Alice programming. The evaluation metrics for the visual programming education suggested in this paper, is accepted when the visual programming languages/tools are used in the programming education to assess and analyze the suitabilities for the programming education for students, so to utilize the analyses for abilities of understanding, abstraction, and program implementation by level.

LabVIEW OOP를 활용한 프로그래밍 교육의 적용 방안

정민포(Min-Po Jung),조혁규(Hyuk-Gyu Cho),정덕길(Deok-Gil Jung) 한국컴퓨터정보학회 2012 한국컴퓨터정보학회 학술발표논문집 Vol.20 No.1

일반적으로 프로그램을 배우는 초보자들은 텍스트 기반으로 프로그램을 하는 것이 매우 어렵다. 이러한 문제를 쉽게 풀기 위한 한 방법이 Visual C++, Visual Basic, Delphi와 같은 비주얼 프로그램으로 구현하는 것이다. 그러나 이러한 프로그램을 배우는 학습자들 역시, 비주얼 컴포넌트 작동에 대한 텍스트 프로그래밍을 어려워하고 있다. 논문에서는 이러한 문제를 해결하기 위해 논리적 사고를 표현하고 객체지향을 지원하기 위해 UML을 도입하고 텍스트 프로그래밍 요소를 비주얼 프로그래밍 요소로 대체하기 위해 객체지향을 지원하는 LabVIEW OOP를 사용하여 학습자들에게 프로그래밍 교육을 하는 방법을 제시하였다. 또한, 제시된 프로그래밍 교육 방법에 대해 설문조사를 실시하여 교육적인 효과를 분석하였다.

A Study on Feature Extraction an Matching of Enhanced Dynamic Signature Verification

Jin-Whan Kim(김진환),Hyuk-Gyu Cho(조혁규),Eui-Young Cha(차의영) 한국지능시스템학회 2005 한국지능시스템학회 학술발표 논문집 Vol.15 No.1

This paper is a research on feature extraction and comparison method of dynamic (on-line) signature verification. We suggest desirable feature information and modified DTW(Dynamic Time Warping) and describe the performance results of our enhanced dynamic signature verification system.

RFID 태그 생산 공정 자동화를 위한 부적합품 검출 시스템의 구현

정민포(Min-Po Jung),조혁규(Hyuk-Gyu Cho),정덕길(Deok-Gil Jung) 한국컴퓨터정보학회 2011 韓國컴퓨터情報學會論文誌 Vol.16 No.2

국내 대부분의 RFID 태그 생산업체에서는 칩 본딩 작업 후에 태그 불량품 검출 작업이 수작업으로 수행되기 때문에 태그 생산 시간과 비용을 감소시키기 위한 요구가 산업계에서 요구되어 왔다. 이에 따라 이 논문에서는 태그 불량 검출 기능을 수행하는 시스템을 개발하여 산업 현장에서 요구되는 RFID 태그 부적합품 검출 자동화 시스템을 구축할 수 있는 소프트웨어 분야의 기초 기반 기술을 제공한다. 프로그램의 개발 비용을 낮추고 유지보수를 용이하게 하기 위하여 시스템의 모델링에는 UML을 사용하고 프로그램의 구현에는 JAVA 언어를 사용하여 개발하였다. 개발된 시스템은 태그 불량 검출 작업을 수작업으로 처리하는 방법과 비교하여, 매우 뛰어난 처리속도의 성능 향상과 부적합품 검출에 대한 완벽한 인식률을 보여준다. The detection process of defective tags in most of Korean domestic RFID manufacturing companies is treated by on-hand processing after the job of chip bonding, so it has been requested to reduce the time and cost for manufacturing of RFID tags. Therefore, in this paper, we implement the system to perform the detection of defective tags after the process of chip bonding, and so provide the basis of software to establish the foundation of automation system for the detection of defected RFID tags which is requested in the related Korean domestic industrial field. We have developed the system by using UML in modeling phase and JAVA in implementation phase to reduce the cost of development of program and make it easy to maintain. The developed system in this paper shows the very enhanced performance in processing speed and perfect detection rate of defective tags, comparing to the method of on-hand processing.

RFID 불량검출 시스템 개발을 위한 UML 모델의 구성

정민포(MIN-PO JUNG),조혁규(HYUK-GYU CHO),황건용(GUN-YONG HWANG),박영식(YOUNG-SIK PARK),정덕길(DEOK-GIL JUNG) 한국정보기술학회 2010 Proceedings of KIIT Conference Vol.2010 No.-

RFID 태그 생산 공정에서 태그를 완성한 후, 완성된 태그에 대한 불량 검출이 주로 수작업으로 진행되었다. 이러한 수작업 공정에 대해 신뢰도를 높이는 요구 발생하고 있다. 본 논문에서는 태그 생산품에 대한 신뢰도를 높일 수 있는 태그 불량 검출 시스템을 설계하기 위한 소프트 웨어 설계 모델링을 제안하여 산업 현장에서 요구되는 RFID 태그 불량 검출 자동화 시스템을 구축할 수 있는 기반을 마련한다. A domestic RFID tag's manufacturing business does most handwork for finding a fault TAG after producing the Chip Bonding. We need to find fault RFID tags in automatically. In this paper, we suggest a software model for designing a detection automation system to be able to auto-detect a fault TAG.