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

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

문법적인 위치 규칙을 이용한 과학논문 요약으로부터 단백질간의 상호작용 추출

조혁규 영산대학교 2004 영산논총 Vol.14 No.-

This paper presents the development of system that automatically extract the protein-protein interactions from scientific articles. The developed system uses the Apple Pie parser and syntatic-location rules. The Apple Pie parser is an English parser already developed by other researchers. The syntatic-location rule is the positional relation rule between words in the English sentences. The performance of our system is that the precision is 90.79% and the recall is 92.41% for experimental data from the BIND database.

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

조혁규(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.

자연언어 구문분석의 비결정성 처리에 관한 연구

조혁규(H.G. Cho),박용욱(Y U. Park),권혁철(H C. Kwon),윤애선(A.S. Yun) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2

자연언어는 다양한 형태의 중의성(Ambiguity)을 가지고 있다. 이러한 자연언어의 특성으로 인하여 컴퓨터에 의한 자연언어 구문해석은 비결정성(Nondeterministic)인 처리를 요구한다. 이러한 자연언어 처리의 비결정성은 Backtracking을 이용하여 처리할 수 있으나, 불필요한 계산을 반복해야하는 문제가 발생한다. 본 연구에서는 차트(Chart)와 단일한 기반 형식론(Unification Based Formalism)을 이용하여, Backtracking을 이용하지 않고 비결정적인 한국어 구문을 부분 자유어순을 허용하여 가능한 모든 파스 트리를 생성하는 All Path 파싱 기법과 그에 대한 구현 시스템을 보여준다.

KPSG에 기반한 한국어 해석기의 구현

조혁규(H.G. Cho),장명길(M.G. Jang),권혁철(H.C. Kwon) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.1

KPSG(Korean Phrase Structure Grammar)는 통사규칙의 역할을 축소하고 어휘부의 역할을 상대적으로 중요시하는 단일화 기반 문법에 속한다. KPSG에서는 어휘부의 자질정보를 이용하여 하나의 구문구조 규칙과 단일화 연산을 이용하고 각 구문구성요소들의 관계를 하위어(Daughter)와 중심어(Head)범주로 분리하여 하위범주화 정보에 의해 구문을 해석함으로써 어순이 부분적으로 자유로운 한국어를 효과적으로 parsing할 수 있다. 본 논문에서는 KPSG를 이용한 한국어 구문구조 해석기를 C 언어를 이용하여 구현하였다. 또한 한국어의 해석에 이용되는 구문 구조 규칙과 자질(feature)을 정의 하였으며, 내포문의 주어, 목적어의 결여에 대한 유형과 의미상 대응관계를 분류하였다. 알고리즘을 간단히 하고 결여통제에 효율을 높이기 위하여 해석기를 해석단계와 후처리 단계로 분리하여 구성하였다.

동적 서명인증을 위한 수정돈 DTW 방법에 관한 연구

김진환,조혁규,차의영 한국지능시스템학회 2006 한국지능시스템학회논문지 Vol.16 No.6

This paper deals with a modified method of the dynamic time warping and feature points to extract various important information of the signature for the dynamic signature verification. We could achieve lower equal error rate, small and efficient feature points and fast processing time for the verification. 본 논문에서는, 동적 서명의 여러 가지 중요한 특징을 잘 반영할 수 있는 특징 정보를 추출하였고, 두 패턴을 비교하는 방법에서는 기존의 DTW 방법에서의 문제점을 개선하여 제안된 DTW 방법을 사용함으로써, 낮은 오류율(본인 거부율, 타인 수락률), 적은 량의 특징 정보, 빠른 처리 속도 등에서의 성능을 개선하였다.

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.

고성능 동적 서명인증시스템 구현

김진환,조혁규,차의영 한국정보통신학회 2005 한국정보통신학회논문지 Vol.9 No.5

동적(온라인) 서명인증시스템은 내부 처리 과정에서는 불필요한 점들을 제거하는 전처리과정, 서명의 변화폭을 줄여주고 서명자의 고유한 특징 정보를 추출하는 특징추출과정, 두 서명의 특징벡터를 비교하여 유사도를 계산하는 비교과정, 보안수준에 따른 인증 여부를 결정하는 판단과정으로 구성되며, 사용자 관점에서의 화면 구성은 서명을 입력받아 기준서명과 보안수준 값을 만들어 주는 등록화면과 권한 부여를 위하여 진서명인지 모조서명인지를 판단하는 인증화면으로 나누어진다. 본 논문에서는 동적 서명인증시스템의 처리속도, 서명의 특징벡터의 추출방법과 비교 알고리즘, 사용자 인터페이스 등과 실제 환경에서의 설계 및 구현에 대한 연구이다. Dynamic (On-line) signature verification system consists of preprocessing, feature extraction, comparison and decision process for internal processing, and registration and verification windows for the user interface. We describe an implementation and design for an advanced dynamic signature verification system. Also, we suggest the method of feature extraction, matching algorithm, efficient user interface and an objective criteria for evaluating the performance.

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.

A study on the dynamic signature verifidation system

김진환,차의영,조혁규 한국지능시스템학회 2004 INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGE Vol.4 No.3

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, the processing speed and so on. Also, we present our efficient user interface and performance results.