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

조혁규,박흠,권혁철,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.

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

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

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를 사용한 텍스트/시각 프로그래밍 교육의 평가 지표 개발 및 유용성 분석

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

컴퓨터 프로그래밍 교육은 컴퓨터과학 분야의 관련 전공과목을 공부하기 위하여 매우 중요할 뿐만 아니라, 학생들의 취업을 위한 기술 교육에서도 매우 중요하다. 이 논문에서는 컴퓨터 프로그래밍 교육에서 텍스트/시각 프로그래밍 교육을 적용하고 평가하기 위한 평가 지표를 개발한다. 또한, 학생들의 교육 및 취업에 적합한 프로그래밍 언어, 도구에 대한 타당성을 분석하여 프로그래밍 교육에 적합한 프로그래밍 언어/도구를 선택하고, 이에 대한 교육과정을 개발하여 프로그래밍 현장 교육에 적용하고 분석한다. 특히, 최근의 기술 추세와 산업계에 필요한 임베디드/모바일/웹 프로그래밍 분야에 널리 사용되고 있는 프로그래밍 분야에서 텍스트 기반 언어(JAVA)와 시각 프로그래밍 언어/환경(LabVIEW)에 대한 유용성을 비교하여 분석한다.

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

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

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.

소프트스킬 함양교육 사례

박미경(Mikeung Park),조혁규(Hyuk-gyu Cho) 한국공학교육학회 2012 공학교육연구 Vol.15 No.3

The skill that meets the intellectual and technical requirements in workplace is called hard skill. The counter part of it is ‘softskills’ which enhances an individual s interactions, job performance and career prospects. It becomes more necessary skill as society changes. In this paper we first show the demand for the softskill improvement education for engineering major students. Then we introduce a ‘softskill improvement education’ program developed by the “Center for innovative engineering education” in a University. The contents of the program are chosen by the needs of society, companies that hire our students, ABEEK educational objectives and consulting from professors. To improve the skills we used various activities as tools which are mentioned and introduced. The evaluation of the program results are discussed. We suggest some ways to improve the program.

A Study on Authentication Server of Dynamic Signature Verification System

Jin-Whan Kim(김진환),Hyuk-Gyu Cho(조혁규),Eui-Young Cha(차의영) 한국전자거래학회 2005 한국전자거래학회지 Vol.10 No.3

본 논문은 동적(온라인) 서명인증 기술에 관한 것으로 서명의 특징 벡터, 유사 서명에 대한 변별력, 오류율 등에 대해서 살펴보고, 고성능 서명인증시스템을 위한 특정 추출과 매칭 방법을 제안하고. 보다 효율적인 사용자 인터페이스를 설계하였고, 다양한 OS플랫폼 지원을 위하여 Java 기술을 이용한 웹 인증 서버를 구현하였다. This paper is a research on the dynamic signature verification of error rate which are false rejection rate and false acceptance rate, the size of signature verification engine, the size of the characteristic vectors of a signature, the ability to distinguish similar signatures, and so on. We suggest feature extraction and comparison method of the advanced signature verification. Also, we have implemented web authentication server with Java technology for supporting various OS Platforms and designed for more efficient user interfaces.

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 불량검출 시스템 개발을 위한 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.