과거에 비해 최근에 비즈니스 프로세스가 다양해지고 복잡해짐에 따라 비즈니스 프로세스를 디자인할 때 발생할 수 있는 문제점이 점차 증가하고 있다. 그로인해 비즈니스 프로세스 검증의 중요성이 높아지고 있지만 많은 검증 방법이 제안되고 있지 않은 실정이다. 한편, 최근 BPMI에서 주도하는 BPMN(Business Process Modeling Notation)은 비즈니스 프로세스를 위한 표준화된 그래픽 표기법으로써 BPMN을 지원하는 디자인 툴을 이용하면 다양하고 복잡한 프로세스 환경을 일반화된 형태로 디자인하고 분석할 수 있다. 이 논문에서는 이러한 BPMN으로 디자인할 때 발생할 수 있는 문제점들을 효율적으로 검증할 수 있는 몇 가지 검증기법을 제시한다. 이로 인해 비즈니스 프로세스 실행 시 발생할 수 있 문제점들을 효율적으로 검증할 수 있는 몇 가지 검증기법을 제시한다. 이로 인해 비즈니스 프로세스 실행시 발생할 수 있는 에러들을 사전에 검증하여 예기치 못한 큰 비용을 줄일 수 있다.

최근 휴대용 정보기기 사용이 보편화되어지고 있는 가운데 정보의 디지털화로 인해 휴대용 정보기기에서 처리되어야 하는 정보가 무수히 많아지고 있다. 이로 인해 휴대용 정보기기에서는 정보들을 효과적으로 관리하기 위해 임베디드 DBMS의 사용이 요구되고 있다. 또한 휴대용 정보기기에서 보편적으로 사용되는 저장장치는 NAND형 플래시 메모리로 단위 공간당 비용이 기존의 하드디스크에 비해 수십배 가량 높아 저장 공간의 효율적인 관리가 요구되고 있다. 따라서 본 논문에서는 플래시메모리를 저장매체로 사용하는 DBMS에서 압축기법을 사용한 효율적인 데이터 관리 시스템을 제안한다. 제안되는 압축 기반 시스템은 저장 공간과 데이터I/O를 줄이며, 데이터I/O를 줄임으로써 DBMS의 성능향상과 플래시 메모리의 수명을 연장시키는 효과를 기대할 수 있다.

플래시 메모리는 기술 발전에 따른 빠른 용량 증가와 모바일 환경에 우수한 특성으로 인해 가까운 시일내에 하드 디스크를 대체할 대용량 저장 장치로서 주목 받고 있다. 이러한 흐름에 따라 플래시 메모리 사용이 증가하고 플래시 메모리에 저장하는 데이터의 양이 점차 많아지면서 플래시 메모리 상의 효율적인 인덱스 구조에 대한 필요성도 함께 증가하고 있다. 하지만 기존의 대표적인 인덱스 중 하나인 B-트리 인덱스를 플래시 메모리에 적용하기 위해서는 하드 디스크와 플래시 메모리 간의 다른 특성들 때문에 플래시 메모리에 맞게 인덱스 구조를 수정하는 작업이 필요하다. 본 연구에서는 이를 해결하기 위한 기존의 연구에 대해 소개하고 기존 연구의 한계점과 이를 개선한 인덱스 구조를 제안한다.

최근, 지리 정보 사용에 대한 관심과 응용 분야에 대한 개발이 증가함에따라서, 지리 정보의 공유 및 상호운용성에 대한 필요성이 증가하고 있다. 이에 따라 OGC(Open GIS Consortium)에서는 지리 정보의 교환 표준으로 GML 언어를 제시하였다. GML은 지리 정보를 전송 및 저장하기 위해 XML로 인코딩한 언어이다. 따라서, 지리 정보를 위한 공간 데이터베이스에 GML 문서를 저장하기 위해서는 효과적인 GML 문서의 파싱이 필수적이다. 본 논문에서는 대표적인 XML 파서인 Xerces를 확장하여 GML 문서를 효과적으로 파싱할 수 있는 GML 파서를 개발한다. 이를 위해 GML 스키마에서 제공하는 지리 정보 데이터 타입을 Xerces 파서의 내부 데이터 타입으로 제공하여, GML 응용 문서의 스캔(scan) 및 Validation을 위해 소요되는 GML 스키마 문서의 파싱 비용을 효과적으로 줄일 수 있다.

4단계 스카이라인 영역 결정 기법[2]은 영역 결정 시간이 객체의 개수에 비례해서 현저히 증가하기 때문에 다수의 객체를 포함하는 도메인들에 적용하기 어렵다. 이러한 문제점은 스카이라인 영역이 지배 객체 집합의 부분 집합으로 이루어지는 특성을 고려하지 않았기 때문에 발생한다. 이 논문에서는 스카이라인 영역 결정에 불필요한 객체들을 제거할 수 있는 거리 기반 가지치기 기법과 영역 결정 선분의 범위 축소 기법을 제안한다. 제안한 기법들을 R*-트리와 INN(Incremental Nearest Neighbor) 알고리즘에 적용함으로써 점진적으로 스카이라인 영역을 결정할 수 있으며 영역 결정 시간을 현저하게 감소시킬 수 있다. 제안한 기법의 성능 향상을 증명하기 위해 4단계 영역 결정 기법과의 비교 실험을 수행한다.

유비쿼터스(Ubiquitous)환경과 같이 외부로부터 입력되는 데이터가 stream의 형식으로 실시간으로 들어오고, 입력의 끝을 알 수 없는 환경에서는 기존의 join방식으로는 문제를 해결 할 수 없다. 또한 이러한 환경 하에서는 데이터의 크기나 특성이 모두 다르고 네트워크 상태에 따라 입력이 많은 영향을 받게 된다. 이런 stream환경의 join연산을 위하여 double pipelined hash join, Xjoin, Pjoin등 많은 알고리즘이 기존의 연구를 대표하여 왔다. 그 중 Xjoin은 symmetric hash join과 hybrid hash join의 특징들을 이용해서 들어오는 data의 흐름에 따라서 reactive하게 join과정을 조절함으로써 streaming data에 대한 join을 수행한다. 그러나 여러 단계의 수행에 따른 연산의 중복결과를 체크하기 위한 overhead로 인해 성능이 떨어진다. 이 논문에서는 이러한 점을 개선하기 위해서 Xjoin의 수행과정을 수정한 방법을 제시할 것이다. 각 partition마다 구분자만을 추가함으로써 간단하게 중복을 만들어내지 않는 방법을 제안하고 불필요한 연산과 I/O를 줄일 수 있도록 partition선택방법을 추가할 것이다. 이를 통해서 중복된 연산인지 체크하는 과정을 상당히 단순화함으로써 좀 더 좋은 성능을 가지게 될 것이고 또한 timestamp를 저장해야 하는 overhead를 줄여서 전체 연산에 필요한 저장 공간을 절약할 수 있다.

히스토그램은 원본 데이타를 효과적으로 요약하는 기법중의 하나 이며, 선택도 측정과 근사 질의 처리 등에 널리 사용되고 있다. 기존의 히스토그램 구축 알고리즘들은 하나의 값으로 표현되는 점 데이타에 대하여 적용 가능한 알고리즘 이었다. 그러나 일상생활에서는 하루 동안의 온도, 주식 가격과 같은 구간 데이타들도 점 데이타만큼 흔하게 접할 수 있다. 본 논문에서는 기존의 Max 에러에 대한 히스토그램 구축 알고리을 구간 데이터에 대하여 확장한다. 합성 데이타를 사용한 실험을 통하여 기존의 점 데이타에 대한 히스토그램을 초보적으로 확장하는 방법보다 본 논문에서 제시된 알고리즘의 성능이 좋다는 것을 보였다.

최근 LBS(Location Based Service) 및 텔레매틱스 응용의 효과적인 지원을 위해, 도로, 철도와 같은 공간 데이터베이스에 관한 연구가 활발히 수행중에 있다. 공간 네트워크 데이터베이스 연구는 지리 정보의 교환 표준으로 제시된 GML(Geographic Markup Language)을 지원하는 연구가 필수적이다. 기존 XML 저장스키마는 공간지리정보 표현에 적합하지 않기 때문에, 본 논문에서는 공간 지리정보를 포함한 GML을 저장하기 위한 새로운 저장스키마를 제안한다. 아울러 제안하는 저장 스키마의 효율성을 평가하기 위해 디스크 기반 및 메모리 기반의 하부 저장 시스템을 통해 성능평가를 수행한다.

정보의 단순한 연결뿐만 아니라 의미적인 연결 관계를 표현하는 시맨틱 웹에서 RDF와 RDFS만으로는 정보간의 다양한 의미적 관계를 나타내기가 힘들다. 따라서 정보간의 의미적 관계를 보다 명확하게 필요로 하는 분산 환경에서는 시맨틱 웹 언어의 표준으로 인식되고 있는 OWL로 표현된 시맨틱 웹 데이터를 위한 저장 구조가 필요하다. 따라서 본 논문에서는 분산 환경을 고려하여 OWL이 표현하는 다양한 의미적 관계를 이용한 질의 처리를 지원하는 저장 구조를 제안한다. 그리고 OWL에 정의된 클래스 간의 계층 관계를 이용한 질의의 효율적인 처리를 위한 인덱스 구조와 처리 전략을 제안한다.

시맨틱 웹은 현재 웹의 확장된 개념으로 사람뿐만 아니라 컴퓨터 스스로가 데이터를 이해하고 처리할 수 있도록 정보에 의미를 부여하는 것이다. 시맨틱 웹 데이터를 기술하는 RDF를 통해 메타데이터를 표현하고 의미론적 추론이 가능하게 되었다. 따라서 기존에 일반 사용자가 쉽게 사용할 수 있는 키워드 검색 방법을 시맨틱 웹 데이터인 RDF/RDF 스키마에 적용함으로써 차세대 웹으로 인식되고 있는 시맨틱 웹을 일반 사용자도 쉽게 활용할 수 있도록 한다. 본 논문에서는 RDF 문서의 효율적인 검색을 위해 RDF 인스턴스와 RDF 스키마 정보를 저장하고, 키워드, 속성, 클래스 타입의 복합 조건 검색을 만족시키는 키워드 인덱스와 스키마 테이블 구조를 제안한다. 본 논문에서 제안한 구조는 다양한 조건들을 만족하는 리소스 정보의 빠르고 정확한 검색이 가능하도록 한다.

최근 공간 네트워크 데이터베이스를 위한 질의처리 알고리즘에 관한 연구가 많이 진행되어 왔다. 그러나 현재 좌표-기반 질의에 대한 연구는 활발히 진행중인 반면, 경로-기반 질의에 대한 연구는 매우 미흡한 실정이다. 공간 네트워크 데이터베이스에서는 이동객체가 공간 네트워크상에서만 이동하기 때문에 경로-기반 질의의 유용성이 매우 증대되므로, 경로-기반 질의에 대한 효율적인 질의처리 알고리즘 연구가 필수적이다. 따라서 본 논문에서는 경로-기반 질의의 대표적인 방법인 In-Route Nearest Neighbor 질의처리 알고리즘을 분석하여 기존 연구에서 고려하지 않은 시간 및 공간제약을 고려한 경로-기반 질의처리 알고리즘을 설계한다.

XML은 웹 상에서 데이터의 표현과 교환을 위한 표준이다. XQuery는 XML 질의를 위한 W3C 표준으로서 XML 문서를 효율적으로 검색하기 위해서 W3C에서 제안한 표준질의어이다. XQuery가 등장하면서, 이를 빠르게 처리하기 위한 연구가 많이 진행 중이며, 이 연구 중 한 분야는 XQuery 질의를 정제하는 것이다. 사용자에 따라 다양하게 작성되는 XQuery 질의들은 정제되어 있지 않을 수 있다. 질의의 불필요한 연산이나 표현을 제거하여 간결하게 만드는 것은 질의를 효율적으로 처리하게 하여 성능을 향상시키는데 도움을 준다. 이에 대한 이전의 연구들은 XML 데이터의 저장구조나 시스템에 의존적인 질의 정제방법을 사용하므로 이들 방법을 일반적인 XQuery 질의 정제로 볼 수는 없다. 그러나 우리의 정제방법은 XQuery 질의를 기반으로 하여 일반적인 상황에서도 질의의 정제가 가능하므로 XQuery를 입력으로 하는 다른 시스템에서 우리의 방법으로 입력 질의를 정제하여 효율적으로 질의를 처리할 수 있다. 본 논문에서는 XQuery 질의를 효율적으로 처리하기 위하여 두가지 정제방법을 제안한다. 첫째는 불필요한 연산이나 표현을 제거하는 방법이고, 둘째는 질의의 순서를 재배치하는 방법이다. 이 방법들을 통하여 질의를 보다 빠르고 효율적으로 처리하도록 한다. 끝으로, 우리는 성능평가를 통하여 우리의 정제방법의 효율성을 입증한다.

데이터베이스와 연동하는 웹 응용에 대한 수요가 비즈니스를 포함하는 모든 분야에서 급속히 증가하고 있다. 그러나 급증하는 수요에 비해 웹 응용의 작성 및 유지.보수에 많은 시간과 노력이 소요되고 있다. 본 논문에서 소개하는 웹 데이터베이스 응용 자동 생성기 WebGen은 웹 응용에 필요한 폼들과 이 폼들을 통해 이루어지는 질의에 대해 데이터베이스와 연동하여 처리하는 웹 스크립트들을 자동 생성하는 소프트웨어 도구다. WebGen은 웹 응용 개발자가 작성하는 구성파일(configuration file)에 정의된 선언적인 내용을 스크립트의 기본 원형인 내장된 템플릿(template)에 반영하여 5개의 웹 스크립트들(Search, Select, Edit, Information, Action)을 생성한다. Action 스크립트를 제외한 나머지 스크립트들은 사용자 인터페이스로 각각 해당되는 웹 폼을 생성한다. 따라서 웹 응용 작성을 위한 시간과 노력을 크게 줄여 웹 응용의 생산성을 향상시킨다. 상용 웹 응용 생성기들과 달리, WebGen은 독립적인 템플릿을 기반으로 하기 때문에 버전 관리가 용이하고 한 폼에 표현 가능한 정보도 관심의 대상인 엔티티 외에 이 엔티티와 직.간접적으로 연관된 모든 엔티티들을 포함한다.

센서 네트워크에서는 싱크에서 센서로 자료요청을 위한 쿼리를 발송하고 감지된 데이터를 싱크로 수집하는 방법은 여러 가지가 있을 수 있다. 그러나 어떠한 쿼리 최적화 방법을 사용하느냐에 따라 센서 네트워크의 성능이 달라질 수 있다. 본 논문에서 센서 네트워크 상에서 영역질의를 처리하는 분산 색인 방법을 제안하였다. 본 연구에서 제안한 DIMTree(Distributed Index Management Tree)는 센터에서 데이터를 수집하기 위하여 모든 영역에 쿼리를 배포할 필요가 없이 질의에 적합한 지역에서만 쿼리를 배포하여, 자료 전송 및 수집으로 인한 데이터 전송량을 줄임으로써 통신으로 인한 노드의 에너지를 절감시킬 수 있는 장점을 가진다.

최근 컴퓨팅 환경은 클라이언트-서버(client-server) 환경에서 웹(World Wide Web)을 기반으로 한 분산 컴퓨팅(distributed computint) 환경으로 변화하고 있다. 그에 따라 XML 문서의 사용과 XML 문서의 양이 급속하게 증가하였다. 언제 어디서나 쉽게 필요한 XML 문서에 접근해야하며, 이러한 응용을 위해 짧은 시간 내에 그 정보를 전달할 수 있어야 한다. 이에 따라 분산 환경에서의 XML 문서의 처리가 요구된다. XML 데이터를 분산 데이터베이스의 특성을 이용하여 저장, 관리, 질의하는 분산 XML 데이터베이스 시스템(Distributed XML Database System)의 사용의 필요성이 증가하고 있다. 이에 따라, 사이트의 자치성, 질의 최적화, 데이터의 투명성 등에 큰 영향을 미치는 분산 XML 데이터베이스 시스템에서의 카탈로그 관리 기법의 연구의 필요성이 증가하게 된다. 본 논문에서는 중앙 집중식 카탈로그와 완전 중복식 카탈로그, 분할식 카탈로그를 분산 XML 데이터베이스 시스템에서 CPU 비용, I/O 비용, 동시성 제어, 이단계 완료 프로토콜, 큐잉 지연 등을 모두 고려한 모델을 설계하였고, 이를 시뮬레이터로 구현하여 각 카탈로그 관리 기법들의 성능을 합리적인 환경 설정을 통해 시뮬레이션함으로써 카탈로그 관리 기법들의 성능을 평가하였다.

Similarity search in moving object trajectories is an active area of research. In this paper, we introduce a new concept of measure that computes spatial distance (similarity) between two trajectories of moving objects on road networks. In addition, we propose an algorithm that generates a sequence of matching edge pairs for two trajectories that ate to be compared and computes spatial distance between them which is non Euclidian in nature. With an example, we explain how our algorithm works to show spatial similarity between trajectories of moving objects in spatial network.

상황인식 처리기술은 사용자의 컨텍스트에 근거하여 사용자와 장치간의 상호 운용성을 지원해 줌으로써, 사용자로 하여금 정보 획득 및 실행을 보다 용이하게 하도록 해주는 기술이다. 여러 상황변화가 발생할 경우 이에 따라 서비스 전달 방식을 동적으로 적응시키기 위하여 상황에 대한 명시적인 요구사항을 정의하고 이 정의 된 상황을 각 노드에 전파하고 노드에 포함된 미들웨어는 전파된 상황에 적합한 센싱된 정보를 분석하여 특정한 상황의 발생과 이에 따른 액션을 수행하며 또한 센서에서 취득한 컨텍스트로 부터 통합된, 추론된 컨텍스트를 생성한다. 본 논문에서는 센서로부터 다양한 타입의 컨텍스트를 처리 할 수 있는 미들웨어를 제안한다. 이 미들웨어는 변화하는 주변 환경에서 센서로부터 센싱된 컨텍스트 뿐 아니라 통합된, 추론된 컨텍스트를 생성할 수 있도록 설계 되었다. 제안한 상황인식 미들웨어를 기반으로 사용자 질의 요청과 이벤트 상황 질의를 설계하였으며, 이벤트 상황 질의의 추론 DB를 명시하기 위하여 Clips 언어를 사용하였다.

센서 네트워크에서 질의 처리 기술은 통신 비용을 절감하고 신뢰성을 향상하고 에너지 효율성을 향상시키는데 목적을 두고 있다. 현재 에너지의 효율성을 위해서 센서 노드가 수행하는 질의를 최적화하여 전력 손실을 줄이고자 하는 연구가 활발하게 수행 중이다. 본 논문에서는 실체 뷰와 인덱싱 뷰를 이용하여 센서 네트워크에 맞는 효율적인 새로운 센싱 뷰라는 기법을 제안한다. 제안하는 질의 처리 알고리즘은 실체 뷰와 인덱싱 뷰의 개념을 바탕으로 기존의 분산 데이터베이스의 질의 처리 방법을 센서 네트워크에 적용하였다. 제안된 센싱 뷰 알고리즘은 센싱 뷰를 싱크 노드에 위치시킴으로서 센서 노드와의 통신 횟수를 최대한 줄임으로서 통신 비용과 에너지의 소모량을 줄일 수 있었다. 성능은 시뮬레이션을 통해서 평균적으로 약 30%정도의 성능 향상 효과를 보였다.

미래의 컴퓨팅 환경인 Ubiquitous 컴퓨팅에서는 USN을 이용하여 사용자의 위치, 환경, 서비스의 요구사항 등을 인지하고 서로 전달한다. USN에서는 XML 기반의 메시지 포맷을 사용한다. 그에 따라 대량의 XML(extensible Markup Language) 데이터를 고속처리 해야 하는 요구사항이 발생된다. USN과 같은 Ubiquitous 기술은 앞으로 계속 확산될 전망이며, 실시간으로 XML 데이터를 저장/처리해야 할 경우가 증가할 것이다. 이와 같은 추세에 따라 XML을 처리하기위한 데이터베이스의 요구가 점점 증가하고 있다. 본 연구에서는 그에 적합한 데이터베이스의 저장구조를 Main-Memory 데이터베이스와 XML 문서 처리 방법인 DOM을 바탕으로 하여 XML을 효과적으로 저장/처리하는 저장 구조를 설계하였다.

웹은 유향그래프로 표현할 수 있으며, 이때 웹 페이지를 노드로 페이지 사이의 하이퍼링크를 아크로 나타낸다. 본 연구에서는 이러한 웹 그래프로부터 검색트리를 유도하여 이를 브라우징할 수 있는 시스템으로 구현하였다. 본 시스템은 사용자가 임의의 노드를 동적으로 검색의 시작노드 즉, 루트노드로 결정할 수 있고 이를 변경하여 새로운 검색을 할 수 있으며, 그 루트노드로부터 도달 가능한 노드들의 집합을 도메인이라 하고, 노드 및 링크에 대하여 일정한 가중치를 부여함에 따라 검색트리를 구성할 수 있으며 이를 검색트리 시스템으로 구현하였다.

센서 네트워크는 제한된 에너지를 가지는 작은 노드들로 구성이 된다. 이 센서 네트워크에서 가장 큰 에너지 손실을 가져오는 부분은 RF통신 부분이라 할 수 있다. 해양 센서 네트워크는 통신 매체로 음파를 사용하기 때문에 RF를 사용하는 센서 네트워크보다 통신하는데 더 많은 에너지를 소모한다. 센서 네트워크에서 통신 횟수를 줄여 에너지 효율을 높이는 방법으로 네트워크 내 집계 연산이나 필터링 등이다. 해양환경에서 데이터 값들이 유사한 층을 가지고 있다. 이 유사층에서 네트워크 내 집계 연산과 필터링의 의미를 살펴보겠다. 해양 센서 네트워크는 기존의 토플로지와 다른 구조를 가지고 있다. 새로 제안하는 구조에 어떠한 개념과 기능이 있는지를 살펴본 후 센서 노드들 임계값을 사용하여 센싱된 데이터 값이 유사한 구간을 클러스터로 묶고 묶여진 클러스터 내에서 어떻게 데이터를 전송할 방법을 제안한다.

유비쿼터스 컴퓨팅의 실현을 위해서는 이동 단말기의 자원 및 컴퓨팅 파워의 효율적 사용이 필수적이다. 특히, 이동 단말기에 내장된 소프트웨어의 수행에 있어 메모리 효율성, 에너지 효율성, 그리고 처리 효율성이 요구된다. 본 논문은 자원이 제약되어 있는 이동 단말기에서의 XML 데이터에 대한 질의 처리 기술에 관한 것이다. 메모리 용량이 크지 않은 단말기의 경우 대량의 XML 데이터에 대한 질의 처리를 수행하기 위해서는 XML 스트림 질의 처리 기술이 활용되어야 한다. 최근에 제시된 XFrag 기법은 홀-필러(hole-filler) 모델을 이용하여 XML 데이터를 XML 조각(fragment)으로 분할(fragmentation)하여 스트림으로 전송하고 처리할 수 있는 기법이다. 이는 메모리 효율성이 요구되는 이동 단말기에서 전체 XML 문서를 재구성하지 않고 XML 데이터에 대한 질의 처리를 가능하게 한다. 그러나 홀-필러 모델을 사용할 경우 홀과 필러에 대한 부가적인 정보를 저장해야 하므로 메모리 효율성이 높지 못하다. 본 논문에서는 XML 데이터의 구조 정보를 표현하는 XML 레이블링(labelling) 기법을 이용하여 XML 데이터를 조각으로 분할하여 조각 스트림에 대한 질의 처리를 수행하는 기법을 제시한다. 구현 및 성능 실험 결과 본 논문에서 제시한 기법이 기존의 XFrag 기법보다 메모리 사용량과 처리 시간 양면 모두에서 우수한 것으로 나타났다.

DNA 시퀀스 데이터베이스 규모의 급격한 증가 추세를 고려할 때, DNA 시퀀스 검색 연산을 보다 효과적으로 지원할 수 있는 인덱싱 및 질의 처리 기술이 요구 된다. 접미어 트리는 DNA 시퀀스 검색을 위한 좋은 인덱스 구조로 알려져 왔다. 그러나 접미어 트리는 그 구조적 특성으로 인하여 저장공간, 검색 성능, DBMS와의 통합 등의 문제점을 갖는다. 본 논문에서는 이와 같은 접미어 트리의 문제점들을 해결하는 DNA 시퀀스 검색을 위한 새로운 인덱스 구조를 제안하고, 이를 기반으로 하는 효율적인 질의 처리 방식을 제안한다. 제안된 인덱스 기법은 이진 트라이를 기본 구조로 채택하며 DNA 시퀀스의 윈도우 서브 시퀀스를 인덱싱 대상으로 한다. 유사 서브 시퀀스 검색을 위한 질의 처리 알고리즘은 기본적으로 다이나믹 프로그래밍 기법에 근거하여 이진 트라이를 루트로부터 너비 우선(breadth-first) 방식으로 운행하며, 경로 상에 존재하는 모든 유사 서브 시퀀스를 검색해 낸다. 제안된 기법의 우수성을 검증하기 위하여, 기존의 접미어 트리와의 비교 실험을 통한 성능 평가를 수행하였다. 실험 결과에 의하면, 제안된 인덱스 기법은 접미어 트리에 비하여 약 30%의 작은 저장 공간을 가지고도 수배에서 수십배의 검색 성능의 개선 효과를 나타낸다.

플래쉬 메모리는 비휘발성, 저전력, 경량, 내구성 등의 장점으로 인해, PDA가 스마트카드, 휴대폰, 휴대용 음악 재생기 등과 같은 이동 컴퓨팅 장치의 저장소로 많이 사용되고 있다. 최근 들어 대용량의 플래쉬 메모리가 출시되고 랩탑 컴퓨터등 이를 탑재한 컴퓨팅 장치들이 증가하면서 대용량의 데이터를 효율적으로 액세스하기 위한 B-트리와 같은 인덱스 기법이 요구되고 있다. 한편, 현재 사용되고 있는 NAND 플래쉬 메모리는 기존의 하드 디스크와는 액세스 특성들이 상이하다. 뿐만 아니라, B-트리 인덱스는 데이터에 비해 빈번히 액세스되고 갱신되기 때문에, 기존의 하드 디스크 기반 B-트리 인덱스 기법을 플래쉬 메모리에 적용할 경우 심각한 성능상의 문제점이 발생한다. 본 논문에서는 shadow 버전을 이용한 플래쉬 메모리 기반의 효율적인 B-트리 인덱스 기법을 제안한다.

NAND 플래시 메모리는 작고, 가볍고, 저 전력이라는 장점 U문에 휴대폰, MP3, PDA 등 이동 컴퓨팅 장치의 저장소로 많이 사용되고 있다. B+트리는 저장소에 있는 데이터를 효율적으로 접근하기 위한 색인 구조이다. 그러나 NAND 플래시 메모리의 다양한 특징들로 인해 기존의 디스크 기반의 B+트리를 플래시 메모리에 그대로 적용하는데 여러 단점들이 존재한다. 본 논문에서는 NAND 플래시 메모리 상에서 B+트리를 효과적으로 구축하기 위한 B+트리 색인 버퍼 관리 기법을 제안한다.

실제 데이터들은 압축이 필요할 정도로 큰 경우가 종종 있다. 일반적인 구조론적 데이터 압축 방법은 테이블을 긴 바이트 스트링으로 취급하여 바이트 레벨에서 압축을 시도한다. 이런 경우에 보통 압축의 효율과 검색의 용이성(특정 레코드의 애프리뷰트 값을 찾아내기 위해 압축을 풀어야 하는 부분의 크기)사이에 교환관계가 발생한다. 이런 점에서 검색을 위해 압축을 풀 필요가 없는 의미론적 압축 방법이 주목을 받고 있다. 이 논문에서는 기존의 파시클(fascicle) 알고리즘을 개선하는 새로운 의미론적 알고리즘을 제시하고 실험을 통하여 제안된 알고리즘의 우수성을 입증한다.

센서 네트워크에서 각 센서는 제한된 개수의 속성을 기반으로 한 스키마를 가진다. 사용자는 여러 센서에서 수집된 정보를 종합적으로 살펴보고자 하기 때문에 여러 센서에서 수집된 정보를 조인하는 질의가 필수적이다. 또한, 센서가 수집하는 데이터를 중앙 서버로 보내는 경우 스트림의 형태로 입력되므로 빠른 조인 질의의 질의 수행 계획을 수립해야 한다. 본 논문에서는 기존에 여러 입력 스트림을 조인하는 MJoin 을 기반으로 한 다중 조인 질의의 효율적인 최적화 기법을 제안한다. 또한 다중 조인 질의에 대해 기존의 MJoin을 적용한 기법과 본 논문에서 제안하는 다중 조인 질의 최적화 질의 계획 수립 기법을 비교, 분석한다.

RFID 데이터에 대한 연관 규칙을 효율적으로 생성하기 위해서는 단일 개념 레벨에서 연관 규칙을 찾는 방법과는 달리 다단계 개념 레벨에서 의미 있는 정보를 발견할 수 있다. 이로부터 연관 규칙을 생성하게 되면 최상위 레벨의 정보를 통해 하위 레벨의 객체 이동 정보나 위치 정보, 상태 정보를 빠르게 획득 가능하다. 또한, 다차원 레벨을 갖는 연관 규칙 마이닝을 수행할 때 메타 규칙의 생성은 제한적이고 유용한 규칙만을 효율적으로 생성 가능하도록 할 수 있다. 따라서, 생성된 메타 규칙을 이용하여 많은 양의 데이터에서 질의를 효과적으로 수행 할 수 있을 뿐만 아니라, 데이터베이스의 저장 효율을 높이고, 객체간의 숨겨진 연관 관계를 발견하는데 있어 효율적인 방법이다.

외부 조인은 조인에 참여하는 릴레이션들에서 조인 조건을 만족하지 않는 한쪽 또는 양쪽 튜플들도 결과로 반환하는 조인 연산으로 OLAP 질의 처리, 계층적 뷰 처리, 중첩 질의 처리 등의 다양한 고급 데이타베이스 응용에서 널리 사용된다. 많은 상용 DBMS에서 외부 조인을 지원하고 있으나, 상세한 구현 방법은 공개되어 있지 않다. 본 논문에서는 한국과학기술원 멀티미디어 및 데이타베이스 연구실에서 개발하고 있는 오디세우스 객체관계형 DBMS를 위한 외부 조인을 설계하고 구현한다. 본 논문에서는 거의 모든 DBMS에서 제공 되는 가장 기본적인 조인 방법인 중첩 루프 조인 알고리즘을 확장하여 외부 조인 연산을 구현한다. 그리고, 외부 조인이 포함된 질의를 최적화하기 위해 조인 연산의 결과를 임시 릴레이션에 저장하는 대신에 다음 조인 연산의 입력으로 파이프라이닝시키는 것을 최대화 하는 방법을 제안한다.

본 논문은 웹 서버에 의해 자동으로 수집되는 로그 파일로부터 고객 가치 판단 기준을 고객의 행동 기반에 두고 군집화 기법을 이용하여 고객을 세분화하고 세분화 결과에 의사결정나무를 적용함으로써 고객을 분류하는 통합 모형을 제안하였다. 또한, 분류된 고객들의 주 서비스 활용 패턴을 분석하기 위하여 연관규칙기법을 적용하여 고객의 과학기술정보 활용의 연관성을 분석함으로써, 과학정보포털 서비스를 제공하는 사이트 이용자의 분류군에 해당하는 정보와 인터페이스를 제공하는 새로운 방법에 대하여 연구하였다. 고객 관리 측면에서 본 논문은 정보 서비스를 제공하는 웹 사이트의 기존고객을 분류하여 패턴을 분석함으로써 고객 위주의 사이트 운영정책과 동적 인터페이스를 제공하기 위한 웹사이트 활용 방안을 제시하였다. 또한, 고객의 지속적인 관리라 각 고객 분류군별에 안는 서비스를 제공하고 고객의 관리에도 기여할 수 있을 것이다.

질병을 예방하고 건강을 보호하기 위해서 개인의료정보를 지속적으로 관리하고, 관련 기관이 필요시 손쉽게 이용할 수 있어야 한다. 특히 서로 다른 기관으로부터 발생된 의료정보들을 통합, 관리할 필요가 있다. 이에 본 논문에서는 XML을 기반 기술로 이용하면서, XML만을 이용할 경우 XML 문서의 종류와 개수가 많아지면서 발생하는 문서관리상의 비효율성 문제를 해결하기 위하여 관계형 데이터베이스를 함께 이용한 의료정보 통합모델을 제안한다. 이를 통해 XML과 관계형 데이터베이스의 장점을 함께 이용하여 복잡하고 시간에 따라 변할 수 있는 의료정보를 구조적으로 표현하고, 유연하게 관리하며, 효율적으로 검색할 수 있으며, 향후 시스템 개발에 있어서도 확장성이 용이하다.

본 논문은 스트림 형태로 발생하는 이동객체의 위치정보에 대해 과거 시점의 위치정보 추정 방법을 제안한다. 기존 이동객체의 위치 추정에 대한 연구는 메모리 량의 제한이 없는 상태에서 이미 저장된 과거 데이터를 이용하여 임의의 과거 시점 위치를 추정하는 방법이다. 그러나 스트림 환경에서는 위치정보가 무한하게 발생하기 때문에 모든 위치정보를 저장 및 관리할 수 없다. 따라서 본 논문에서는 스트림 형태로 발생하는 위치정보에 대하여 제한된 메모리를 사용하여 임의의 과거시점 위치를 추정하는 방법을 제안한다. 이를 위하여, 실제위치, 무제약 추정위치, 제약 추정위치의 세가지 위치 개념을 정형적으로 정의하고, 다항식을 이용하여 이들 위치를 추정하는 체계적인 방법을 제안한다.

데이터 스트림(data stream)을 처리하기 위해서는 기본적으로 질의 대상이 되는 슬라이딩 윈도우에 대한 지원과 이에 대한 연속질의를 수행할 수 있어야 한다. 기존의 관계형 DBMS는 성능 문제로 인하여 데이터 스트림 처리에 한계가 있었으나 고성능 메인메모리 DBMS의 등장으로 빈번히 발생하는 스트림에 대한 충분한 질의 처리 능력을 갖추게 되었다. 본 논문에서는 메인메모리 DBMS기반에서의 데이터 스트림에 대한 연속질의 처리를 위해서 새로운 접근방법을 제공한다. 즉. 고성능 메인 메모리 DBMS의 높은 삽입과 갱신 성능을 전제로 트리거를 통한 슬라이딩 윈도우의 지원방법을 제시하고. 윈도우에 대한 연속질의는 응용에서 지원하되 효율적인 질의처리를 위해 저장프로시저를 적용한다. 이러한 메커니즘의 연속질의 처리 시스템은 CQL에서 정의한 세 가지 윈도우 유형을 모두 지원할 수 있다.

최근 무선 통신 구조가 확산대면서, 모바일 기기와 다양한 모바일 GIS 서비스가 일반화되었다. 그래서 모바일 기기에서 효과적으로 GIS 자료들을 검색할 수 있는 모바일용 GIS DBMS가 필요하다. 물론 모바일 GIS DBMS는 환경적 제약사항과 GIS 자료들의 특성들을 극복하기 위한 대량삽입 기법이 필요하며 이 기법은 모바일 GIS DBMS를 개발하는데 있어서 가장 중요하다. 이 제약사항은 낮은 대역폭, 작은 저장공간 그리고 비공간 데이터 보다 상대적으로 매우 큰 공간 데이터의 특징을 포함한다. OBO기법을 이용하는 GIS DBMS로의 데이터의 삽입은 차례대로 삽입된다. 그러나 대부분의 공간데이터들은 전송비용과 긴 로딩시간으로 인해 서비스를 지연시키기 때문에 공간 인덱스를 기반으로 하는 대량삽입을 선택한다. 본 논문에서는 높은 성능과 안전성을 가진 동적인 공간 인덱스 R*-tree을 이용하는 대량 삽입 기법을 제공한다.

허밍을 통한 유사 검색 질의가 주어질 때 효과적으로 음악 데이터베이스를 검색하는 시스템에 대한 연구는 다양한 방향으로 진행되어 왔다. 최근에는 음악 데이터와 허밍 질의를 시계열 데이터로 보고 시계열 데이터 유사 검색과 관련하여 제안되어 왔던 여러 가지 거리 척도(distance measure)나 인덱싱 기법등을 적용하여 효과적으로 질의를 처리하려는 시도가 계속 되고 있다. 허밍 질의의 특성을 고려한 균일 스케일링(Uniform Scaling)을 사용하여 효과적인 유사 검색을 하는 방법은 가장 최근 제시된 방법 중 하나이다. 본 논문에서는 허밍을 통한 유사 검색 시스템인 Humming BIRD(Humming Based similaR miDi music retrieval system)를 제안하고 구현하였다. 슬라이딩 윈도우를 사용하여 음악의 임의의 부분에 대한 허밍 질의를 처리할 수 있도록 하였으며 효율적인 검색을 위해 중심을 일치시킨(center-aligned) 균일 스케일링을 제안하고 이 거리의 하한을 계산하는 하계 함수를 사용하여 탐색 공간(search space)을 효과적으로 줄여 더 빠르고 효과적인 유사 검색을 가능하도록 하였으며 실험을 통해 중심을 일치시킨된 균일 스케일링이 이전과 같은 검색 결과를 얻으면서도 효과적으로 검색함을 탐색 공간을 줄이는 가지치기 성능을 비교함으로써 보였다.

현대의 텔레매틱스 서비스 환경은 더욱 다양화 되고 보편화 및 실시간성을 요구하는 형태로 진화되고 있다. 이에 따라 기존의 모바일 동기화 기법은 안정적 서비스를 목적으로 하기 때문에 상대적으로 빠른 처리와 한꺼번에 많은 용량의 데이터 처리를 요구하는 환경에서는 효과적으로 대처하는데 어려움이 있다. 이는 보편화되고 다양화된 사용자 환경을 고려하지 않았기 때문이다. 본 논문은 이러한 변화된 서비스 환경에 적합한 모바일 데이터 동기화를 위해 파라미터를 이용한 동기화 기법을 제안한다. 파라미터를 이용한 동기화 기법은 동기화할 영역을 입력되는 파라미터를 이용하여 제한함으로써 동기화 시 소요되는 통신비용을 절감하고 이로써 다양화, 보편화하는 서비스 환경에 적합하고, 기존의 방식에 비해 더욱 빠른 데이터 동기화 기능을 제공함으로써. 실시간 텔레매틱스 서비스에 적용할 수 있다..

분산형 데이터 마이닝에서는 의사결정나무 알고리즘을 사용한다. 의사결정나무 알고리즘을 사용하여 분산된 정보를 데이터 마이닝 하기 위해서 의사결정나무 구조 정보가 없는 에이전트에서는 의사결정나무 구조 정보를 가진 에이전트로부터 정보를 받아야 한다. 일반적으로 네트워크의 전승속도는 제한이 있고 환경마다 속도도 다르기 때문에 분산형 데이터 마이닝이 비분산형 데이터 마이닝 보다 효율적으로 실행되기 위해서 의사결정나무 구조 정보의 전송량이 최대한 작아야 한다. 본 논문에서 의사결정나무 구조 정보를 전달하는 방법과 그 정보를 보다 효율적으로 전송하는 구현방법에 대해 제시한다. (본 연구는 서울시 신기술연구개발지원사업의 지원에 의하여 이루어진 것임)

최근 멀티미디어의 이용과 멀티미디어 접근을 위한 기술이 많이 증가하고 있다. 그렇지만 멀티미디어 검색엔진과 같은 실용시스템에서 멀티미디어에 대한 유용한 정보 추출과 정보의 응용은 여전히 문제로 있다. 특히, 멀티미디어 이용자는 검색의 효율성을 위하여 저장소를 직관적인 구조로 생성을 하고 있다. 그 예로 "KISS 추계학술 대회 이미지"와 같은 데이터 폴더를 만들거나, 각 멀티미디어 데이터에 Free Text 기반의 주석을 하여 관리를 하였다. 하지만 이러한 검색들에도 한계점을 가지고 있으며 또 다른 지능적인 의미 검색에 있어서도 인간이 바라는 검색의 정확도에 미치지 못하고 있다. 본 논문에서는 이러한 문제점을 해결하기 위한 새로운 접근법을 소개한다. 목적을 위하여 멀티미디어의 의미적인 작업을 위하여 컨텐츠 획득과 분류를 위한 새로운 사용자 도구를 소개하고자 한다. 도구를 이용하는 멀티미디어 사용자는 주어진 컨텐츠를 인간이 생각하고 컨텐츠가 내포하는 의미의 일정한 구조적 단위로 분해하고, 각 단위들에 MPEG-7 표준기반의 추가적인 기술 정보(Description information)를 부여하여 새로운 의미적 메타데이터를 생성할 수 있다. 이러한 의미적 메타데이터는 멀티미디어 검색을 위해 사용자들에게 효율성을 줄 것이라 본다.

무선 네트워크의 기술 발달과 이동기기들의 많은 보급에 따라 GIS, LBS 등의 위치기반 서비스 등이 널리 사용되고 있다. 이러한 서비스를 수행하기위하여 방대한 양의 이동 객체들의 효율적인 관리, 검색에 대한 연구가 많이 이루어지고 있으며 이동 객체들의 특성과 사용목적에 따라 다양한 연구결과가 제시되고 있다. 본 논문에서는 시간에 따라 다양한 속도와 방향으로 이동하는 다차원 이동 공간 데이터를 위한 효율적인 색인 기법을 제시한다. 제안된 방법은 KDB-Tree와 QSF-Tree에 기반을 두고 있으며 색인 구조의 검색 성능을 향상시키기 위한 분할, 갱신 방법을 제시하여 시간에 따라 현재 속도와 방향이 다양하게 변화하는 데이터를 신속히 데이터를 색인하고 영역 질의 뿐만 아니라 미래 예측 질의에 대하여 현재 보유한 데이터 정보를 기반으로 미래 예측 결과를 신속히 산출할 수 있도록 한다.

데이터품질이 기업의 경쟁력에 영향을 주는 핵심요소임에도 불구하고, 현 정보시스템 현실에서는 데이터품질 저하라는 심각한 상황을 맞고 있다. 데이터품질을 개선시키기 위한 여러 가지 방안들이 논의되고 있지만, 대부분 현상 데이터에 대한 품질 평가 및 개선에 한정되거나, 개선방안의 구체성이 부족하여 실무적 적용에 한계를 갖는다. 본 연구에서는 데이터표준화 개념을 데이터베이스 설계와 병행하여 수행할 수 있도록 구체적인 구현방안과 사례를 제시하였다. 데이터표준화는 각 단위시스템의 데이터에 대한 명칭 및 도메인에 대한 표준원칙을 수립하여 표준데이터를 구축한 후 전체 시스템에 적용하는 방법이다. 본 연구의 구현방안은 표준데이터 구축이 선행되지 않은 경우에도 데이터의 구조적 품질수준이 보장된 데이터베이스 설계를 수행하고자 하는 실무에 기절할 수 있다.

XML 문서의 검색을 위한 질의 언어인 XQuery는 다양한 데이터 소스로부터 가져온 고유한 구조를 가진 질의 결과로 구성할 수 있도록 설계되어 XML질의 언어의 표준이 되었다. XQuery를 이용해 특별히, 분산 환경에서 다중 XML문서 를 대상으로 하는 통합 질의의 경우, 질의 처리 계획을 결정하는 것은 처리 효율과 직결된다. 따라서 질의 처리 계획을 결정하는 요소 중 하나인 조인 처리 방법의 연구는 중요하다. 그러나 통합 질의에서 조인구조를 기준으로 단일 XML문서에 대한 질의 처리방법을 결정하는 것은 쉽지 않다. 본 논문에서는 분산환경에서 다중 XML문서를 대상으로 하는 조인을 포함한 다양한 통합 질의를 대상으로 실험을 통해 병렬처리 방법과 순차처리 방법 그리고 두 가지 처리방법을 조합한 하이브리드 방법을 적용하여 처리 시간을 비교 분석하고, 다중 문서에 대한 효율적인 조인방법과 순서를 모색한다.

본 논문은 인터넷의 대표적인 문제점중의 하나인 Adult Image 분류 연구에 대해 기술한다. 특히 우리는 이러한 Adult Image를 분류하기 위한 Data Set을 5가지 타입으로 구성한다. 이러한 각 Image에 대해 Color, Gradient, Edge Direction 특성의 Feature들을 추출하고 이를 Histogram으로 구성한다. 이렇게 구성된 Histogram을 Support Vector Machine에 적용하여 Adult Image를 분류한다. 그 결과, 우리는 8250개의 Test Set에 대하여 Recall(96.53%), Precision(97.33%), False Positive(2.96%), F-Measure(96.93%)의 성능 결과를 보여준다.

한국은 다른 나라에 비해 많은 인터넷 사용자를 가지고 있다. 이에 비례해서 한국의 인터넷 유저들은 Spam Mail에 대해 많은 불편함을 호소하고 있다. 이러한 문제를 해결하기 위해 본 논문은 다양한 Feature Weighting, Feature Selection 그리고 문서 분류 알고리즘들을 이용한 한국어 스팸 문서 Filtering연구에 대해 기술한다. 그리고 한국어 문서(Spam/Non-Spam 문서)로부터 영사를 추출하고 이를 각 분류 알고리즘의 Input Feature로써 이용한다. 그리고 우리는 Feature weighting 에 대해 기존의 전통적인 방법이 아니라 각 Feature에 대해 Variance 값을 구하고 Global Feature를 선택하기 위해 Max Value Selection 방법에 적용 후에 전통적인 Feature Selection 방법인 MI, IG, CHI 들을 적용하여 Feature들을 추출한다. 이렇게 추출된 Feature들을 Naive Bayes, Support Vector Machine과 같은 분류 알고리즘에 적용한다. Vector Space Model의 경우에는 전통적인 방법 그대로 사용한다. 그 결과 우리는 Support Vector Machine Classifier, TF-IDF Variance Weighting(Combined Max Value Selection), CHI Feature Selection 방법을 사용할 경우 Recall(99.4%), Precision(97.4%), F-Measure(98.39%)의 성능을 보였다.

오늘날 갈수록 인구의 고령화가 심각해지고 있다. 이러한 고령화로 인하여 노약자들을 위한 다양한 환경과 시스템이 필요한데 행위 인식 기술은 이러한 기술의 전처리 기술로서 활용될 수 있다. 본 논문에서는 RFID tag와 Reader를 이용하여 정보를 가져온 뒤 사용자의 행위를 추론하고 이를 기록하는 시스템을 설계 밀 구연을 하였고 앞으로 개선되어야 할 부분을 지적하였다.

S-57 포맷으로 기술된 전자해도는 바다에 대한 디지털 지도로서 해안선, 수심, 항로표시 등과 같은 다양한 정보를 표현하고 있다. 이러한 전자해도는 주로 선박의 항해라는 특수한 목적으로만 사용되어 왔고, 전용의 시스템을 통해서만 이용할 수 있는 단점이 있다. 또한, S-57이라는 특수한 포맷으로 기술되어 있기 때문에 다양한 활용이 어렵다는 문제점을 가지고 있다. 이러한 전자해도를 손쉽게 이용하고 해양정보시스템의 기반 데이터로 활용하기 위해서는 범용의 표준 포맷으로 변환할 필요가 있다. 이러한 범용 표준으로 OGC(Open Geospatial Consortium)에서는 지리정보를 효과적으로 표현할 수 있는 XML(eXtensible Markup Language) 기반의 GML(Geography Markup Language) 표준을 발표하였다. 이에 본 논문에서는 선박의 항해에만 제한적으로 사용되던 전자해도를 손쉽고 다양한 활용이 가능하도록 GML로 변환하고 관리하는 방법을 제한한다. 즉, S-57 포맷의 전자해도를 GML 포맷으로 변환하고, 변환된 GML을 데이터베이스로 관리하는 시스템을 설계하고 구현하였다.

최근 컴퓨팅 환경은 인터넷 환경의 웹을 기반으로 한 분산 컴퓨팅 환경으로 변화하고 있다. 그에 따라 XML 문서의 사용과 XML 문서의 양이 급속하게 증가하였으며, 언제라도 쉽게 필요한 XML 문서에 접근할 수 있어야 한다. XML 문서에서 정보를 검색하기 위하여 XPath 질의어가 널리 사용 중이며, XML 저장 기법과 XPath를 이용한 질의 처리에 대한 연구가 활발히 진행되고 있다. 본 연구에서는 분산 객체 관계 데이터베이스 시스템을 이용하여 XML 문서를 저장하고 관리하는 시스템을 설계하였으며 분산된 XML 데이터를 접근할 수 있도록 하기 위해 XPath를 분산 SQL로 변환하여 실행하는 분산 XPath 질의 처리기를 설계 및 구현하였다.

본 논문에서는 의상에 대한 사용자 선호도를 찾아내는 기법에 대하여 기술한다. 의상에 대한 사용자 선호도를 찾기 위해서 의상 데이터에 대해 데이터 모델을 새롭게 제안한다. 이 데이터 모델을 기반으로 사용자의 의상관련 히스토리를 저장한다. 이렇게 저장된 히스토리 정보에 기계 학습 기법 중 최근 각광받고 있는 SVM 기법을 적용하여 사용자 선호도를 찾아내도록 하였다. 이 결과를 다른 학습 기법인 Naive Bayes 기법을 사용하여 의상에 대한 사용자 선호도를 검색한 성능과 비교하여 우리 모델이 더 좋다는 것을 확인하였다. 우리는 5명의 사용자에 대해서 동일한 취향을 갖는 사용자가 몇 명인지에 따라 A(모두 다름), B(2명), C(3명), D(4명), E(모두 같음) 형태별, 사용자별 1000건의 히스토리를 일정한 기준에 따라 생성했다. 그리고 이 중에서 900건을 학습용 데이터, 100건을 검증용 데이터로 선정하여 실험이 진행되었다.

마이크로어레이 실험은 수 천에서 수 만개의 유전자 발현 결과를 동시에 측정할 수 있어 질병의 발현 형질 분류 등에 유용하게 이용되고 있다. 그러나 마이크로어레이 실험은 동일한 플랫폼의 실험이라 할지라도 환경 등에 따라 그 실험 결과에 차이가 나는 등 오차를 항상 포함하고 있다. 또한 마이크로어레이 실험은 아직 고가의 실험으로 분류되어 다수의 샘플에 대한 반복 실험 결과를 얻기 어려운 상황이다. 따라서 이종의 플랫폼, 데이터 포맷, 정규화 기법 등이 서로 다른 데이터를 효율적으로 통합하여 유용한 정보를 추출하는 새로운 방식의 개발이 필요하다. 본 논문은 이와 같은 문제를 해결하기 위한 기초 단계 연구 결과이다. 마이크로어레이 실험 데이터로부터 통계적 방법을 이용하여 유의(informative) 유전자를 추출하고 유전자 온톨로지(Gene Ontology : GO)와의 연계를 통하여 유전자 정보의 기능적 분류 결과를 사용자에게 제공하는 유전자 기능 분석 시스템의 설계 및 구현 방안을 보인다. 본 시스템의 실험방법에서는 3-Fold Filtering 기법을 통하여 발현 차가 큰 유전자를 추출하고, t-검정 기법에 의하여 이들 유전자를 순위화 하였으며, 이 중 상위 100개의 유전자를 유의 유전자로 추출하였다. 다음, 이 들 유의 유전자의 t-검정 값을 GO의 유전자 기능을 나타내는 해당 텀 (term)에 가중치로 부과하여 각 유전자들과 기능적으로 연관성이 높은 텀들을 추출한다. 또한 본 연구의 유효성을 검증하기 위하여 본 시스템에 의한 마이크로어레이 데이터 분석 결과를 전문가에 의한 유전자 기능 분석 결과와 비교한다.투명성 있는 서비스를 제공하고 높은 신뢰성과 안정성이 확보될 수 있도록 구성하고자 한다. Query 수행을 여러 서버로 분산처리하게 함으로써 성능에 대한 신뢰성을 향상 시킬 수 있는 Load Balancing System을 제안한다.할 때 가장 효과적인 라우팅 프로토콜이라고 할 수 있다.iRNA 상의 의존관계를 분석할 수 있었다.수안보 등 지역에서 나타난다 이러한 이상대 주변에는 대개 온천이 발달되어 있었거나 새로 개발되어 있는 곳이다. 온천에 이용하고 있는 시추공의 자료는 배제하였으나 온천이응으로 직접적으로 영향을 받지 않은 시추공의 자료는 사용하였다 이러한 온천 주변 지역이라 하더라도 실제는 온천의 pumping 으로 인한 대류현상으로 주변 일대의 온도를 올려놓았기 때문에 비교적 높은 지열류량 값을 보인다. 한편 한반도 남동부 일대는 이번 추가된 자료에 의해 새로운 지열류량 분포 변화가 나타났다 강원 북부 오색온천지역 부근에서 높은 지열류량 분포를 보이며 또한 우리나라 대단층 중의 하나인 양산단층과 같은 방향으로 발달한 밀양단층, 모량단층, 동래단층 등 주변부로 NNE-SSW 방향의 지열류량 이상대가 발달한다. 이것으로 볼 때 지열류량은 지질구조와 무관하지 않음을 파악할 수 있다. 특히 이러한 단층대 주변은 지열수의 순환이 깊은 심도까지 가능하므로 이러한 대류현상으로 지표부근까지 높은 지온 전달이 되어 나타나는 것으로 판단된다.의 안정된 방사성표지효율을 보였다. $^{99m}Tc$-transferrin을 이용한 감염영상을 성공적으로 얻을 수 있었으며, $^{67}Ga$-citrate

본 논문은 XML스키마 문서에서 정의된 컴포넌트 요소들의 타입-엘리먼트 복합 계층 구조와 타입 계층 구조를 그래피컬하게 파악할 수 있는 XML 스키마 브라우저를 구현한 것이다. XML 스키마 브라우저의 설계 및 구현 방법을 제안하고, 그 기능을 서술한다. 구현된 XML 스키마 브라우저를 사용함으로써 복잡한 XML 스키마 문서의 구조를 한눈에 쉽고 정확하게 파악할 수 있다.

본 논문에서는 도로 네트워크내의 이동 객체들을 대상으로 하는 효과적인 유사 궤적 검색 및 클러스터링 기법에 대하여 논한다. 이동 객체들 간의 유사도 측정을 위한 기존의 기법들은 대부분 유클리디안 공간 상의 궤적들을 대상으로 한다. 그러나 실제 응용에서 대부분의 이동 객체들은 도로 네트워크 공간 상에 존재하므로, 이러한 실제 상황을 반영하는 유사도 측정 방식이 요구된다. 본 논문에서는 각 이동 객체가 시간에 따라 지나간 도로 세그먼트들의 리스트를 궤적이라 정의하고, 이렇게 정의된 궤적들을 대상으로 하는 새로운 유사도 측정 함수를 제안한다. 제안된 유사도 측정 함수는 궤적을 이루는 도로 세그먼트의 길이와 식별자 정보를 이용한다. 제안된 유사도 측정 함수에 의하여 측정된 각 궤적 쌍 간의 유사도를 기반으로 전체 궤적들을 FastMap을 이용하여 k차원 공간상의 점들로 사상하고, 이들을 k-medoids 방식을 이용하여 클러스터링 한다. 구성된 클러스터와 연관된 사용자 정보, 도로 정보 등을 함께 사용자에게 제공하는 활용 예를 제시함으로써 제안된 기법이 실제 응용에 유용하게 사용될 수 있음을 보인다.

GIS분야와 유비쿼터스 환경의 진보로 언제 어디서나 유무선으로 정보를 주고 받는 환경의 계선에 대한 발전이 계속 되어 왔다. 이런 환경에서 이동객체의 이용도가 증대됨에 따라 대용량의 객체 처리를 위해 분산 처리방식이 적용 되었다. 기존 연구의 k-NN질의는 단일 노드에서 질의 처리 비용의 절감에 중점을 두어 분할된 노드에서의 질의처리에 관련된 연구가 부족하였다. 분할된 노드에서 질의를 처리하기 위해서 고비용이 요구되는 k-NN질의를 위하여 본 논문에서는 Hybrid k-NN질의처리 방식을 제안한다. 제안방식은 k-NN질의와 범위질의 특성을 결합한 형태로 분할된 노드에 질의처리를 가능하게 하고, 질의처리 시 k-NN질의와 범위질의의 혼합으로 k-NN질의의 고비용을 절감하는 방법이다. 이 방법은 GALIS 프로토타입의 SLDS의 질의 처리 부분을 개선에 활용할 수 있다.

인터넷망의 지속적인 발달과 함께 웹 애플리케이션 개발 방법으로 XML 기반의 웹 서비스가 부각되면서 많은 웹 서비스들이 개발되었고, 점차 더 많은 웹 서비스들이 개발될 것으로 예상된다. 이처럼 급격하게 늘어나는 웹 서비스들 중에서 사용자가 원하는 웹 서비스 찾는 것이 중요한 이슈로 부각되고 있다. 그러나 현재의 웹 서비스 검색 표준인 UDDI 레지스트리는 키워드 기반이기 때문에 검색 성능의 한계점을 갖고 있다. 최근에 이러한 한계를 극복하고자 하는 많은 연구가 진행되고 있지만 아직은 많이 부족한 상황이다. 따라서 본 논문에서는 비록 키워드가 일치하지 않더라도 사용자가 원하는 웹 서비스를 찾을 수 있도록 웹 서비스 표준인 UDDI 레지스트리에 시맨틱 매칭 엔진(semantic matching engine)이라는 추가적인 시맨틱 레이어를 추가하여 재현율(recall)과 정확률(precision)을 모두 향상 시킬 수 있는 시스템을 제안한다.

웹 기술이 발전하면서 웹 서비스에 대한 정보를 UDDI에 저장, 검색하는 기법이 등장하였다. 이런 웹 서비스 정보 저장, 검색 기법들은 주로 단일 웹 서비스안을 대상으로 하였으나, 최근에는 단일 웹 서비스 뿐만이 아니라 웹 서비스들의 컴포지션 역시 저장하고 검색하는 연구가 진행되기 시작하였다. 웹 서비스 컴포지션은 한 웹 서비스의 출력과 다른 웹 서비스의 입력이 같을 경우 연결시켜 하나의 웹 서비스처럼 보이게 하는 것이다. 웹 서비스들의 컴포지션만으로도 단일 웹 서비스만을 저장, 검색하는 것보다는 유용하다. 그러나 그 알고리즘이 복잡하고, 여전히 사용자의 만족도는 낮다. 본 논문에서는 관계형 데이타베이스와 온톨로지를 이용하여 쉽고 간단한 알고리즘으로 웹 서비스 컴포지션과 검색을 하여 사용자 만족도를 높이는 기법을 제안한다.

데이터베이스는 매우 복잡한 성격을 지니고 있으며, 일반적으로 한 조직의 모든 데이터를 모아놓으므로 대형화되는 것이 보통이다. 따라서 데이터베이스는 항시 많은 데이터들이 생성 및 갱신을 반복한다. 이에 데이터베이스의 구성요소인 객체 또한 생성 및 변경을 거듭한다. 즉, 이러한 데이터의 증가 및 갱신으로 인하여 처음 생성되었을 때의 객고의 성능 및 저장 공간에 대한 이용은 향후 지속적인 관리가 없이는 보장받지 못한다. 이에 데이터베이스를 관리하는 사람들은 많은 인적 물적 자원을 할애하여 객체를 관리하고 최적의 상태로 만들기 위하여 노력한다. 본 논문에서는 이러한 일련의 행위들들 시스템에서 자동으로 자원을 수집하고 수집된 자원을 분석하여 시스템 특성을 반영한 관리기준에 부합하는 객체를 선별하여, 온라인 REORG(on-line reorganization) 작업을 통한 객체의 관리를 자동화 하여 보다 안정적인 데이터베이스 관리 및 데이터베이스의 관리의 효율성을 높이고. 데이터베이스 관리자의 생산성을 향상시키는데 기여 하고자 한다.

내용기반의 이미지 검색방법은 객체의 내부의 정보를 이용한 검색방법으로 색상, 모양, 질감과 같은 특징을 사용한다. 이러한 특징 중에 모양은 검색에 사용될 수 있는 점을 추출하여 유사도 계산에 사용한다. 유사도 계산은 점의 개수가 증가할수록 검색의 응답시간도 함께 증가한다는 문제점이 있다. 본 논문은 응답시간 향상을 위하여 특징점들에 대한 그리드 기반의 유사도 매칭 기법을 제안한다. 그리드 기반의 유사도 매칭 기법은 점들을 그리드로 나누어 검색의 범위를 좁힘으로써 매칭하는 횟수를 줄이는 방법이다. 특징점으로 사용된 점들은 이미지의 선으로부터 MPP(Minimum Perimeter Polygons) 알고리즘으로 추출하였으며, 특징 점들간의 거리값의 합을 유사도로 계산하였다. 실험에서는 400여개의 식물 잎 이미지로부터 점들을 추출하여 검색 시간을 비교하였다.

플래시 메모리는 동작 특성상 메모리 영역에 대한 덮어쓰기(overwrite)가 불가능하고 메모리 쓰기를 위해서는 삭제(erase) 연산을 반드시 먼저 수행해야 한다. 삭제 연산은 읽기 연산에 비해 많은 시간이 소요되므로 될수록 줄이는 것이 플래시 메모리의 수행 성능 향상에 유리하다. 본 논문에서는 플래시 메모리에 대한 삭제 횟수를 줄이기 위해 데이터베이스 페이지에 대한 쓰기 연산을 지연하는 지연쓰기 기법을 제안한다. 이 기법은 페이지에 대한 갱신이 일어날 때 페이지캐시 내의 해당 페이지에 대해서는 갱신을 수행하되 그것을 유발한 레코드 연산(레코드 삽입, 갱신, 삭제)은 별도의 지연쓰기 큐에 기록한다. 그리고 레코드 연산이 지연쓰기 큐에 저장되어 있는 동안에는 해당 페이지에 대한 갱신은 보류한다. 만약 해당 페이지를 다시 읽어야할 필요가 있을 때에는 지연 쓰기 큐에 저장된 갱신 정보와 병합하여 갱신된 페이지를 페이지 캐시에 적재한다. 이는 갱신되는 페이지의 개수와 단일 페이지에 대한 갱신 횟수를 감소시키는 효과를 가져온다. 따라서 플래시 메모리의 삭제 및 쓰기 연산을 감소시켜 데이터베이스 시스템의 수행성능을 향상시키게 된다.

OASIS의 ebXML 레지스트리는 e-비즈니스 컨텐츠 및 이에 대한 표준화된 메타-데이터를 안전하게 저장 및 관리하는 정보 시스템이다. ebXML 레지스트리 내의 e-비즈니스 정보에 대한 메타-데이터의 스키마는 OASIS 표준문서에 미리 정의되어 있으며, 이를 ebXML 레지스트리 정보모델(RIM: Registry information Model)이라 한다. 한편, 전자상거래 환경에서 시맨틱 정보 처리 기술을 도입하여 보다 효율적이고 원활한 상거래를 지원하기 위한 노력의 일환으로, 기존 ebXML 레지스트리에 온톨로지 기반의 시맨틱 정보를 관리 혹은 처리하는 기능을 추가하려는 연구에 많은 관심이 집중되고 있다. 이에 본 연구에서는, OWL 시맨틱 정보 구성자(semantic construct)로 표현된 온톨로지 데이터가 ebXML 레지스트리 내에 관리될 수 있도록 새로운 ebXML 레지스트리 정보 모델, 즉 시맨틱 정보 모델(SIM: Semantic Information Model)을 제시한다. 이를 기반으로 ebXML 레지스트리 내에서 온톨로지 정보의 추론을 이용한 지능형 정보 처리가 가능해진다. 본 논문에서는 온톨로지 데이터를 위한 새로운 ebXML 레지스트리 정보 모델을 제안하며, 아울러 온톨로지 정보 추론을 활용한 지식 처리의 예를 제시한다.

데이터 통합은 기업의 각 조직과 주요 업무, 핵심 애플리케이션에서 발생하는 물리적인 데이터 소스들을 표준 규칙과 메타데이터에 여과시켜 중복성을 제거하고. 오직 데이터 통합 및 단일 뷰를 정확하게 제공하기에 어려움이 따른다. 특히, 이기종 시스템이나 다양한 애플리케이션에서 나오는 대량의 데이터를 종류와 형식에 관계없이 호환이 가능하도록 지속적으로 통합하여, 정확한 정보를 실시간으로 동기화하여 제공할 수 있는 자동화된 정보의 통합이 관건이다. 따라서 본 논문에서는 레거시 시스템간의 데이터를 협업할 때 실시간으로 변화는 데이터를 일관성 있게 유지하기 위해서 데이터 협업 메커니즘을 제안한다. 또한 XMDR을 이용하여 협업에 의한 데이터 통합에서 발생하는 의미적 상호 운용성의 문제점을 해결하는 XMDR 기반의 데이터 허브 시스템을 구축한다.

데이터베이스 시스템을 효율적으로 운영하기 위하여 데이터베이스 관리자는 시스템의 자원 사용과 응용 프로그램에 의한 워크 로드의 특징을 알아야 한다. 워크 로드 분석을 위해 테이블, 리소스, 튜닝 방법론 등 여러 연구가 진행되어 왔으나 워크 로드를 형성하는 역할이 특정 테이블에만 집중되어 있는 현상에 대해서는 연구된 적이 없었다. 본 논문에서는 운영 시스템의 테이블 간의 연관 관계를 도출해 보고 연관 관계를 가지는 테이블 들이 워크 로드에 참여하는 유형과 횟수를 분석하는 워크 로드 분석 도구를 제안하고 대형 CRM 분석 시스템에 적용하여 데이터베이스 시스템의 워크로드를 분석해 본다.

멀티미디어의 비중이 커짐에 따라 컴퓨터 과학 각 분야에서 독자적인 기술들을 이용하여 실제 응용 및 시스템을 구축하고 있다. 하지만 멀티미디어 동영상 내에서 객체의 행위 단독적인 움직임을 수치로만 표현하여 자료를 처리함에 따라 의미를 해석하는 것이 부자연스럽고 정확한 숫자에 부합하는 행동의 검출이 어렵다. 본 논문에서는 멀티미디어 동영상의 기본적인 행위를 추출하고 이를 추상화, 정형화하여 보다 상위단계로 접근을 유도하여 멀티미디어 데이터에 대한 접근을 용이하게 하기위한 방법에 대하여 논의하였다.

네비게이션 시스템, PDA, DMB단말기, 휴대폰 등과 같이 모바일 단말기가 보편화 되면서 이 시스템을 유지하기 위한 데이터베이스 관리시스템의 수요가 증가하고 있다. 이러한 모바일 단말기는 기존의 데이터베이스 관리 시스템과는 달리 공간적인 소형화와 에너지 소비량을 최소화 해야 한다. 본 논문은 두 가지에 중점을 두어 결합 비트(combined bit)데이터 타입을 제안하고 구현방법을 제시했다. 결합 비트를 사용함으로써 저장 공간의 절약, 검색 속도 향상, 구성비트 복합 검색의 효율적 지원, 결합 비트의 도입으로 질의의 편리성의 이점이 있다.

본 연구에서는 한국교육학술정보원의 교육 콘텐츠 관리 시스템인 에듀넷의 키워드 기반 콘텐츠 검색기능을 고도화하기 온톨로지를 활용한 검색 프레임워크를 설계, 구현하였다. 에듀넷의 키워드 기반 검색 시스템에서 사용하는 KEM(Korea Education Metadata)를 owl을 이용하여 온톨로지로 바인딩하였으며, 의미 기반 교육 콘텐츠 검색이 가능하도록 중학교 수학의 일부 영역을 도메인 온톨로지로 구축하였다. 구축한 온톨로지에 실제 에듀넷에서 사용하는 콘텐츠 정보를 이용하여 인스턴스를 생성하였다. 사용자의 쿼리를 입력할 수 있는 인터페이스와 쿼리를 처리하고 추론할 수 있는 추론엔진을 사용하여 본 연구의 검색 시스템을 구축하였다. 실험을 통하여 본 연구에서 구축한 시스템이 키워드 매칭을 통한 검색 보다 사용자에게 의미 있고 유용한 결과를 도출함을 보였다.

일반적으로 Oracle과 같은 RDBMS에서 클라이언트가 데이터베이스를 접근하거나 관리하기 위해서는 RDBMS 서버에 리스너가 실행되어야 한다. 리스너는 네트워크를 이용해 클라이언트에서 서버로 연결하기 위한 네트워크 관리자로서, 수행정보의 전송 및 관리 기능을 수행한다. 이에 반해, 정보검색시스템에서의 시스템 기동 및 폐쇄, 데이터의 관리는 온라인이 아닌 오프라인 작업으로 이루어지는 것이 보통이다. 이는 각 시스템이 추구하는 것이 관리와 검색으로 각각 다르기 때문에 구조적인 차이가 존재한다. 정보검색관리시스템 KRISTAL은 기본적으로 정보검색엔진기반의 DBMS를 적용하였기 때문에 데이터베이스 관리도구 자체가 엔진과 밀결합된 형태가 아닌, 별도의 API로 제공되기 때문에 클라이언트가 온라인상으로 서버에게 관리 기능을 요청할 수 없는 단점이 있다. 이에 본 논문에서는 KRISTAL기반 데이터베이스 관리를 위한 KRISTAL 리스너를 제안한다. KRISTAL 리스너는 RDBMS 리스너의 일반적인 기능뿐만 아니라 KRISTAL 데이터베이스 검색 데몬 프로세스 관리, 스키마 및 테이블 관리, 백업관리, 분산검색 데몬 등 온라인으로 KRISTAL 서버를 제어할 수 있는 관리 기능을 제공한다.

소프트웨어 설계 툴은 소프트웨어 개발을 위하여 실무에 도입되어 많이 이용되고 있다. 그러나 대부분의 소프트웨어 설계 툴이 코드를 자동으로 생성할 수 있는 기능을 제공하고 있어서 이를 잘 활용하면 개발시간을 단축하고 및 개발생산성을 향상 크게 향상 시킬 수 있음에도 불구하고, 많은 사용자들은 설계 툴을 단순한 모델링 툴로서만 이용하고 있다. 본 연구에서는 사용자들이 소프트웨어 설계 툴의 코드생성 능력을 잘 활용할 수 있도록, 몇 개의 선정된 설계 툴의 코드자동생성능력의 비교를 통해 설계 툴의 코드 생성능력을 비교 일 분석하였다. 자동 생성된 코드는 Java 소스코드이며, 언어지원능력, 난이도, 생성된 소스 코드의 레벨을 비교기준으로 평가를 수행하였다.

워크플로우 비즈니스 프로세스는 설러 단위 업무(Activity)로 구성되며 단위 업무에는 여러 가지 타입이 존재한다. 유저 태스크(User Task) 타입은 특정 애플리케이션을 통해 처리되는 중요한 단위 업무 타입중 하나이며 본 논문에서는 유저 태스크 타입에 대한 최적의 수행자를 할당할 수 있는 질의어 기반 수행자 할당 방식을 기술한다. 이 방식은 기존의 워크플로우 관리시스템의 워크플로우 엔진에서 제공하는 로드-밸런싱 알고리즘을 현행 그대로 유지하는 동시에 조직의 조직 구조 정보를 이용하여 유저 태스크에 대한 기존의 할당 방식에서 확장된 형태의 수행자 할당 방법을 제공함으로써 태스크 처리에 대한 최적의 수행자를 할당하여 단위 업무의 처리 효율성을 향상시킨다.

현재 기업 환경은 점차로 거대화되고 기업들간의 상호운용을 통해 비즈니스 프로세스가 더욱 복잡해지고 있다. 또한 다양한 기업 환경 속에서 비즈니스 프로세스가 정상적으로 수행된다고 보장할 수 없다. 비효율적인 비즈니스 프로세스의 운용과 잘못 수행되는 프로세스는 조직 또는 기업의 관점에서 치명적인 문제가 될 수 있기 때문에 이것을 줄이기 위하여 비즈니스 관리자는 업무의 흐름과 상태를 모니터할 수 있어야 한다. 워크플로우 시스템에서의 모니터링은 다양하게 변화하는 업무 상태를 추적하고 분석하여 효율적인 워크플로우 프로세스의 수행을 유도하는 것이다. 이에 가장 중요한 사항은 즉시로 업무의 상태가 분석되어서 관리자에게 가장 최신의 데이터를 전달하는 것이다. 본 논문에서는 워크플로우 관리 시스템에서 운용되는 비즈니스 프로세스를 실시간적으로 추적할 수 있는 모니터링 도구의 메커니즘을 제안한다.

BPMN(Business Process Modeling Notation)은 BPMI(Business Process Management Initiative)에서 발표한 것으로서 비즈니스 프로세스 모델링을 위한 표준 표기법이다. BPMN은 표준 모델링 표기법 이므로 다른 모델링 표기법을 익히는데 사용되는 시간을 줄이며 IT 및 비즈니스 사용자들 간의 의사소통을 증진시킬 수 있다. 이에 대응하여 WfMC(The Workflow Management Coalition)는 XPDL 매핑작업을 시도하여 BPMN을 XPDL로 표현할 수 있도록 하였고, 그 결과 BPMN에 매핑시킨 XPDL2.0을 발표하였다. 본 논문에서 설계한 모델링 시스템은 표준 표기법인 BPMN을 통하여 모델링을 하고 그 결과를 국제 표준화 워크풀로우 정의 언어인 XPDL2.0으로 제공하는 워크플로우 모델링시스템을 제안하여 다른 워크플로우 시스템들과의 상호 호환성을 제공하는 것이며, 역할 기반의 모델링 방식으로 복잡한 모델링 작업을 단순화 시킬 수 있다. 즉, 워크플로우 모델링 기능에 실시간 그룹웨어 특성들을 통합하여, 한 차원 높은 수준의 모델링 환경제공을 통하여 기존의 워크플로우 시스템들이 지원하지 못 했던 워크플로우 모델링 협동 작업을 실시간으로 지원 할 수 있을 문만 아니라, 요즘과 같이 대형화와 복잡화 그리고 다양화의 특징을 갖는 조직들의 워크플로우 들에 대한 효율적인 분석 및 모델링 환경을 제공하기 위한 워크플로우 모델링 시스템을 제안한다.

현재의 워크플로우 관리 시스템에서 프로세스를 이루는 각 액티비티의 작업은 단일의 수행자에 의해서 처리되어 진다. 하지만 실제 기업의 프로세스나 과학 분야의 프로세스에서는 단일의 수행자가 아닌 여러 사람들의 협동을 통해 해결해야 하는 작업이나 실시간으로 데이터를 주고받으며 업무를 처리해야 하는 경우가 많다. 이런 작업들을 필요로 하는 곳에 워크플로우 관리 시스템을 도입하기 위해서는 실시간 협동 액티비티의 지원이 필요하다. 하지만 현재의 워크플로우의 표준 스펙에 협동 액티비티의 개념이 확실하지 않고 이에 대한 내용이 정의되어 있지 않기 때문에 실시간 협동 액티비티의 처리가 불분명한 실정이다. 본 연구에서는 표준의 스펙을 확장하여 실시간 협동 액티비티를 지원하도록 기존의 워크플로우 관리 시스템을 확장 설계한다. 워크플로우 관리 시스템을 세부적으로 나누어 워크플로우 모델관점, 워크플로우 엔진 관점, 런타임 클라이언트의 관점으로 크게 세 부분으로 나누고 각 부분에서 실시간 협동 액티비티를 지원하기 위한 요구사항들과 그것의 처리 방안에 대해 제안한다.

데이터의 흐름과 그 데이터의 처리가 중요한 시스템이 있다. 이러한 시스템을 구현하는 데이터 흐름 언어들은 데이터 흐름도로 모델링하는 것이 가장 이해하기 쉽고 정보의 손실이 적은 방법이다. 이러한 시스템은 분산 환경의 중요성이 높아짐에 따라 다른 이종적인 시스템과 같이 개발 될 가능성이 높아지고 있다. 따라서 이종적인 시스템에 대한 일관성 있고 통합적인 설계와 문서화가 필요하게 되었다. UML로 객체 지향 언어로 구현되는 시스템의 모델링과 문서화에 있어서는 사실상의 표준이지만 데이터 흐름의 구성 요소들이 객체 지향적이지 않기 때문에 UML로 데이터 흐름을 나타내는 것은 어렵다. 따라서 우리는 이러한 문제를 해결하기 위한 UML 확장 메커니즘을 제안한다. 데이터 흐름 언어가 객체와 클래스로 사상될 수 있는 특성들을 가지고 있다면 그 특성들을 UML 다이어그램으로 확장할 수 있다. 그러기위해 새로운 스테레오타입들을 정의하여 기존의 UML 다이어그램 구성물과의 차이를 둔다. 이러한 과정을 통해 UML 사용자들은 데이터 흐름 언어의 구성 요소들을 캡슐화 할 수 있다. 데이터 흐름 언어로 구현되는 일반적인 시스템에 적용하기 위해 우리는 UML 메타모델 개요를 제안하는 것으로 스테레오타입들을 정의한다. 그리고 이렇게 확장된 UML 메커니즘을 가지고 데이터 흐름 언어로 구현된 두 개의 시스템을 설계하고 설계에 따라 구현 하였다.

최근 유비쿼터스 컴퓨팅 환경의 실현 가능성이 높아지면서 동적으로 변화하는 외부 환경에서의 소프트웨어 역할이 중요해지고 있다. 유비쿼터스 환경의 소프트웨어는 다양한 센서로부터 입력되는 문맥정보를 분석하고 그 결과에 따라 적절하게 서비스를 제공할 수 있는 자기적응형(self-adaptive) 소프트웨어 형태가 되어야 한다. 이러한 특징을 가진 소프트웨어를 개발하기 위해서는 문맥정보에 대한 정적분석 활동과 문맥 변화에 상호 작용하는 동적분석 활동이 개발 전 과정에 걸쳐 체계적으로 수행되어야 한다. 본 연구에서는 외부 환경의 문맥정보에 가변적으로 반응하는 자기적응형 소프트웨어의 요구사항을 분석하고, 문맥정보 조건에 따라 재구성 가능한 컴포넌트 기반 아키텍처를 설계하기 위한 자기적응형 소프트웨어 설계 방법을 제시한다. 또한 본 연구의 방법을 적용하여 설계한 스마트 홈 시스템에 대한 사례연구를 소개한다.

초기에 제안된 Harel의 statechart를 개선하기 위한 노력으로 다양한 statechart의 변형들이 생겨나고, 시스템 개발자는 대상 시스템에 맞는 적절한 설계 명세 언어와 자동화 도구를 선택하는 것이 중요하게 되었다. 대상 시스템에 맞는 영세 언어를 선택하고, 다양한 자동화 도구(CASE tool)의 기능을 적용하기 위해 statechart의 상호 변환을 통한 각 지원 도구의 적용이 필요하다. 하지만, statechart 상호 변환 과정에서 각 statechart의 의미론적(semantics) 차이는 의도하지 않은 오류를 야기할 수 있다. 따라서 본 논문에서는 이들의 의미론을 비교 분석하기 위한 몇 가지 간단한 예제를 시뮬레이션 해 보고, statechart간 상호변환 방안의 기틀을 마련한다.

정형명세는 자연어의 모호함을 없는 명료한 시스템 설계를 가능하게 한다. 상태차트와 같은 정형명세 된 요구사항은 시뮬레이션이나 정형검증을 통해 요구사항을 실행하여 볼 수 있으며, 더 나아가 여러 가지 특성을 정형검증과 같은 검증 기법으로 검증 할 수 있다. 하지만 자연어 요구사항을 상태차트로 변환하여 다양한 요구사항의 특성을 기술하기 위해서는 상당한 노력과 경험이 필요로 하다. 본 논문에서는 자연어 요구사항을 상태차트로 직접 변환하는 기법을 제안한다. 이를 위해 본 논문에서는 기능적인 요구 사항의 자연어를 분석하고, 또한 소프트웨어 요구사항 기술에 적절하도록 상태차트 문법의 의미를 제안한다.

적응형 소프트웨어는 유비쿼터스 컴퓨팅의 핵심 분야로 홈 네트워크, 지능 로봇 등 다양한 분야에 응용이 가능하다. 하지만, 대부분의 연구가 적응형 소프트웨어의 요구사항이나 시나리오의 구체화를 위한 비전을 제시하거나, 응용 구현의 사례를 보임으로써 실현 가능성을 확인하는데 초점을 맞추고 있다. 본 연구에서는 동적인 재구성이 가능한 규칙 기반으로 동작할 수 있기 때문에 진화가 가능하며, 상태에 기반하여 행위를 판단하는 RASC 프레임워크를 제안한다. 기존 서비스 조합의 개념을 실현하기 위해 중개자를 이용하였으며, 변이와 교차와 같은 유전 알고리즘 연산을 쉽게 적용할 수 있도록 RASC 도메인을 정의하였다. RASC 프레임워크는 블랙보드 아키텍처를 기반으로 규칙을 공유하며, 서비스와 서비스 조합체 모두 자극-반응 모델을 따르고 자기유사성을 가지는 일종의 복잡계를 구성한다.

e-Business 환경이 다양화되고 활성화되면서, 전자적으로 교환되는 문서의 종류와 형태가 다양해지고 있다. 다양한 문서 형태를 지원해야 하는 요구사항이 대두되고 이를 충족하기 위해 하나 이상의 문서 변환 시스템을 도입하여 사용하고 있다. 기존의 문서 변환 시스템은 하나 또는 두 가지의 문서 형태만을 지원함으로 인해, 동시에 다양한 문서 형태를 지원할 수 없는 단점이 존재하였다. 또한 단일 형태의 문서 변환만을 지원하고 있어 문서 형태별 변환 기능을 지원할 수 없고 파싱된 문서 요소와 비즈니스 로직이 혼합되어 순차적으로 처리됨으로써, 처리가 완료되기 전까지 하나의 트랜잭션으로 처리되고 있다. 변환 절차가 하나의 트랜잭션 내에서 처리됨으로 인해 정보의 재사용성이나 효율적으로 시스템 자원을 사용할 수 없었다. 이러한 문제를 해결하기 위해 본 논문에서는 문서 형태별 비즈니스 로직을 포함하는 전자문서변환 시스템을 도메인 모델방식 개념을 기반으로 설계, 구현함으로써 개선 가능한 시스템을 제안하고자 한다. 본 논문은 제안 시스템을 통해 기능별로 모듈화가 가능하게 되고 트랜잭션도 단계별로 분리하여, 처리 복잡성을 해결할 뿐 아니라, SOA(Service Oriented Architecture)기반의 진보된 개념을 쉽게 적용 가능한 확장성을 갖추는데 그 의의가 있다.

최근 소프트웨어의 생명 주기가 점점 짧아지고 있으며 시장의 요구에 수용하면서 빠르게 변화 하도록 소프트웨어를 만들어야 할 것이다. 하지만 변화가 생길 때 마다. 새로운 소프트웨어를 만든다는 것은 많은 작업을 요구하는 일이 될 것이기 때문에 소프트웨어에 적응성은 중요한 이슈이다. 본 논문에서는 로봇에 초점을 맞추어 로봇이 적응성을 가지기 위해 표준 기술인 웹 서비스를 사용한다. 웹 서비스의 전형적인 표준 발견 기술은 UDDI 레지스트리에 의존하며 서비스를 찾을 때 기초적인 정보만을 사용하기 때문에 원하는 기능의 서비스를 찾는 것이 어렵다는 단점을 가지고 있다. 그래서 본 논문에서는 웹 서비스를 통해 로봇이 요구하는 컴포넌트를 발견하기 위해 기존의 UDDI를 변경하지 않고 확장된 검색을 지원하는 발견기법을 제안하고 이를 구현한 EWS를 소개한다.

로봇이 적응성을 위해 웹 서비스를 통해 문제를 해결하려고 할 때, 웹 서비스는 서비스의 의미로 서비스를 찾을 수 있는 방법을 제공하지 않아서 원하는 기능의 서비스를 찾기가 어렵다. 하지만 시멘틱 웹에서는 온톨로지를 이용하여 서비스의 의미를 표현하기 때문에 위의 문제를 해결할 수 있다. OWL-S를 이용하면 웹 서비스의 표현을 용이하게 해준다. 하지만 문맥(Context) 정보를 고려한 서비스의 검색이나 검색을 통해 가져온 서비스를 검증하는 수단을 제공하지 않고 있다. 본 논문에서는 OWL-S과 에이전트를 기반으로 하여 적합한 서비스를 찾는 방법을 제안한다.

RFID(Radio Frequency IDentification)는 라디오 신호에 따라 반응하는 태그(Tag)를 이용하여 해당 사물을 인식하는 기술이다. RFID 이벤트의 특징은 짧은 시간 내에 빠르게 생성되며 생성된 각각의 RFID 이벤트 정보는 단순하지만 대량의 이벤트들을 처리할 수 있으며 추가적인 정보를 태그에 담을 수 있다. 이러한 장점으로 물류나 재고관리 유통분야 등에서 RFID를 이용하여 시스템을 자동화하고 있다. RFID를 시스템에 적용하기 위해서는 RFID이벤트의 특성을 고려하여 시스템이 개발되어야 한다. 그러나 여전히 기존의 RFID 시스템은 해당 어플리케이션의 비즈니스 이벤트를 처리하기 위해 RFID에 대한 다양한 지식과 통신 방법 등을 이해해야 하는 복잡함을 가지고 있다. 뿐만 아니라 이기종의 플랫폼에서 개발, 동작하는 어플리케이션 개발을 지원하는 측면에서도 어려움이 있다. 본 논문에서는 다양한 이기종의 RFID 어플리케이션과 ALE를 지원하기 위한 비즈니스 이벤트 프레임워크(Business Event Framework, BEF)를 제시하였다. 또한 실제 이기종의 플랫폼에서 개발된 어플리케이션을 지원하기 위해 어플리케이션 매니저(AppManager)를 정의하였다. 마지막으로 RFID 관련 기술을 개발자가 모두 이해해야함을 최소화 하기위해 비즈니스 이벤트 스펙(Business Event Spec, BESpec)을 정의하였다.

아키텍처에 대한 기술은 아키텍처 평가와 검증을 위해서 반드시 필요하다. 아키텍처 기술(Architecture Description)을 위해서 아키텍처 기술언어, 아키텍처 모델에 대한 다양한 연구들이 있었다. IEEE-1471의 아키텍처 기술을 위한 개념적 모델이 아키텍처 기술에 대한 일반적인 모델로 제시되었고 이후에 아키텍처 기술에 대한 새로운 요소들이 제시되었다. 그러므로 IEEE-1471의 개념적 모델은 새로운 요소들의 개념 사이에 혼란이 존재한다. 본 논문에서는 IEEE-1471의 개념적 모델을 바탕으로 이후에 제시된 세 가지 요소를 추가함으로써 IEEE-1471의 개념적 모델을 확장하고자 한다.

멀티프로세서 환경에서 동작하는 임베디드 시스템을 개발하기 위해서는 소프트웨어 모델분만 아니라 하드웨어 플랫폼에 대한 모델이 필요하다. 이는 개발하고자 하는 소프트웨어가 하드웨어 플랫폼에 어떻게 배치되어 실행할 것인가에 대한 고려가 요구되기 때문이다. 특히 MPSoC(Multiprocessor SoC)에서는 소프트웨어를 배치할 하드웨어 플랫폼에 대한 정보가 필요하기 때문에 설계 과정에서 이들에 대한 모델링이 요구된다. 따라서 본 연구에서는 하드웨어 플랫폼 아키덱처를 정의할 수 있는 이클립스 기반의 플러그인을 개발하고, 이를 이용한 PSM 모델링 방안을 제시한다.

DO-178B는 항공분야 소프트웨어의 안전성 인증 기준으로서 실질적인 국제 표준으로 인정받고 있다. 그러나 목표달성 중심의 기준만을 제시함으로써 안전성 분석 및 검증에 대한 구체적인 가이드라인의 부족이 문제시 되어왔다. 본 논문을 통해 DO-178B의 취약점을 분석하고 정형기법을 적용한 개선방안을 제시한다. DO-178B 내용 중 정형기법을 적용하여 수행되어야 할 활동 요소들을 식별하고 정형언어를 통한 설계와 검증, 그리고 그 결과에 대한 증빙자료의 제출을 기준에 포함시킴으로써 개발 활동의 방향과 범위를 명확히 하고 인증 절차의 투명성을 향상시킬 수 있다.

홈 네트워크에 참가하는 많은 장비들이 UPnP기술을 이용하여 네트워크에 연결하고 있다. 우리는 UPnP를 구현한 장비들을 선택하여 fault가 포함된 packet에 대하여 어떻게 동작하는지 테스트하였다. Fault는 발생시키는 개념에 따라서 syntactic fault 와 semantic fault로 구분하여 생성하였다. 특히, syntactic fault는 11가지 type으로 구분하여 각각 fault packet을 생성하고, 이를 이용하여 장비를 테스트하였다. Fault type을 구분하여 테스트를 진행함으로써, 장비의 취약점을 체계적으로 찾을 수 있었다. 동시에, 현재 시판되고 있는 장비도 fault packet에 대해 많은 취약점이 존재한다는 것을 확인하였다.

프로그램의 고장율이 잔여 결함의 (미지)수에 대한 일정한 배수라고 한 것은 모든 결함이 프로그램의 고장율에 동일한 양으로 기여한다는 것을 의미한다. 우리는 이 가정에 대해서 도전을 하고자 하며, 대안을 제시한다. 이 모델은 다루기 쉬워서 계산할 다양한 신뢰도 척도를 허용한다. 목표 신뢰도를 얻기 위한 전체 수행시간과 목표 신뢰도를 얻기 위한 총 결함의 수를 예측할 수 있다. 이 모델은 설계오류를 줄여서 신뢰도 성장을 가져오는 하드웨어에도 적용될 수 있을 것으로 기대된다.

유비쿼터스 컴퓨팅을 구현하는 어플리케이션의 대표적인 형태가 상황인식 어플리케이션이다. 기존의 상황인식 어플리케이션의 구현 형태는 IF-Then 구문을 사용하거나 규칙기반시스템을 사용하는 형태를 취하였다. 이는 상황정보가 어플리케이션 기능 구현 코드에 내재되어져 있으므로, 변화하는 상황정보에 적응하기 어려운 구조이다. 본 논문에서는 컴포넌트기반 소프트웨어 개발의 개념을 이용하여, 구현하고자 하는 상황인식 어플리케이션을 상황정보에 따른 소프트웨어 컴포넌트들의 조합으로 구현하는 연구를 제안한다. 이렇게 함으로써, 상황정보의 변화를 컴포넌트 단위로 적용할 수 있게 되며, 이를 통하여 상황정보 확장에 대처하는 확장성을 상황인식 어플리케이션에 부여할 수 있다. 본 논문에서는 대표적인 상황인식 어플리케이션 가운데 하나인 액티브 배지 시스템의 Call-forwarding 어플리케이션을 제안한 방법을 통해 구현하는 예제를 보이고, 이를 통해 얻는 특징인 확장성을 보인다.

소프트웨어의 다양화로 인하여 하드웨어 형태의 보안 제품에서 소프트웨어 형 보안 제품으로 점차 변화하고 있는 중이다. 이러한 변화 속에서 소프트웨어 형 보안 제품의 품질을 평가하는 기준이 없어, 현재 ISO/IEC 9126 의 표준으로 소프트웨어 형 보안 제품을 평가하고 있는 것이 현실이다. 하지만 소프트웨어 형 보안 제품을, 기존 소프트웨어 품질 평가 기준으로 적용하기에는 한계가 있다. 지금까지 소프트웨어 제품의 평가 방법과 요구 사항에 대한 프로세스가 국제 표준으로 제정 및 정의되어 있으나, 소프트웨어 형 보안 제품의 경우, 이러한 국제 표준을 적용하여 제품을 평가하는 데는 어려움이 있다. 이에 본 논문에서는 현재 사용중인 소프트웨어 평가 기준 인ISO/IEC 9126-1에서 규정하고 있는 6개의 소프트웨어 품질특성 중 기능성 의 부 특성인 보안성의 매트릭스를 확인하고 ISO/IEC 15408(공통평가기준)의 내용 중 일부를 발췌 및 보완하여 기존 6가지의 소프트웨어 품질특성 중 기능성의 부특성인 보안성을 보완한, 새로운 보안성 품질 매트릭스를 제안한다.

유스케이스(Use Case)를 기반으로 하는 관점지향 소프트웨어 개발방법론(Aspect-Oriented Software Development, AOSD)은 사용자 중심의 시스템을 설계하는데 있어 매우 중요한 소프트웨어 개발방법론으로 부각되고 있다. 학습관리시스템(Learning Management System, LMS)은 사이버교육을 지원하는 핵심시스템이며, 다양한 요구사항을 제시하는 청소년층을 대상으로 하기 때문에 높은 유지보수성과 확장성을 필요로 한다. 본 논문에서는 관점지향 소프트웨어개발 방법론을 6단계 모델링 방법을 통해 사이버 교육을 위한 학습관리시스템에 적용하였다. 적용 결과 학습관리시스템에서 횡단관심사의 모델링을 통한 관점지향 소프트웨어 개발은 유스 케이스 중심으로 모델링되어 사용자 중심의 시스템 유지보수성과 재사용성을 높일 수 있음을 보였다.

최근 금융산업에서 치열한 시장환경 및 다양한 고객 요구사항에 대응하기 위해 채널 및 IT 아키텍처의 재조명이 이슈화되고 있으며, 이때 인터넷 채널은 인터넷에 익숙한 젊은 고객 층의 증가와 편리성 측면에서 이용도가 높아짐에 따라 웹 개인화를 요구하고 있고 콜센터 채널은 마케팅 및 업무효율측면에서 고객접촉이력 정보의 자산화 추세로 중요성이 제고되고 있다. 하지만, 고객중심의 통합 금융시스템의 구현이라는 측면에서 홈뱅킹시대에서의 각기 양 채널은 개별시스템(individual system)으로 개발 및 운영이 되고 있어 상호 운용이 되지 않는 문제점을 내포하고 있고 이를 해결하고자 한다. 따라서, 본 논문의 공헌도는 양 채널간 상호 운용 가능한 SOA(Service Oriented Architecture)기반의 공통 컴포넌트를 도출하고 효율적 채널 활용을 위한 상호 운용성 아키텍처를 제안하는데 그 의의가 있다.

경영환경의 변화에 대한 기업의 대처능력이 곧 생존에 직결되고 있는 시점에서 이에 대한 해결책으로 통합업무 프로세스를 지향하는 ERP(Enterprise Resource Planning)을 통하여 경쟁력을 강화하려는 노력이 진행되고 있다. 그러나 ERP는 적용상의 어려움과 실제 업무와의 차이점으로 인하여 막대한 노력을 들이고도 성공적으로 업무에 활용되지 못하는 사례가 많은 실정이다. 특히 건설업의 경우는 주문생산 방식의 프로젝트 특성 및 영세한 외주업체와 협업해야 하는 환경요인으로 인해 전산환경과 정보화에 많은 제약사항들을 가지고 있다. 본 연구에서는 건설업체 D사의 예를 들어 건설업 ERP 패키지를 도입하여 업무 개선에 적용한 사례를 소개하였다. 건설사 고유 업무인 공사관리 업무 및 일반관리 업무를 대상으로 현행 프로세스를 진단하고 문제점을 도출하였으며 ERP의 Best Practice를 바탕으로 프로세스 개선방안을 제시하였다. 회사는 ERP와 유기적으로 연결된 개선안의 추진을 통해 지속적인 경영혁신 활동의 토대를 구축하였으며 이에 따른 정성적, 정량적인 성공요인을 분석하였다.

PLC 프로세서 모듈의 시스템 태스크는 RTOS 커널 및 PLC 어플리케이션과 유기적으로 연관되어 있기 때문에 단독으로 테스트 할 수 없고, 어플리케이션을 테스트 드라이버로 활용해야 한다. 본 논문에서는 RTOS와 PLC 어플리케이션의 통합 테스트 단계에서, 시스템 태스크를 테스트 하기 위한 테스트 드라이버를 생성하는 방안을 기술하고, 이를 원자력 발전소의 PLC 프로세서 모듈에 적용한 실험 결과를 기술한다.

프로그램 구현 방법에 편중되어온 기존의 AOSD 방법론이 최근에는 전체 개발 라이프사이클에서 초기 요구사항의 중요성이 강조되면서 요구사항 모델링, 분석, 설계분야에서 많은 연구가 진행되고 있다. 하지만, 요구사항 분석에서 추출된 관심사를 설계하여 구현 단계로 변환하는 과정에서 아직까지 상세화된 프로세스가 부족하다. 본 논문에서는 횡단 관심사 구현 명세 기법을 제시한다. 이 기법은 추출된 관심사를 구현 코드로 변환하기 위한 4단계의 프로세스로 구성되어 있다. 상세화된 명세 기법과 가이드라인은 AOSD에서 해결하기 어려운 설계에서 구현간의 갭을 줄여줌으로써 이해 및 유지보수성을 높여준다.

웹 플렛폼이 계속해서 발전하고 기술이 고도화 됨에 따라 이를 사용하기 위한 다양한 지원 기술과 프레임워크가 제안되고 있다. 그 중 최근 가장 관심이 집중되고 있는 브라우저 기반의 웹 어플리케이션 기법이 AJAX(Asynchronous JavaScript and XML)이다. AJAX를 구현하는 데에는 JavaScript가 중요한 기술적 요소라 하겠다. 본 논문에서는 사용 규모와 기능의 확대가 예상되는 JavaScript의 시험을 위한 도구를 개념적으로 제안했다. 기존에 제안된 도구나 수동적인 시험은 HTML에 시험을 위한 JavaScript를 삽입하여 브라우저를 통한 시험이 위주였다. 브라우저를 통한 방법은 스크립트를 삽입한 후 HTML을 불러와야 한다는 번거로움이 있고 시험을 위해 삽입된 JavaScript를 제거하는 과정에서 다른 오류가 유입될 수도 있다. 또한 브라우저에서 보여주는 결과만으로는 시험의 확인이 어렵다. 이에 본 논문은 AJAX 환경에서 더욱 사용이 확대되고 있는 자바스크립트를 시험하기 위한 자동 시험 도구 시스템을 제안한다.

최근 오픈 소스 소프트웨어를 활용하여 리눅스 기반의 모바일 플랫폼을 구성하려는 추세를 보이고 있다. 특히 최종 사용자(end-user)와의 상호 작용(interaction)을 담당하는 모바일 UI 프레임워크로 GTK+를 많이 사용한다. 본 논문에서는 GTK+의 구조에 대해서 살펴보고, 데스크톱 기반의 GTK+를 모바일 UI 프레임워크에서 사용하기 위하여 고려해야 하는 주요 이슈(issue) 들을 살펴본다.

기업의 많은 활동들이 인터넷을 기반으로 하는 시스템으로 점차로 넓어지면서, 기업 내 산재되어 있는 많은 Application 시스템 상호간 연계되거나 통합하기도 한다. 시스템의 연계나 통합에 있어 중요한 요소 중 기업 내 시스템 자원에 대한 접근 제어에 대한 문제가 중요한 이슈 중 하나이다. 이를 위해 각 기업이나 그룹에서는 여러 접근 제어 기술을 구현한 솔루션을 도입하고 있지만 기업 내 표준에 적합하게 구현되어 있지 않거나 기업의 표준에 적합하게 구현이 되어 있다면 고비용을 지불해야 되는 문제점으로 인해, 기업에서 직접 기업 내 자원에 대한 접근 제어를 구현하여 사용하는 실정이다. 이에 본 논문에서는 현재의 접근 제어 기술 중 XML에 기반하며 표준화가 정립된 XACML 접근 제어 기술을 활용하여 웹 기반 기업 Application 시스템의 자원에 대해 접근 제어를 할 수 있는 방안을 연구하였다. 아울러 향후 기업의 웹 기반 애플리케이션 시스템의 상호 연계나 통합을 위한 접근 제어를 추진할 때 도움이 될 수 있고자 한다.

유비쿼터스 컴퓨팅 시스템을 설계하고 개발하기 위한 방법들 중 하나로서, 최근 다중 에이전트 모델을 이용하는 방식이 연구되었다. 다중 에이전트 모델을 이용함으로써 얻을 수 있는 장점도 있지만, 다중 에이전트 모델로는 유비쿼터스 컴퓨팅 시스템이 가지는 고유한 특성을 완벽히 기술하기는 부족한 면이 있다. 예를 들어, 유비쿼터스 컴퓨팅 시스템에서 어떤 서비스를 제공하기 위하여 여러 컴퓨팅 요소들이 협업을 해야 할 때, 이러한 협업 조직을 효과적으로 표현하기 어렵다. 즉, 다중 에이전트 모델에서는 이러한 협업 조직의 동적인 생성과 소멸, 그리고 동적인 조직의 구성방식과 서비스를 제공하기 위한 조직 내에서의 또한 조직들 간의 협업 방식을 기술하기가 쉽지 않다는 것이다. 게다가 대부분의 다중 에이전트 모델들은 시스템을 설계하는 것만을 고려할 뿐 시스템의 개발은 개발자에게 전가하고 있다. 그러나, 유비쿼터스 컴퓨팅 시스템처럼 다양한 기종이 복잡하게 분산되어 있는 경우에는 설계만으로 실제 시스템을 개발을 하는 것은 쉬운 일이 아니다. 따라서 본 논문에서는 컴퓨팅 요소들의 협업 조직을 커뮤니티라 하고, 유비쿼터스 컴퓨팅 시스템을 그러한 커뮤니티에 기반하여 기술하는 고 수준의 추상화 모델을 제시하였다. 또한 이러한 고수준의 추상화 모델로부터 실제 시스템 개발을 이끌어 낼 수 있도록 하기 위하여 Model driven architecture 방식을 적용하여, 유비쿼터스 컴퓨팅 시스템의 개발 과정을 정의하였다.

최근 Du 등은 공개키 암호 기반의 센서네트워크에서 주요 난제인 공개키 인증 문제를 해결하기 위해 해쉬 함수를 사용하여 계산비용을 줄일 수 있는 트리 기반의 인증기법[1]을 제안하였다. 그러나 이 기법은 공개키 인증을 위해 노드의 수 N에 대해 O(logN)의 수행시간이 필요하고 전송되는 메시지의 양도 O(logN)이 되어 네트워크의 크기에 따라 인증비용이 커지는 문제점이 있다. 이러한 문제를 해결하기 위하여 본 논문에서는 공개키 인증을 위한 안전하고 효율적인 경량의 인증 기법을 제안한다. 제안한 기법은 해쉬 연산과 XOR 연산을 이용하여 네트워크의 크기에 관계없이 상수복잡도의 수행시간과 전송되는 메시지의 양이 상수복잡도인 향상된 공개키 인증을 수행한다.

단말의 이동성을 지원하는 Mobile IP에서 MN이 홈 네트워크에서 먼 곳으로 이동하는 경우, 매번 BU 시그널링을 하게 되면 Registration latency가 길어져, 이로 인해 불필요한 네트워크 트래픽을 유발한다. 따라서 계층을 두어 지역적인 이동성을 관리하는 MAP을 도입한 HMIPv6가 제안되었다. HMIPv6는 지역적인 LCoA와 외부에 노출되는 RCoA를 가진다. Mobile IP 환경에서의 BU메시지 취약성은 보안이슈가 되어왔으며, HMIPv6은 두 개의 CoA를 가지므로 보안위협은 배가된다. 본 논문에서는 Static Shared Key를 사용하여 HMIPv6의 LCoA BU 시그널링 관련 메시지의 인증을 제안함으로써 Mobile WG에서 제기된 BU 시그널링의 보안 취약성을 개선하였다.

최근 Chen등[1]은 계층적 센서 네트워크 환경을 위한 키 관리 기법을 제안하였다. 본 논문에서는 Chen등의 기법이 센서 노드의 추가와 재배치 시 직계 부모 노드가 양단키(pair-wise key)를 생성해서 새롭게 추가와 재배치되는 자식노드에게 아무런 보안기법 없이 양단키를 전송하므로써, 보안에 취약함을 보여준다. 이러한 문제를 해결하기 위해 본 논문에서는 싱크노드가 추가 및 재배치되는 센서 노드의 양단키를 사전에 생성하여 전송하고 추가 및 재배치되는 노드의 부모노드에게 생성한 키를 전송하는 개선된 키 관리 기법을 제안한다.

유비쿼터스 환경에서의 네트워킹은 장소나 시간에 제약없이 최상의 서비스를 받기 위한 편리성을 제공한다. 이에 RFID 기술은 이러한 유비쿼터스의 목적을 쉽게 달성할 수 있는 기술로 주목받고 있으며 많은 장점을 갖는 반면, 프라이버시 침해문제와 같은 보안적인 문제를 갖고 있다. 본 논문에서는 RFID 환경에서 안전하지 않은 Tag 나 Reader 기를 식별하는 기술인 보안프로토콜을 정형적 검증방법인 모델체킹을 이용하여 신뢰성있는 네트워크를 구축하고자 한다.

RFID기술은 RF를 이용하여 자동적으로 사물의 정보를 획득할 수 있는 매우 편리한 기술이다. 하지만 RF라는 매체를 사용하는 무선통신 환경에서 데이터를 주고받기 때문에 악의적인 공격자에 의해 사물의 의도적으로 노출이 될 수 있는 취약점을 지니고 있다. 이러한 RFID 시스템의 보안적 취약점을 보안하기 위해 RFID시스템에서 사용할 수 있는 강력한 보안 프로토콜의 요구가 높아졌다. RFID 시스템에서 사용될 보안 프로토콜을 설계하기 위해서는 비밀성, 익명성 등 반드시 고려해야할 요구사항이 있는데, 기존에 제안되었던 RFID 보안 프로토콜들은 이러한 요구사항들을 모두 완벽하게 만족시키지 못하였다. 본 논문에서는 RFID 시스템 프로토콜 모델을 제시하고, 정형기법을 사용하여 보안적 문제점들을 확인한 후, 문제점들을 보완하여 설계한 효율적인 RFID 보안 프로토콜을 제시하고자 한다. 또한 설계된 보안 프로토콜의 보안성을 정형기법을 통해 신뢰할 수 있는 검증을 실시하였다.

IT 기술의 발달로 인간의 편이를 위한 많은 기술들이 생겨나고 21세기 IT분야만이 아닌 사회 전 분야에서 가장 주목을 받는 기술이 유비쿼터스이다. 유비쿼터스는 사용자의 인식없이 컴퓨터와 통신을 하는 기술이다. 주거환경의 개선 부분이나 구매의 편리를 위한 부분에서 가장 많은 적용이 시도 되고 있다. 하지만 무분별한 인식에 의한 개인의 프라이버시와 여러 가지 보안문제가 야기되고 있다. 일반 RFID 분야에서는 보안이 필요 없는 부분도 있지만 RFID가 더 많은 분야에서 시도가 되려면 보안요소가 꼭 필요하다. 본 논문에서는 저 전력과 낮은 메모리에서 사용하기 위해서 무선에서 사용하고 있는 보안 모듈인 SNEP와 ECC알고리즘을 RFID에 적용할 수 있는 시스템을 설계 및 제안한다.

본 논문에서는 모바일 DRM(Digital Rights Management) 상의 멀티미디어 파일에 적용할 수 있는 상황인식 기반의 사용제어 모델을 제안한다. 특히, 위치 및 시간 등의 상황 정보에 기반하여 모바일 콘텐츠에 대한 접근 및 사용을 제어하는 '동적인 역할기반 접근제어'(dynamic role-based access control)를 지원하는 프로토타입 시스템을 임베디드 보드 상에서 구현하여 테스트하였다.

비정상행위 탐지를 위한 프로파일 기술은 침임탐지시스템의 성능 향상을 위한 핵심기술로서, 높은 공격 탐지율과 침입탐지시스템의 수행 시간 단축을 위해 반드시 요구되는 기술이다. 최근 인터넷의 보급과 활성화로 웹 어플리케이션 보안을 위한 연구가 활발히 진행되고 있으나, 웹 애플리케이션의 개발 언어와 공격 특성을 반영하지 못해 그 효율성이 저하되고 있다. 본 논문에서는 웹 공격 탐지를 위해 연구 되었던 서열정렬 알고리즘을 이용한 웹 공격 탐지의 성능 개선을 위하여 웹 애플리케이션 개발에 주로 사용되는 스크립트파일을 기반으로 한 프로파일 방법을 제안하고 실험 결과를 기술하였다.

다형성 웜은 새로운 감염시도 때마다. 그 형태가 계속 변형되기 때문에 시그너처 기반의 탐지 기법으로는 탐지될 수 없다. 또한 이러한 다형성 웜은 주로 공개된 다형성 엔진을 이용하여 쉽게 자동적으로 생성할 수 있다. 본 연구에서는 네트워크 트래픽에 포함된 실행코드의 명령어 분포를 분석하여, 다형성 웜을 포함한 트래픽을 탐지하는 기법을 제시한다. 또한 제안하는 시스템의 성능을 모의 실험을 통해 평가한 결과, 다형성 엔진으로 생성된 웜은 전부 탐지되고 약 0.0286%의 낮은 오탐지율을 보인다.

최근 소프트웨어의 주요 알고리즘 및 자료구조 등의 지적재산권을 역공학 분석과 같이 악의적인 공격들로부터 보호하기 위한 연구가 이루어지고 있다. 본 논문에서는 산업 현장에서 많이 사용되는 Visual C++ 또는 MFC로 작성된 프로그램의 소스 코드를 역공학 공격으로부터 보호하기 위한 Obfuscation 도구를 구현하고 그 성능을 평가한다. 구현된 도구는 3가지 Obfuscation 알고리즘을 적용하여 소스 코드를 생성하며 생성된 소스 코드들은 가독성이 떨어지고 역공학 분석이 어렵도록 변환되지만, 프로그램의 본래 기능은 그대로 유지하며 성능상의 변화가 크지 않음을 실험을 통해 확인할 수 있었다.

대리서명은 원서명자의 서명 권한을 대리 서명자에게 위임하여 원서명자의 행위에 대해 서명할 수 있게 한 서명 방식이다. 이것은 일상생활에서 도장을 다른 사람에게 위임하는 것을 전자적으로 구현한 것이라 할 수 있다. 본 논문에서는 자기가 자신에게 서명 권한을 위임하는 방법을 통해 임시로 사용 할 수 있는 서명 키 쌍을 만들어내는 방법을 제안한다. 이 방법을 통해 원 서명 쌍을 보호할 수 있으며 동시에 여러 쌍의 키들을 사용할 수 있으므로 작업들과 키 쌍들을 구분하여 관리할 수 있다. 또한 임시 서명 키 쌍의 폐기는 원 서명 키 쌍의 폐기보다 쉽기 때문에 제안하는 재귀 대리 서명은 실제적이라 할 수 있다.

환 서명(ring signatures)은 서명자가 자신을 포함한 환(ring)이라고 하는 그룹을 형성하여 서명을 생성하는 방식으로 검증자는 환 소속원 중에서 누가 서명했는지는 알 수가 없고, 서명이 환에 속한 소속원으로부터 왔다는 것만을 알 수 있다. 일반적인 환 서명은 서명자의 비밀키와 다른 환 소속원들의 공개키를 이용하여 서명을 생성하고, 환 소속원들 모두의 공개키를 이용하여 누구나 검증할 수 있다. 본 논문에서는 지정된 수신자만이 검증할 수 있도록 하는 환 서명(ring signatures with a designated receiver) 방식을 제안한다. 또한 환 서명이 기본적으로 서명자 익명성을 보장하기 위해 제안된 서명 방식이므로 그에 부합하는 요구 조건을 분석한다.

미래 U-city 시대의 Health care 산업과 금융상거래 보안 및 사회안전 인증 장치로써 활성화 방안인 생체 칩은 2004년 10월 미 식품의약국(FDA)의 승인으로 더 큰 힘을 얻었다. 산업 전반적인 부분에 응용 가능한 생체 칩은 RFID 기술을 핵심기술로 사용하고 있으며, U-city 시대의 혁신적인 기술인 반면 개인정보 침해 및 법제도적, 윤리적, 전자파 유해성 이라는 문제점을 안고있다. 이 모든 문제점은 RFID 자체적인 문제점으로 많이 언급되어져 왔지만 생체 칩은 인체에 직접 사용한다는 점에서 더 큰 의미를 둔다. 현재 기술의 도입 시점인 생체 칩의 규제는 미국을 중심으로 가이드라인을 진행 중 이며, 우리 나라에서도 우려의 목소리가 높다. 본 연구는 사회적 인식이 부족한 생체 칩 기술 도입 전 미리 정보 보호 측면에서의 문제점을 분석하고 개선방향을 검토해 보고자 한다.

DTV는 방송 서비스 운영에 가입자 개념을 추가하여 무료방송 외에 정당한 수신료를 지불하는 사람만이 프로그램을 시청할 수 있도록 하며, 그러한 수익을 이용하여 보다 양질의 서비스를 제공할 수 있게 되었다. 가입자간의 구분을 가능하게 해주기 위한 방법이 제한수신시스템(CAS: Conditional Access System)이다. IPTV는 웹 브라우저를 기반으로 동작하며, 방송 콘텐츠라는 기본 TV기능에서 벗어나 T-commerce, E-commerce 등의 다른 도메인으로 사용자의 요구에 따라 자유롭게 이동하며 사용자인증이 요구되기 때문에 기존의 제한수신시스템으로는 그 기능을 다 하기 힘들어졌다. Single-Sign-On은 사용자가 단한번의 인증을 통하여 추가적으로 인증할 필요가 있는 다른 서비스로의 자동적인 인증을 제공한다. 다수의 사용자가 다수의 서비스를 제공받기를 원하는 IPTV환경에서는 단순한 사용자 인증과 접근제어의 기능을 가진 제한수신시스템과 빈번한 사용자인증의 번거로움을 해결할 수 있는 편의성을 제공하는 SSO의 융합은 필연적이라 할 수 있다. 그러므로 Single-Sign-On은 사용자의 요구에 따라 이동하기 쉬운 IPTV 환경에 매우 적합하다. 이 논문에서는 제한수신시스템, SSO, IPTV에 대해 설명하고 제한수신시스템과 SSO의 기능을 통합하여 IPTV환경에 적합한 새로운 인증방안을 제안한다.

본 논문에서는 디지털콘텐츠 식별자 연계 표준인 UCI 정보를 이용하여 효율적인 디지털 콘텐츠의 관리가 가능한 무손실 비디오 워터마킹 기법을 이용하였다. 제안한 기법은 각 비디오 프레임의 히스토그램의 특정 구간의 화소값을 수정함으로써 워터마크를 삽입한다. 4CIF 크기의 테스트 시퀀스를 통한 실험결과 화질의 열화가 적으면서도 UCI 정보를 100% 왜곡없이 검출이 가능하였으며, 원본 디지털 비디오 콘텐츠도 모든 테스트 시퀀스에서 100% 복원이 가능하였다. 제안한 기법은 디지털 비디오에 UCI 정보를 직접 삽입하여 메타데이터가 없을 경우 콘텐츠만으로도 콘텐츠의 식별이 가능하고 콘텐츠로부터 추출한 UCI 정보를 통하여 효율적인 관리가 가능하면서 유사시 원본 콘텐츠를 손실없이 복원이 가능할 수 있어 영화, 방송 등의 다양한 비디오 콘텐츠의 관리를 위해 응용될 수 있다.

본 논문에서는 최근 많은 연구가 진행되고 있는 디지털 워터마크의 삽입 기법이 영상의 공간영역에서 효과적으로 이루어질 수 있는 방법을 제안한다. 제안하는 워터마킹 방법은 각 색상정보의 히스토그램을 구하여 영상에 가장 밀접한 관계를 가지는 색상별로 워터마크를 색상화소의 최하위 비트에 워터마크를 합성한다. 본 논문에서 제안하는 워터마킹은 공간영역의 합성방법에서 지적되었던 워터마크의 다양한 정보를 저장할 수 없던 문제점을 극복하였다. 또한 잡음이나 신호의 변화 에도 강인하면서도 속도는 주파수영역의 워터마킹에 비해 매우 빠르다. 본 논문에서는 주파수 영역과 공간영역에서의 합성방법과 비교하는 실험을 통해 다른 방법에 비해 높은 강인성과 주파수 영역의 연산에 비해 60% 정도의 연산속도를 가짐을 검증하여 분석하였다.

센서네트워크는 유비쿼터스 컴퓨팅 사회에서 핵심 기술로 부각되고 있다. 이러한 센서네트워크는 노드들이 노출되거나 데이터 전송 시 일반 네트워크보다 보안에 취약하므로 안전한 통신을 위하여 센서 노드간 키를 설정하는 것은 보안을 위한 기본적인 요구사항이 되고 있다. 본 논문에서는 배치된 센서네트워크에서 셋업서버의 오버헤드를 줄이기 위하여 네트워크를 클러스터링하고 각 셀 안에 클러스터 헤더와 노드들을 배치한 후 클러스터내의 노드사이의 안전한 통신을 하기위한 pairwise key를 설정하는 기법을 제안하였다.

무선 주파수 인식(RFID:Radio Frequency Identification) 시스템은 유비쿼터스 컴퓨팅 환경에서 중요한 기술로 주목 받고 있으나 RFID 시스템이 가지고 있는 특성으로 인하여 시스템의 보안과 프라이버시 침해가 대두되면서 이를 해결하기 위해 많은 프로토콜들이 제안되었다. 본 논문에서는 기존에 제안된 RFID 시스템 프라이버시 보호기법을 해쉬 함수 기반, 재 암호화 기반, XOR 기반으로 분류하여 비교 분석하였다. 향후 유비쿼터스 환경에 적합한 RFID 시스템에서 프라이버시 보호 기법에 관한 연구가 필요하다.

최근 보안에 대한 사회적인 관심이 높아지면서 RFID는 기존의 스마트카드와 바코드 시스템이 갖는 여러 기능적인 한계점들을 극복함으로써 향 후 이를 대체할 보안 신기술로서 인식되고 있다. 현재 사무실 출입의 보안을 위해 대표적으로 사용되고 있는 출입문 인증시스템은 일단 출입문을 통과한 사용자들에 대해서는 사무실 내부의 모든 요소들이 무방비 상태로 노출되어 보안상의 허점이 발생한다. 또한 사무실 내 개개의 PC에 단말기를 설치하여 사용하는 스마트카드 인증시스템 역시도 빈번한 자리 이동에 따른 카드 인증 절차의 번거로움으로 인해 근거리 이동시 PC를 잠그지 않는 경우가 빈번하게 발생함으로써 사용자 PC에 저장된 보안이 필요한 데이터들에 대한 침해 우려가 발생한다. 본 논문에서는 다중사용자 환경에서 각각의 사용자가 소지한 RFID 태그를 이용하여 기존 카드시스템과 같이 복잡한 인증절차가 필요 없고 빈번한 자리 이동이 발생하더라도 추가적인 인증작업이 없이 매번 자동으로 컴퓨터 시스템을 잠금 및 해제시킴으로써 인증과정에 따른 사용자의 부담을 줄일 수 있는 보안시스템을 제시한다. 또한 사용자가 출근과 동시에 매일 일상적으로 반복되는 사무실에서의 컴퓨터 작업에 대한 효율을 높이기 위한 사무 자동화 시스템을 구현한다.

본 논문에서는 유비쿼터스 환경에 산제되어 있는 다양한 센서와 이동단말, 서비스를 제공하는 서버등에 대해 통합적으로 보안관리를 수행하는 시스템을 제안함과 동시에 플러그인 형태로 무한한 확장성을 포함하여 통합 보안관리를 위한 정보 수집에서 분석, 정책 설정 및 관리, 위치정보 등의 다양한 기능을 제공한다. 또한 도메인 서버간에 협동을 통해 이동단말의 이동에 대한 다양한 보안관리 연구가 가능하도록 하며, 통합 보안관리 도구를 통해 이질적인 환경에서 일괄적으로 관리를 수행하고 모니터링하며 시각화를 통해 보안관리 효율을 높일 수 있는 환경을 제안한다.

인터넷 보급에 따라 웜에 의한 피해가 꾸준히 이어지고 있다. 인터넷 웜을 방어하기 위해서는 웜에 대한 연구가 이루어 져야하는데 웜을 연구하기 위해 대규모 네트워크를 구성하여 연구하기에는 어려움이 따르게 된다. 그래서 실제 네트워크를 구성하는 대신 시뮬레이션을 이용한 연구가 이루어지게 되었는데 시뮬레이션이라 할지라도 대규모 네트워크를 시뮬레이션 하는 것은 여러 문제점이 존재하게 된다. 그래서 본 논문에서는 대규모 네트워크를 시뮬레이션 하기위해 네트워크 모델링 시뮬레이션 방법을 기본으로 한 패킷 네트워크를 이용한 네트워크 모델링 시뮬레이션 방법에 대해 제안을 하였다. 이 방법을 기존의 대규모 네트워크 시뮬레이션의 문제를 패킷 네트워크와 모델링 네트워크가 서로 보완을 하여 해결하도록 구성되어 있다. 그리고 제안한 방법을 이용하여 웜의 전파를 실험한 시뮬레이션을 수행해 보았다.

인터넷 네트워크에 존재하는 방화벽(Firewall) 또는 라우터(Router) 장비에서의 패킷 필터 기능은 모든 방화벽 장비의 기본적인 기능이 될 수 있다. 하지만 최근에 등장한 세션기반의 악의적 침입과 바이러스의 출현으로 패킷 필터기는 단순한 정적 패킷 필터 기능이 아닌 상태기반 패킷 필터의 동적 패킷 필터 기능을 요구하게 되었다. 또한 최근에 인터넷 속도가 급증하는 환경변화에 맞추어 방화벽 장비의 TCP 패킷 처리기능은 매우 빠른 처리속도를 요구하고 있다. 이에 우리는 매우 빠른 고속의 TCP 상태기반 패킷 필터 처리를 요구하는 에지(Edge)급 라우터의 방화벽 옵션카드를 만들기 위해 하드웨어 기반의 TCAM(Ternary CAM) 관리를 이용한 TCP 세션 상태기반 (Stateful) 패킷 필터기를 구현하였으며, TCAM 제어와 패킷의 상태기반 검사 등 모든 기능처리는 FPGA(Field Programmable Gate Array)를 이용한 하드웨어 로직(Logic) 및 상태기(State Machine)로 구현하였다. 그리고 본 논문의 구현방식을 적용한 방화벽 옵션카드는 인-라인(In-line) 모드로 구성될 경우 1GHz 이상의 Wire Speed를 만족하는 처리성능을 보여주었다.

네트워크 환경의 발달과 더불어 DDoS 공격이나 웜 공격이 증대되고 있다. 다양한 공격의 증가뿐만 아니라 최근에는 공격이 발생하면 급속히 피해가 확산된다. 피해 속도가 빨라지는 이유 중의 하나는 피해 시스템이 공격자가 되기 때문이다. 그러나 만약 피해 시스템이 또 다른 공격 시스템이 되는 것을 차단할 수 있다면, 공격이 확산되는 속도를 늦출 수 있다. 본 논문에서는 감염된 시스템이 비정상적으로 많은 트래픽을 발생시키는 것을 탐지하기 위하여 특정 주소를 갖는 시스템으로 일정 기간 동안 들어오고 나간 인바운드 패킷과 아웃바운드 패킷의 양을 비율로 나타내어 트래픽 흐름을 분석한다. 그리고 B-클래스 네트워크에서 추출한 트래픽 샘플데이터를 이용하여 트래픽 흐름을 분석하여 감염된 시스템을 탐지할 수 있음을 보인다.

단말의 휴대화가 진행되고 있는 최근에서는 무선 네트워크에 대한 관심이 보다 높아지고 있다. 이러한 요구에 맞추어 기존 인프라의 도움 없이 네트워크의 구성요소들로만 네트워크를 구성하는 애드혹 네트워크 기술이 생겨났다. 하지만 애드혹 네트워크 기술이 발전함에 따라 그에 대한 공격 방법들도 날로 발발전하고 있으며, 대표적인 공격 방법 중 하나가 웜홀을 이용한 잘못된 경로의 설정이다. 공격노드는 웜홀 공격을 이용하여 다른 정상노드들의 라우팅 경로에 자신을 포함시킬 수 있고 이를 통해 패킷의 분석 및 정보의 탈취가 가능하다. 본 논문에서는 애드혹 네트워크에서의 웜홀 공격의 탐지를 위해 경로 설정시의 이웃노드들의 정보를 이용하는 방안을 제시하고 있다.

보안의 중요성이 높아짐에 따라 대응책 또한 관심이 높아지고 있다. 침입탐지와 침입방지 기법들이 나와 있지만 완벽한 보안체계 구축은 거의 불가능 하다고 알려져 있다. 침입복구 기법은 침입을 가정하고 침입당한 시스템의 파일들을 침입 이전의 상태로 돌려 시스템의 안정성 확보에 도움을 주는 방법이다. 본 논문에서는 관리자에 의해서 지정된 중요 파일의 변경내용을 주기적으로 저장(Archive)하여 복구(Recovery)할 수 있는 기법을 제안한다.

기존의 상황 인식 서비스 인프라에서는 리소스에 대한 접근 권한을 사용자의 기본 인증으로만 접근을 허용하였다. 그러나 주변 상황 정보가 빈번하게 바뀌는 유비쿼터스 환경에서는 사용자의 권한이 주변 상황에 따라 달라질 수가 있다. 본 논문에서는 사용자의 상황 정보가 변경되는 경우에 따라 리소스에 대한 접근을 제어하고자 한다. 접근 제어 기법으로는 기존의 CASA에서의 상황 정보에 적용되는 요소인 사용자의 주위 환경 정보에 몇몇 상황 정보를 더 추가하여 리소스에 대한 접근을 사용자의 주변 환경 정보에 따라 제어하고자 한다. 기존의 CASA에서의 상황 정보에 서비스를 받고 있는 장소의 주위 환경 정보를 추가하였고, 권한을 가진 사용자에게도 여러 상황 정보에 따라 리소스 접근을 통제한다.

의료영상은 디지털이라는 속성으로 인해서 일상생활에 적용되는 저작권법으로 저작권을 보호한다는 것이 어렵다. 특히 의료 영상은 복사를 하면 또 하나의 원본이 생성되므로, 의료 영상 이미지를 생산해 내는 사람의 입장에서는 똑같은 원본을 자신도 모르는 사이에 다른 사람에게 전달하게 된다. 그렇게 되면 과연 누가 이 디지털 작품을 만들었는지에 대한 의료 분쟁이 생길 수밖에 없다. 디지털시대의 의료 환경에서 필수 불가결하게 제기될 수 있는 의료영상보안은 특히 우리나라처럼 의료보험의 부당 청구가 사회적인 큰 물의를 일으키고 있는 시점에서 많은 관심과 연구가 필요하다. 따라서 이 분야의 핵심적인 문제점을 도출하고, 문제점 개선을 위해서 워터 마크를 통해 영상 보안 기법을 제안하였다. 그러나 의료영상의 대표적인 특징인 무결성을 보장 받지 못해 법적인 인증에는 한계가 있음을 알 수 있었다.

본 논문에서는 인터넷뱅킹의 클라이언트 측에서 마우스로 비밀번호를 입력하는 새로운 기술을 제안한다. 제안하는 기술은 웹 페이지의 입력 창에 있는 내용을 가로채기하는 것과 PKI 암호 모듈로 위장한 모듈이 사용자 정보를 가로채기하는 것으로부터 안전하도록 구현되었으며, 기술 자체는 키 스트로크와 훔쳐보기로부터 안전한 특징을 갖는다. 제안하는 기술은 현재 인터넷뱅킹에 탑재 가능한 상용 제품 수준으로까지 구현된 상태이다.

오늘날 사람들은 점차 인터넷 사용에 익숙해져 가고 있으며, 소비자들로 하여금 공유와 참여를 적극적으로 유도하는 웹 2.0 시대가 본격화 되면서, 사이트에 묶여있던 컨텐츠를 브라우저상에서 마음대로 변형시킬 수 있는 그리스몽키가 등장하였다. 사용자들은 그리스몽키의 유저스크립트를 통해, 보기 싫은 광고를 제거하거나 보고자 하는 대로 변형시킴으로써 광고를 기반으로 사이트를 운영하는 기업이나, 사이트 운영자들은 사용자들에게 꼭 전달해야 하는 광고를 전달하지 못하는 경우가 발생하여 사이트를 운영 하는데 큰 손실을 줄 수가 있기 때문에, 광고제거 방지를 위한 연구가 필요하다. 본 논문에서는 이러한 그리스몽키의 광고제거 방지방법에 관하여 제안한다.

한 해에도 수많은 해킹 사고가 발생하고 있고, 이 중에서 웹 해킹이 차지하는 비율은 급격하게 증가하고 있다. 또한 최근의 해킹 동향을 분석해 보았을 때 웹 해킹의 비율은 더욱 증가할 것이라고 예상된다. HTTP 프로토콜을 이용한 공격의 특성 상 정상행위와 비정상 행위의 구분이 어렵다. 따라서 웹 서비스에 특화된 침입탐지 시스템이 요구된다. 또한 웹 사이트 관리자는 빠른 탐지와 대응을 위해 이상 행위에 대한 신속하고 정확한 인식을 필요로 한다. 본 논문에서는 이러한 필요성을 기반으로 Location-based Visualization Tool을 제안한다. 웹 사용 현황 및 이상행위에 대해 시각적인 정보를 제공하기 위해 웹 서버의 access log를 분석하여 이상 행위를 탐지하였고, IP정보를 기반으로 지역 정보의 시각화를 구현하였다.

AJAX(Asynchronous Javascript and XML) 이란 기존에 존재하는 기술들의 조합으로 이루어진 새로운 웹 플랫폼 기반 어플리케이션 개발 기술이다. 데스크탑 어플리케이션과 같은 기능을 웹에서 실행 가능하게 하는 가능성을 가지고 있는 기술로, 앞으로의 웹 어플리케이션의 방향성을 제시하고 있다. 본 논문에서는 Ajax에 사용되어지는 기술들을 소개하고, Ajax의 특징 및 사용 예를 살펴보고, Ajax에서의 보안문제에 대해서 소개한다.

본 논문에서는 Pipeline 기법을 이용한 고속 암호 프로세서의 설계 및 구현에 관하여 기술한다. 암호화를 위한 알고리듬은 DES 와 SEED를 사용하고 인증을 위한 알고리듬은 HMAC-SHA-1을 이용한다. 제안된 암호 프로세서는 VHDL을 사용하여 구조적 모델링을 행하였으며, Xilinx사의 ISE 6.2i 툴을 이용하여 논리 합성을 수행하였다. 설계 검증을 위해 Modelsim을 이용하여 타이밍 시뮬레이션을 수행하여, 설계된 시스템이 정확히 동작함을 확인하였다.

기존의 무선 네트워크에 비해 빠르고 저렴하며 설치가 편리한 무선 메쉬 네트워크를 인터넷망 구성에 도입하려고 하는 것이 최근의 경향이다. 무선 메쉬 네트워크는 이종망간의 네트워크를 통합함으로 수많은 클라이언트들을 통제해야하며 기존의 IPv4 주소는 10년 내에 고갈이 됨으로, IPv6 주소 환경에 적합하게 연구 개발하여야 한다. 그러나 아직 무선 메쉬 네트워크는 개발 중인 기술로써 보완해야할 보안상의 문제점들이 발견되고 있다. 본 논문에서는 무선 메쉬 네트워크에 MIPv6를 어떻게 도입할지를 언급하고 MIPv6 도입 시에 발생하게 되는 보안상의 문제점을 SEND(SEcure Neighbor Discovery)와 MCGAs를 이용하여 해결하는 방법을 소개한다.