한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference) (Proceedings of the Korean Information Science Society Conference)
한국정보과학회 (Korean Institute of Information Scientists and Engineers)
- 반년간
- /
- 1598-5164(pISSN)
과학기술표준분류
- 정보/통신 > 정보이론
- 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (D)
- 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (C)
- 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (B)
- 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (A)
- 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (D)
- 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (C)
- 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
- 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (A)
- 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (D)
- 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
- 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (B)
- 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (A)
- 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (D)
- 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
- 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (B)
- 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
-
현재 UDDI이에 등록되어 있는 웹 서비스에 대한 검색은 키워드 검색을 기반으로 하고 있다. 그러나 독립된 웹 서비스의 상호 관련성을 통한 서비스의 조합에 대한 요구가 늘어남에 따라 기존의 키워드 기반의 검색으로는 이를 만족 시킬 수 없다. 본 논문에서는 WSDL과 UDDI의 비즈니스 정보에 대한 레이블링과 역파일을 생성하고 이에 따른 가중치 벡터를 생성하여 질의 벡터와 비교 연산을 항으로써 사용자가 조합하고자 하는 웹 서비스와 등록된 웹 서비스 사이의 유사성을 통한 검색 기법을 설명한다.
-
최근들어 웹 서비스의 수가 증가하면서 필요한 서비스를 정확하게 탐색하는 것이 중요한 이슈가 되고 있다. 이를 위해 온톨로지에 기반한 시맨틱 웹 서비스 탐색에 관한 연구들이 진행되었다. 그러나 기존 연구는 제한된 개념 해석 방식을 사용하고, 명확한 개념 기술 방법을 제공하지 않기 때문에 매칭 오류가 발생 할 수 있다. 본 논문에서는 이러한 문제를 해결하기 위해 통합 개념 모델과 이를 적용한 웹 서비스 탐색 방법을 제안한다. 제안된 통합 개념 모델은 개념 타입, 클래스, 프로퍼티를 이용한 유연하고 명확한 개념 기술 방벌을 제공한다. 제안된 탐색 방법은 통합 개념 모델에 기반하여 서비스와 사용자 요구사항을 기술하고 매칭을 수행한다. 또한 복합 매칭을 지원하여 보다 정교한 서비스 탐색이 가능하다. 다양한 형태의 사용자 요구사항에 대해 실험한 결과, 제안된 방법은 기존 연구보다 더 높은 정확률과 재현율을 보였다.
-
본 논문은 워크플로우 분할에 기반하여 복합 웹 서비스를 빠르게 선택하는 방법을 제안한다. 제안된 방법은 QoS 요구사항의 제약정도 계산, 워크플로우 분할, QoS 요구사항 분해, 그리고 서비스 선택의 네 단계로 구성된다. 특히 QoS 요구사항의 분해과정이 휴리스틱에 기반하기 때문에 워크플로우 분할 시 QoS 요구사항을 만족하는 서비스를 찾지 못할 가능성이 있다. 제안된 방법은 분할에 따른 서비스 선택 실패를 줄이기 위해 주어진 QoS 요구사항의 제약정도를 계산하여 워크플로우의 분할 여부를 판단한다. 실험 결과 제안된 방법은 분할 속도, 성공률, 품질 면에서 우수한 성능을 보였다.
-
본 논문에서는 그리드 기술과 웹 서비스 기술을 이용하여 원격지에 위치한 고가의 대형 실험장비와 데이터 공유를 위한 통합데이터베이스 시스템을 제안한다. 제안된 통합데이터베이스 시스템은 오픈 분산 컴퓨팅 환경을 통해서 지리적으로 분산되어있는 전체 실험시설들의 실험장비와 데이터베이스를 총괄 관리한다. 또한 인증과 권한 기능을 도입하여, 인증 받은 실험자에게만 권한 별로 차등하여 실험장비 이음과 데이터베이스의 접근을 제공하며, 공유된 실험결과데이터에 대해서 효율적인 검색과 데이터의 다운로드, 실험결과 그래프를 제공한다. 국내 6개의 건축대형장비를 연결하는 통합시스템의 프로토 타입의 개발을 통해 가상 대형장비실험의 효용성을 확인하였다.
-
현재 웹서비스는 전 세계적으로 광범위하게 사용되어지고 있다. 그러나 인터넷 이용의 급격한 증가로 웹서비스 서버와 네트워크의 부하가 급격히 증가하였으며, 사용자들이 요청한 웹서비스의 응답 지연시간이 점차 증가하게 되었다. 웹서비스는 그 기능과 의미에 따라 웹서비스 객체의 생명 주기가 다르다. 이 때 일정 기간의 생명 주기를 가지는 객체를 클라이언트에서 캐싱을 하여 성능을 증진시킬 수 있을 것이다. 본 논문에서는 웹서비스 메시지 캐싱을 통한 성능향상을 위하여 웹서비스 메시지 캐시를 설계하고 구현하였으며, 실험평가를 통해 캐싱 되었을 경우와, 캐싱 되지 않았을 경우에 대해 성능을 평가한다.
-
유비쿼터스 컴퓨팅 환경에서는 상황을 인식하여 이에 적절한 서비스를 제공하는 상황 인식 어플리케이션이 요구된다. 그러나 상황 인식 서비스의 개발은 이질적인 유비쿼터스 환경의 특성에 기인하여 적절한 인프라의 지원 없이는 매우 복잡하고 시간이 많이 소요되는 작업이다. 본 논문에서는 이질적인 환경 하에서 상황 인식 어플리케이션을 개발할 수 있도록 하기 위해 OSGi 플랫폼과 시맨틱 웹 기술을 기반으로 한 상황 인식 서비스아키텍처를 제안하고 구현한다.
-
본 논문에서는 상황 정보를 이용하여 사용자에게 필요한 정보를 효율적으로 제공하는 개방형 아키텍처 하에서의 상황 인식 추천 서비스를 설계한다. 상황 인식 서비스에서는 다양한 기기에 대해 서비스를 제공해야 하기 때문에 개방형 아키텍처가 필요하다. 본 논문에서는 이질적인 장치에서 공통적인 서비스를 제공하기 위해 OSGi 프레임워크를 이용하였고, 웹서비스를 이용하여 플랫폼과 어플리케이션에 독립적인 통신 환경을 제공한다. 그리고 상황에 따라 관심도를 측정하여 효율적으로 정보를 제공한다. 이러한 설계를 통해 유비쿼터스의 이질적인 환경에서 사용자에게 필요한 적절한 정보를 적시적지에 받을 수 있도록 하였다.
-
다양한 분야에서 XML이 정보 교환의 표준으로 사용됨에 따라 XML 문서 검색을 위한 XML 스키마 통합의 중요성이 증대되고 있다. 본 논문에서는 스키마의 의미를 보다 정확하게 반영한 스키마 통합 방법을 제안한다. 제안된 방법은 공통 구조 추출, 스키마 통합, 그리고 최적화의 세 단계로 이루어진다.
-
XPath 명세는 XML 원소 내용을 필터링하기 위한 질의어 작성이 어렵다. 본 논문은 이러한 문제점을 해결하기 위해 SQL의 LIKE 연산자에서 사용되던 특별한 매칭 문자 '%' 를 허용한 확장된 XPath 명세와 그것을 표준 질의어로 사용하는 문서-중심적 XML 필터링 기법인 Pfilter를 제안한다. Pfilter는 값-기반 술어(value-based predicate)에서 피연산자의 공통 앞부분 문자를 공유하여 값-기반 술어의 처리 성능을 향상시킨다. 또한 본 논문은 Pfilter와 대표적인 데이터-중심적 XML 필터링 기법인 Yfilter를 값-기반 술어 처리의 확장성과 효율성에 대해 비교하고 Pfilter의 값-기반 술어 삽입, 삭제, 처리 결과를 제공한다.
-
XML 문서의 유사성을 비교하는 연구는 XML 문서의 저장 및 검색에 유용하기 때문에 많은 연구가 진행되었다. XML 문서의 유사성 연구는 크게 edit-distance를 이용하는 방법, 문서의 그래프 모델을 이용하는 방법, 문서의 매트릭스 모델을 이용하는 방법 등이 있다. 최근에는 문서를 encoding 하고 푸리에 변환을 이용하는 방법이 보고되었다. 본 논문에서는 XML 문서를 함수로 변환하고 FFT를 적용하여 문서의 구조적 유사성을 비교하는 새로운 방법을 제안한다. 제안하는 방법은 JAXP로 구현하였으며 XML 문서의 구조를 분석하여 함수로 변환하였다. 그리고 함수에 FFT를 적용하여 XML 문서의 구조적 유사성을 비교하였다. FFT 비교 결과는 XML 문서의 함수 변환이 적합한 것임을 보여주었으며 비교 결과는 예상된 결과를 보여주었다.
-
위치기반서비스나 텔레매틱스 등의 공간 정보에 기반을 둔 시설물 분야나 재해 분야에서 3차원 공간정보에 대한 사용이 광범위해지고, 3차원 공간 정보 생성, 구축 및 활용에 대한 연구는 더욱 더 활발히 진행되고 있다. 특히 세밀도(Level of detail-LOD)는 대용량의 3차원 공간 정보를 표현, 저장하기 위한 주요한 방법론으로 그에 관한 연구가 많이 진행되고 있는 실정이다. 본 논문에서는 서버/클라이언트 환경에서 대용량의 3차원 공간 데이터를 효율적으로 전송하기 위한 두 가지의 세일도 모델을 제안한다. 그리고 두 세밀도 모델들의 데이터전송에 대한 효율성을 비교해 보았다.
-
본 논문은 다양한 위치 획득 시스템에 따라 다른 형식을 가지는 위치 데이터와 이에 따른 표준의 차이를 해결하기 위해 DMLI(Description Model for Location Information)을 제안한다. DMLI는 다른 형식으로 표현된 위치 데이터에 대한 메타데이터를 재정의 하지 않고, 모두의 의미를 포괄하는 메타데이터로 재분류하는 분류체계 모델이다. DMLI는 시설물(Facility), 장소(Place), 서비스(Service) 요소들로 구성된다. 시설물은 공간을 정의하는 최상위 요소로 공간 사용목적과 용도 및 기능에 따른다. 장소는 시설물을 구성하는 최하위 요소다. 서비스는 장소에서 제공 가능한 서비스를 말한다. 또한 위치관련 메타데이터 요소간의 정보를 정의한 사전을 이용하여 기존의 위치 데이터에 대한 메타데이터 요소를 DMLI에서 제안한 메타데이터 요소로 변환이 가능하다. 사전을 이용함으로서 또 다른 형식의 위치 데이터가 입력되어도 DMLI 형식으로의 변환이 용의하다. DMLI 형식으로 재분류된 위치관련 메타데이터들은 공간 사용 목적과 제공 가능한 서비스를 명확히 표현한다. 또한 위치관련 검색, 통계 등의 서비스를 제공하는 어플리케이션을 통하여 다양하게 응용되어 사용된다.
-
본 논문에서는 방학 중 효과적인 학습 방법을 분석하기 위해 의사결정트리를 사용한 접근법을 제안한다. 이를 위해, 우선 학업성취도에 영향을 미치는 방학 중의 학습방법에 대한 다양한 요소를 도출한다. 다음으로, 의사결정트리를 사용하기 위한 데이터 변환 및 분석 방법을 제안한다. 마지막으로, 설문조사를 통해 수집한 현실의 구체적 데이터에서 의사결정트리를 생성한다. 중학교 학생들에 대한 설문조사를 분석한 결과, 세 가지 의미 있는 결과를 도출하였다. 첫째, 인터넷 학습사이트 이용은 성적 하락에 영향을 미치는 것으로 나타났다. 둘째, 성적 변화에 큰 영향을 미칠 것으로 예상했던 과외는 실제로 큰 영향을 미치지 못하는 것으로 나타났다. 셋째, 다양한 학습방법의 병행은 오히려 성적 하락의 요인이 되는 것으로 파악되었다. 본 논문에서 제시한 분석 방법 및 결과는 학생들의 방학 중 생활 지도나 학습 계획 수립에 많은 도움이 될 수 있다고 사료된다.
-
스트림 데이터에 내재된 정보들은 시간이 흐름에 따라 변화의 가능성이 매우 높기 때문에 이러한 변화를 신속하게 업데이트할 수 있다면 유용한 정보를 제공할 수 있을 것이다. 그러나 스트림 데이터의 모든 연관규칙을 업데이트하는 것은 수행하는데 많은 부담이 있으므로 이 논문에서는 지지도의 변화가 큰 흥미있는(interesting)데이터에 대해서 효율적으로 업데이트 하는 방법을 제시하고자 한다.
-
최근에 데이터의 양이 방대하게 늘어남에 따라 이러한 데이터의 처리를 위한 여러 연구들이 진행되어지고 있다. 이 중에 데이터들 간의 군집 관계를 파악하기 위하여 사용되는 클러스터링에 관한 연구가 많이 수행되었는데, 이중 BIRCH는 대용량의 데이터를 처리하는데 있어서 적합한 모델로 제시되고 있다. 하지만 BIRCH는 데이터 스트림 환경에서 클러스터링은 효과적이지 못한 단점을 가지고 있다. 본 논문은 데이터 스트림 환경에서 과거의 임의 시간구간에 대한 클러스터링을 수행하는 방법을 제안한다. 이를 위하여 CF-트리를 일정 시간 마다 생성 및 저장하고 이를 이용하여 사용자가 원하는 시간 구간에 대해 동안의 클러스터링을 수행한다. 본 논문에서는 임의 시간구간에 대한 효율적인 클러스터링을 위해 기존의 CF-트리 노드 구조에 추가 데이터를 사용하는
$CF^{\delta}$ -트리를 제안한다. 그리고${\delta}$ 에 대한 연구를 통해, 근사적 접근법을 제안하였다. -
This paper addresses the problem of monitoring continuous k-nearest neighbor (k-NN) queries. Given a set of moving (or static) objects and a set of moving (or static) query points, monitoring continuous k-NN query retrieves and updates the closest k objects to a query point continually. In order to support location based services (LBSs) in highly dynamic environments, where objects and/or queries are frequently moving, monitoring continuous queries require real-time updated results when objects and/or queries change their locations. Thus, it is important to minimize time delay for maintaining up to date the results. In this paper, we present monitoring method to shorten time delay for updating continuous k-NN queries based on the notion of result region and the minimum bounding rectangle enclosing all objects in each cell, referred to as c-MBR, in the grid index structure. Simulations are conducted to show the efficiency of the proposed method.
-
센서태그(Sensor Tag)는 기존의 RFID 태그의 특징을 그대로 유지하면서 사물의 온도 습도와 같은 정보를 추가로 획득하여 냉장 제품 등의 관리에 유용하게 사용 할 수 있는 태그이다. 이러한 센서태그에 의해 획득된 정보, 즉 센싱 데이터는 리더의 인식 영역 안에서만 획득할 수 있으며 센싱 데이터가 변화할 때마다 보고하거나 또는 주기적으로 보고를 하는 특징이 있다. 기존의 RFID 환경에서는 센싱 데이터를 단순히 속성 정보로 관리하므로 영역질의 등 센서태그 객체에 대한 질의를 처리하기 위해서 많은 연산이 필요하며 복합 질의 시 시스템 성능이 급격하게 저하된다. 본 논문에서는 센서태그 객체의 특성을 고려한 통합 데이터 모델을 제시하고 질의를 효율적으로 처리하기 위한 색인 기법을 제안한다. 그리고 동일 리더 인식영역 내의 센싱 데이터가 특정 값으로 집중되는 특성을 고려하여 데이터 삽입 시 강제 합병 기법을 이용하여 노드의 중첩으로 인해 검색 성능을 떨어뜨리는 문제를 해결한다.
-
RFID를 이용하는 물류 시스템에서 태그 객체의 위치 추적을 위해서는 태그 객체의 궤적을 모델링하고 효율적으로 검색하기 위한 색인 구성이 필수적이다. 태그 객체의 궤적은 리더의 인식 영역에 들어오고 나가는 두 점을 연결한 시공간 선분으로 표현할 수 있다. 그러나 태그 객체가 리더의 인식영역 밖으로 벗어나게 되면 태그 객체의 궤적을 표현 할 수 없으므로 위치 추적이 불가능하게 되는 문제를 가진다. 이러한 문제를 해결하기 위하여 리더의 비 인식 영역에서 GPS를 이용한 태그 객체의 위치 추적을 병행할 필요가 있다. 본 논문에서는 RFID 시스템과 LBS 시스템을 연동한 환경에서 태그 궤적을 표현하기 위한 위치 추적 시스템의 모델을 제시하고. 제시된 모델에서 태그 객체의 위치 추적을 효율적으로 처리하기 위한 색인 구조를 제안한다. 제안된 색인 구조는 태그 객체의 현재 위치뿐만 아니라 과거 궤적을 효율적으로 처리하기 위한 새로운 삽입 및 분할 알고리즘을 제안하여 노드가 차지하는 영역을 최소화한다.
-
최근 XML 문서가 인터넷 기반의 애플리케이션 간의 자료 저장 및 교환을 위한 표준으로써 부상함에 따라 XML 문서의 저장 및 관리에 대한 연구가 활발히 이루어지고 있다. 하지만 XML 문서의 검색에 관련된 많은 연구들이 모든 XML 엘리먼트 경로에 대한 색인화로 인해 인덱스의 크기가 커지고 이에 비례하여 검색성능이 뜯어지는 문제를 보이고 있다. 본 논문에서는 이를 개선하기 위해 엘리먼트 타일을 기반으로 전통적인 역색인 방법을 XML 문서에 맞게 확장하고, RDBMS에 기반하여 계층구조를 갖는 XML 문서들의 자료를 구조적 넘버링(Numbering) 방법의 인덱스로 설계 하였다. 인덱스 테이블들은 엘리먼트 타입의 정보를 담고 있는 엘리먼트 타입 테이블, XML문서의 경로를 가지고 있는 경로 테이블, 역색인으로 구성된 Term테이블. Term 경로를 나타내는 Term경로 테이블을 생성한다. 이전의 XML 인덱싱 기법에 관련된 연구들에서 보이는 XML 문서상의 모든 경로에 대한 표현을 간소화 시키고, 이를 통해 보다 좋은 검색 성능을 보이고자 하였다.
-
근래에 XML 문서가 인터넷에서 정보 교환의 방법으로 표준화됨에 따라, 많은 양의 데이터가 XML 문서 포맷으로 저장되고 있다. XML 문서의 유사성 연구는 크게 edit-distance를 이용하는 방법, 문서의 그래프 모델을 이용하는 방법, 문서의 매트릭스 모델을 이용하는 방법 등이 있다. 최근에는 문서를 encoding 하고 푸리에 변환을 이용하는 방법이 보고되었다. 본 논문에서는 XML 문서를 함수로 변환하여 모델링하여 문서의 구조적 유사성을 비교하는 방법을 제안한다. 제안된 방법을 사용하여 XML 문서를 함수로 모델링하였으며 XML 문서 간의 유사성을 비교해 보았다.
-
휴대용 기기들의 데이터 저장소로 플래시 메모리가 많이 사용되고 있으며 플래시 메모리가 대용량화 되어감에 따라 점차 디스크를 대체할 것이라 예상된다. 따라서 데이터베이스 시스템 역시 저장 매체로 플래시 메모리의 사용이 증가할 것으로 예상되며 이에 따른 효율적인 인덱스가 필요하다. 플래시 메모리 기반의 효율적인 인덱스 구축을 위하여 B+ 트리의 페이지 크기에 따른 성능 평가가 필요하다. 본 논문에서는 B+ 트리와 버퍼 관리자를 구현하고, 플래시 변환 계층의 대표적인 4 가지 알고리즘에 대해 B+ 트리의 페이지 크기에 따른 성능을 비교, 분석하여 플래시 메모리 기반의 인덱스를 구축하기 위한 방향을 제시한다.
-
웹 서비스(Web Services)는 WSDL로 정의되는 인터페이스와 XML 스키마로 정의되는 메지를 이용하여 시스템 통합 및 분산 컴퓨팅이 가능하도록 하는 기술이다. 서비스 간 조합을 수행하기 위해서는 각기 다른 입출력을 가지는 웹 서비스 간에 메시지 변환을 위한 과정이 절대적으로 요구된다. 본 논문에서는 이러한 다대다 스키마 문서 간 매핑, 다대다 노드 간 매핑을 지원하고, 노드 간 타입 이질성을 해결할 수 있는 함수를 제공하며, 노드정보를 이용해 매핑 적합성 및 빈도의 적합성을 검사하여 XSLT를 스타일 시트를 생성하는 XML 스키마 매퍼,XTrans를 개발하였다.
-
기술의 발달로 CPU의 속도는 메모리의 속도에 비해 급속한 속도로 발전하였다. 그 결과 데이터베이스 시스템을 포함한 다른 컴퓨터 응용분야에서 메모리의 접근속도가 병목현상을 일으키게 되었다. 그래서 메모리의 접근 속도를 줄이기 위해 캐시 메모리가 도입되었고, 이를 활용하여 CPU 캐시를 효율적으로 활용하기 위한 많은 연구들이 있었고, 그 중 하나가 CST(Cache Sensitive T-tree)이다. 이 인덱스 구조는 점 검색(Point search)에서는 좋은 성능을 보이지만 범위 검색(range search)에서는 그렇지 못하다. 본 논문에서는 범위 검색(range search)을 위한 CST-tree에 대한 구축 기법을 제안한다.
-
데이터 웨어하우스는 방대한 이력 데이터들을 저장하는 저장소이며, 이를 다양한 관점에서 분석하기 위해 OLAP (On-Line Analytical Processing) 연산을 이용한다. 일반적으로 이러한 저장소는 데이터를 저장할 때 많은 열(columns) 을 기반으로 저장하는 와이드(wide) 형태의 테이블로 저장하게 된다. 하지만, 관계형 DBMS에서는 열 수의 제약(MS SQLServer, Oracle 등 열의 수는 1024개임)을 받게 되므로, 그 이상의 열들을 저장할 수 없다. 하지만, 열 기반(이하, 수평 테이블)으로 저장하는 것보다는 관계형 DBMS의 특징을 이용하여 행(row) 기반(이하, 수직 테이블)으로 저장하게 되면 많은 데이터를 효율적으로 저장할 수 있다. 이때, 저장 테이블의 스키마 구조가 변경되므로, 수평 테이블에 대한 질의도 저장된 수직 테이블에 적용 가능하도록 변화시켜야 한다. 또한, 사용자에게 빠른 질의 응답을 제공하기 위해 질의 최적화를 고려하여 실행전락을 세워야 한다. 따라서 본 연구에서는 경험(heuristic)을 근거로 각 연산(프로젝션, 실렉션, 조인 연산)을 위한 질의 트리를 생성하여 질의 최적화에 대한 여러 질의 경로를 고려하고, 다양한 실험을 통해 질의 최적화에 대한 접근 경로들을 분석한다. 이로써, 본 연구의 질의 경로 분석을 기반으로 최적화 실행 계획을 기대해 본다.
-
휴대기기의 보편화와 멀티미디어 기술 발달로 인해 MP3 파일 및 동영상 파일, 그리고 다른 여러 가지 파일들이 휴대기기에 저장 및 관리되고, 이러한 장비의 수가 증가함에 따라 개인의 정보 및 데이터는 여러 장치로 분산되었다. 본 논문에서는 최근 보편화되는 휴대기기와 서버간의 데이터 동기화 표준인 SyncML(Synchronization Markup Language)을 소개하고, SyncML에서 정의 되지 않은 파일전송 및 파일동기화 기술을 설계 및 구현한다. 본 논문에서 제안하는 기술은 멀티미디어 기술의 발달로 일반화가 되고 있는 멀티미디어 데이터의 공유에 크게 기여할 것이다.
-
이 논문에서는 교육용 저장소 관리 시스템의 자원들을 위한 분류체계를 제안한다. 생성되는 자원들에 대한 체계적인 저장관리, 정확한 검색 및 활용을 위해서는 적절한 분류체계가 우선적으로 요구된다. 여러 가지 자원들에 대한 효율적이고 편리한 활용을 위하여 자원들의 관점에 따른 다양한 뷰를 제공해야 하고 뷰가 생성과 소멸에 따라 분류체계도 일관성 있게 유지 및 변경되어야 한다. 이 논문에서는 교육 자원들 중에서 학습활동에서 생성되는 구현자원들에 대한 체계적인 관리 및 활용성 향상을 위한 분류체계를 제안한다. 관련된 과학기술분야 분류체계들을 바탕으로 구현자원들에 적합한 분류체계를 정의하며 동적 분류체계 관리 방법을 제안한다. 제안된 분류체계 및 관리 모델은 보다 정확하고 체계적인 구현자원에 대한 관리를 가능하게 하며 또한 활용의 용이성을 향상시킨다.
-
최근 이질 분산형태를 갖는 정보를 통합하는 방법으로서 웹 서비스 기술을 이용한 바이오 정보 시스템이 개발 구축되고 있다. 이러한 웹 서비스 기반 바이오 정보 시스템으로 Bio-MOBY. DDBJ, MyGrid Project 등을 들 수 있다. 그러나 이들 기존 시스템에서는 선택한 DB에 대한 accession 번호 검색을 지원하거나. 시스템에 등록된 서비스의 선택만이 허용되는 등 이용형태가 매우 제한적이다. 또한 서비스의 품질 평가 기능이 제공되지 않아 서비스의 관련성을 판별하지 못하며, 심지어 링크가 바르게 연결되지 않았거나, 작동하지 않는 서비스의 분별조차 불가능한 실정이다. 본 논문에서는 이러한 문제점을 해결하고자 서비스 검색과정에서 웹 서비스의 품질을 평가하고 평가된 품질을 기반으로 웹 서비스를 순위화해 사용자에게 제공하는 품질기반 UDDI를 제안한다. 이를 위해 우리는 Gene Ontology를 이용한 연관 키워드 검색방식과 키워드 기반의 서비스 품질 평가 방법을 제안하고, 본 방식의 유용성을 보인다.
-
최근 청소년의 교우관계에 있어서 집단 따돌림이 사회적으로 큰 문제가 되고 있다. 본 논문에서는 학생들의 교우관계를 보다 객관적으로 분석하는 방법을 제안한다. 우선 분석을 위한 객관적인 데이터로 교우관계 정보를 묵시적으로 내포하고 있는 통신이력 데이터를 사용한다. 다음으로 교우간 친밀도(degree of faniliarity) 개념을 정형적으로 정의하고, 여러 통신도구에서 발생한 통신이력 데이터를 기반으로 교우간 친밀도를 수학적으로 계산하는 방법을 제안한다. 다음으로, 계산한 교우간 친밀도를 사용하여 집단 따돌림의 가능성이 높은 학생을 파악한다. 이는 집단 따돌림 가능성이 높은 학생은 다른 학생으로부터의 통신 시도가 적을 것이라는 직관에 기반한다. 마지막으로, 제안한 방법의 실용성을 입증하기 위하여, 실제 구현 및 분석 실험을 수행하고, 그 의미를 해석한다. 이 같은 결과를 볼 때, 본 연구는 학생들의 교우관계를 보다 객관적으로 파악할 수 있는 매우 우수한 결과라 사료된다.
-
특정 도메인의 정보시스템간에 정보를 공유하기 위해서, 정보 시스템들은 도메인별로 사용되는 메타데이터를 각기 정의하여 사용하기 때문에 각각의 정보 시스템간의 정보 공유시 메타데이터의 이질성 문제가 발생되지 않는다. 그러나, 메타데이터의 불일치 문제는 이기종 도메인간에 정보를 공유할때 발생된다. 본 논문에서는 메타데이터를 이용하여 구축된 정보시스템 간의 상호운용성을 증진하기 위하여 메타데이터의 의미적 유사성 측정 방법을 제안한다. 이를 위하여 메타데이터 레지스트리(MDR)에 정의되어 있는 메타데이터에 대한 개념 모델을 정의하고. 개념모델의 인스턴스간에 의미유사성을 측정하는 방법을 제안한다. 제안한 방법을 사용한 결과 도메인이 다른 정보시스템간에 점보공유를 위한 의미적으로 유사한 최적의 메타데이터를 선택할 수 있다.
-
최근 정보 통신기술의 발전으로 인하여 전자상거래가 확산되고 있는 실정이며, 이용하는 고객 또한 상당히 증가하고 있다. 고객의 활발한 구매 거래 활동으로 하루에도 아주 많은 양의 데이터가 생성되고 있는 실정이다. 이에 전자상거래의 웹 사이트 관리자나 경영자는 고객의 구매형태나 패턴의 특징을 파악하여 보다 효율적인 서비스를 고객에게 제공하기 위하여 현재까지 유사그룹의 고객 세분화를 적용하는 연구가 이루어지고 있다. 본 논문에서는 전자상거래에서 고객들의 정보를 분석하여 개인화하기 위한 방법으로 사용되는 고객 프로파일을 이용하여 고객세분화 하는데 적용을 하고자 한다. 기존 고객세분화의 통계적인 분석이 아닌 XML 기반의 고객 정보를 XPath를 이용하여 고객세분화에 필요한 규칙을 생성하고, 그 규칙을 바탕으로 고객 프로파일을 생성하는 방법과 프로파일을 이용한 군집에 따른 분석 결과 및 추천서비스를 소개하고자 한다.
-
본 논문은 기존 쇼핑몰의 데이터베이스에서 쇼핑몰 운영자가 여러 각도에서의 올바른 자료 분석, 신속한 의사 결정 데이터의 무결성과 일관성을 제공하고 효율적인 데이터 사용을 위해 고객의 구매데이터에 빠르게 접근할 수 있도록 데이터 웨어하우스에서 뷰를 활용한 관리 방법을 제시하고자 한다. 제시된 기법들 중에서 부가 파일을 이용하여 효과적으로 실체뷰를 자체적으로 관리하는 방안을 알아보고자 한다.
-
단백질 상호작용(Protein-Protein interaction : PPI )은 생명체 내에서 생명현상을 유지하기 위한 단백질 간의 유기적인 반응이다. 생물학 실험 도구의 발달로 현재 대량의 PPI 데이터가 발생하고 있으며 이것을 활용하여 생명체를 시스템 관점에서 이해하기 위한 시도가 진행되고 있다. 하지만 현재 PPI 데이터는 중복의 문제, 생물학자들 간의 용어사용의 불일치성 문제로 인해 데이터의 질이 저하되어 분석결과에 부정적인 영향을 끼치고 있다. 본 논문에서는 현재 인간 PPI 데이터의 문제점을 분석하고 이것을 해결하기 위한 온톨로지 기반의 데이터 정제 방법론을 제시한다. 본 연구를 통해 HPRD내에 존재하고 있던 약 52%의 결함이 있는 데이터를 발견하고 인간 단백질 상호작용 데이터의 품질을 향상시켰다.
-
본 논문에서는, 비교적 제약이 심한 모바일 클라이언트를 위해 구현한 실시간 모바일 GIS에서, 최적의 경로탐색을 위한 최단 경로 탐색 관리자를 추가하였다. CAD파일로부터 추출한 벡터기반의 지리데이터를 사용하여 최단경로 검색의 시간비용을 줄이고자 필요한 정보를 추가하고, 처리비용에 불필요한 부담이 되는 데이터를 제외하는 처리를 한 후. 질의의 빈도가 각각 다른 MBR들간의 특성을 고려하여 상황에 맞는 최단 경로질의 처리 방법을 선택 수행하도록 하여 서버의 부담을 줄이고 처리 속도를 향상시키고자 하였다.
-
인터넷 환경에서 데이터 저장과 전송을 위한 표준으로 XML이 부각되고 있다. 이에 따라 XML자체에 대한 관심뿐 아니라 XML 질의 처리를 위한 연구도 활발하게 이루어지고 있다. 이러한 연구는 XML문서 자체의 내용 뿐 아니라 구조에 대한 질의에 대해서도 진행되고 있다. 구조에 대한 질의를 위해 경로 질의가 사용되고 있으며, 최근 경로 질의를 효과적으로 처리하기 위하여 여러 가지 색인 기법들이 연구되고 있다. 본 연구에서는 기존에 제안된 대표적인 두 가지 색인기법인, 경로 색인 기법과 구조 조인 기법에 대한 특징에 대해 살펴보고, 구조 조인 기법에 대한 기존연구의 알고리즘의 성능을 개선시킬 수 있는 메커니즘을 제안하였다. 기존 연구에서는 질의에 해당하는 모든 엘리먼트들을 비교하여 결과를 뽑아내지만 제안한 메커니즘은 입력 값의 형태를 변형하여 비교하는 엘리먼트의 수를 줄여 더 적은 조인연산을 수행함으로서 성능을 향상시킬 수 있었다. 이러한 결과를 4절에서 실험을 통해 검증하였다. 실험 결과 기존 방법에 비해 실험한 질의에 따라 최대 34%, 최소 7%의 성능 향상을 이룰 수 있었다.
-
최근 기업들은 분산된 조직과 각 조직의 목적에 따라 데이터베이스도 분산되어 있기 때문에 이들 간의 공유 및 협업을 통한 상호 운용성을 지원하기 어려우므로 일관적인 형태로 연동하기 위해서 메타데이터 수준의 표준이 필요하다. 또한 협업적인 거래환경에서의 EAI시스템은 다양한 정보 시스템에서 관리되는 지식들을 유기적으로 통합하고 공유함으로서 효율적인 검색 및 비용절감 등 많은 효과를 기대할 수 있다. 그러나 기존의 시스템은 특정 목적에 따라 관리되고 공유되므로 사실상 통합 외 공유에는 상당한 어려움이 있다. 따라서 본 논문에서 제시하는 XMDR은 온톨로지와 메타데이터 결합된 형태로 각종 표준들을 일관적인 형태로 온톨로지와 시소러스 개념을 도입함으로서 데이터수준의 정보를 통합 하기위한 메타데이터 공유 및 정보 시스템 통합의 일관성을 유지 할 수 있다. 본 논문에서 제시되는 브리지 XMDR 검색시스템은 원시데이터 계층, XMDR 계층. 브리지 XMDR 계층으로 3계층으로 구성된다. XMDR 계층은 분산된 데이터베이스의 속성표현의 표준과 관계성을 정의한 표준 온톨로지, 카테고리 분류 온틀로지, 사이트의 정보를 제공하는 로케이션 온톨로지로 구성되는 XMDR을 정의한다. 브리지 XMDR 계층은 XMDR간의 정보를 공유하기 위한 공유 도메인 속성을 추출한 하이브리드 통합방식으로 업무간의 의미적 통합이 가능하다.
-
본 논문은 HWP, DOC와 같은 전자 문서에서 사용자가 제공한 구조적인 규칙과 XML 기반 전자 문서 변환 기법을 이용함으로써, 사용자의 관심 영역에 해당하는 다양한 형태(표, 리스트 등)의 정보를 효과적으로 추출(변환)하여 저장하기 위한 방법에 관한 것이다. 본 논문에서 제시한 시스템은 3가지의 중요한 요소들로 구성되어 있는데, 1)전자문서의 원시 XML 문서로의 변환 방법 2)XML 기반 구조적인 규칙과 작성된 규칙을 이용하여 원시 XML 문서에서 정보를 추출(변환)하는 방법, 3)추출 된 정보에서 최종 XML을 생성하거나 DB에 저장하는 방법이 그것이다. 전자문서의 변환을 위해서 독립적으로 동작하는OCX 기반의 전자문서 변환 데몬(Daemon)을 개발하였고, 사용자의 정보 추출(변환)과정을 돕기 위해서 XSLT를 확장한 형태의 스크립트 언어를 개발하였다. 스크립트 언어는 비교적 간단한 문법 구조를 가지고 있고, 데이터 처리를 위한 자체 정의 함수와 변수를 사용한다. 추출된 정보는 원하는 형태의 데이터 포멧으로 생성하거나 DB에 저장할 수 있다. 본 시스템은 전자 문서 원문 정보에 대한 데이터베이스 구축 및 서비스의 제공, 혹은 구축된 데이터베이스를 이용하여 다양한 현황 통계를 제공하는 분야에서 유용하게 사용할 수 있다. 실제로 연구과제관리시스템과 성과정보시스템에 적용하여 그 성과를 입증하였다.
-
최근의 PDA 및 모바일 장치의 데이터 저장 용량 및 CPU 성능이 향상됨에 따라 이를 이용한 다양한 서비스가 가능해질 것으로 기대되고 있다. 이러한 서비스는 대용량의 데이터 저장과 빈번한 데이터의 처리, 그리고 신뢰성을 요구하고 있어 그에 맞는 데이터베이스 관리 시스템 개발이 필요하다. 본 연구 목적은 1)PDA 장치의 특성 및 서비스 형태를 고려한 데이터베이스 관리 시스템 설계 안을 제시하고, 2) 구현 환경 및 결과를 설명하여, 3)PDA 기반의 모바일 데이터베이스 관리 시스템의 국산화에 기여하는 것이다.
-
원자력발전소의 정량적 위험성 평가를 위해서 확률론적 안정성 평가 기법이 이용되고 있는데, 이를 위해서는 여러 가지 분야의 다양한 신뢰도 데이터가 필요하다. 이러한 신뢰도 자료 중에 인간의 지각 행위 및 수행 행위로부터 발생하는 인적 오류 확률은 그 특성상 실질적이 오류 확률을 얻기가 매우 어렵다. 그래서 인적 오류 확률을 구하기 위해서는 인간 신뢰도 분석 분야의 전문가들이 제안한 인간 신뢰도 분석 방법을 이용하여 인적 오류 확률을 추정한다. 한국 원자력 연구소에서는 이를 위해 인간의 지각 및 수행 행위에서 야기되는 인간 오류 사건을 관리하고 인적 오류 확률을 추정하기 위한 인간 신뢰도 분석 시스템을 개발하고 있다. 본 연구에서는 인간 신뢰도 분석 시스템의 개발 과정에 관하여 기술하였다.
-
웹에 대한 사용자의 다양한 요구와 더불어 시맨틱 웹에 대한 연구가 활발하게 이루어지고 있다. 이러한 연구 중에 대표적인 예가 바로 온톨로지의 구축에 대한 연구이다. ICS-FORTH는 온톨로지 구축을 위한 대표적인 시스템으로 SWIM을 이용한 분산된 환경에서의 독립된 온톨로지 즉, 관계형 데이터베이스와 XML로 된 온톨로지의 통합이 가능하도록 하였다. 또한, 통합된 온톨로지를 RDF/S를 기반으로 하는 뷰의 형태로 사용자에게 제공하여 추론이 가능한 질의 처리가 가능하도록 하였다. 이에 따라, 본 논문에서는 W3C에서 제안한 OWL을 통합의 대상으로 통합의 범위를 확장하기 위한 기법을 제안한다. 제안한 기법은 RDF/S를 확장한 다양한 관계의 기술이 가능하기 때문에 사용자가 RQL 형태의 질의를 미들웨어에서 처리할 수 있는 형태로의 변환하는 기존 기법의 확장된 형태이다. 이러한 확장을 통하여 기존 온톨로지 통합의 범위를 확장하여 보다 많은 사용자의 다양한 요구에 대응할 수 있다.
-
지식관리시스템은 기업들의 생산성을 높이기 위해 사내보유 지식을 획득, 관리하여 후속 업무 처리에 적극 활용하도록 지원하는 시스템이다. 현재 지식관리시스템들에서는 정형적 지식에 대한 추출은 잘 이루어지고 있으나, 조직원들의 암묵지에 대해서는 자발적 등록을 유도하는 보상제도 등의 방법에 의존하고 있다. 본 논문은 업무를 진행함과 동시에 조직원으로부터 지식을 의무적으로 획득할 수 있는 방법에 대해 연구하였다. 또한 지식을 온톨로지 기반으로 표현함으로써 지식을 단지 설명하는 차원의 지식베이스를 구축하는 것이 아니라 새로운 지식을 추론할 수 있는 방법을 제안하였다.
-
이동 객체는 시간마다 위치 좌표를 변경하면서 자신의 위치를 기준으로 질의를 요청한다. 최근에 이동 객체에 대한 스카이라인 질의를 처리하기 위하여 이동 객체와 대상 객체사이의 거리인 동적 속성과 대상 객체의 정적 속성 관계를 이용한 최적화된 스카이라인 영역 결정 기법이 연구되고 있다. 그러나 영역 내의 이동 객체의 위치가 가변적 이여서 유효 영역을 효율적으로 결정하지 못하는 문제점이 있다. 이 논문에서는 스카이라인 영역을 형성하는 다각형의 최대 내부 원을 이용하여 정적 유효 영역을 결정함으로서 서버에 보낼 연속적인 스카이라인 질의 발생 빈도를 감소시키는 기법을 제안한다.
-
휴대전화, PDA, GPS 등 모바일 기기들의 발전과 보급으로 인하여 위치 기반 서비스에 대한 관심이 크게 증가하고 있다. 휴대폰 사용자 위치 추적과 같은 대용량의 객체를 처리하기 위해서 기존의 단일 노드 기반 시스템으로는 어려움이 있어, 클러스터 기반 분산 컴퓨팅 구조로 GALIS 아키텍처가 제안되었다. 본 논문에서 제안하는 질의 처리 성능 개선을 위한 버퍼링 기법은 GALIS의 질의 처리 서브 시스템 성능 향상을 위해 질의 처리 결과를 버퍼링하고 연속된 질의 처리시 발생할 수 있는 중첩된 질의 영역을 관리하게 설계 하였다. 버퍼링 기법을 통해 수행되는 질의는 중첩된 질의 영역을 제외한 부분만을 수행하기 때문에 결과 셋의 크기를 줄여주는 역할을 하고, 질의 처리 시간 감소에 큰 영향을 미친다.
-
최근 대부분 기업들 환경에서의 정보 시스템들은 지역적으로 분산되어 있으며 다양한 형태로 구성되어 있으므로, 사용자 의사 결정을 지원하는데 필요한 통합된 정보를 얻는 것은 어려운 일이다. 따라서 이러한 문제를 효율적으로 정보 검색에 적용하기위해 사용자에게 단일 인터페이스를 제공하고, 이기종 시스템들 간에 구축된 데이터베이스 시스템들은 각각 독립성을 유지하면서 하나의 인터페이스처럼 투명성을 제공할 필요성이 있다. 이를 위해 ISO/IEC 11179에서 연구 중인 XMDR의 개념을 이용하여 정보검색에서 발생하는 "의미적 상호운용성(semantic interoperability)"이라는 문제점을 해결하고 이 XMDR에 지식 인스턴스 계층을 통한 지식공유를 가능하게 함으로써 단순 검색의 한계점을 극복할 수 있도록 한다. 본 논문에서는 데이터 표현에 사용되는 명칭, 속성, 관계성에 대한 이질적인 문제를 해결하기 위한 표준 온톨로지, 각 레거시 시스템을 연결하는 중간자(mediation)역할을 수행하는 로케이션 온톨로지, 지식공유가 가능하도록 하는 지식 인스턴스 계층으로 구성하는 방법을 제안한다. 또한 지식 인스턴스 계층은 협업적인 검색 환경하에서 각각의 정보시스템에서 다양한 형태의 지식을 공유 및 통합에 있어 구조화 되지 않은 지식들을 어떻게 공유할 것인가에 대한 개념적인 모델을 제시한다.
-
해당 논문에서는 많은 수의 서버로 구성된 환경에서의 자동화된 성능카운터 설정 및 수집 방안에 대해서 제시하고 대규모 시스템일 경우 많은 시간이 소요되고 번거로운 작업에 대한 자동화 및 카운터 설정, 제어를 위한 스크립트 제시, 리포트 자동 생성 방안을 제시하여 효율적인 시험 및 분석방안에 대해서 설명한다.
-
실시간 프로그램은 다양한 분야에서 사용되고 있으며, 그 개발자는 논리적, 시간적 정확성을 고려해야 한다. 시간적 정확성은 실시간 프로그램에서 가장 중요한 부분이며, 이를 위한 데드라인은 개발자에 의해 정의된다. 따라서 개발자는 데드라인의 정의를 위하여 기준점을 제시할 수 있는 정적 실행시간 분석이 필요하다. 정적 실행시간 분석에서 프로그램의 반복횟수 분석은 큰 비중을 차지한다. 현재 이러한 반복횟수 분석을 자동화하는 연구가 진행 중이다. 하지만 반복횟수 분석은 반복횟수에 영향을 주는 제어변수의 결정정책에 따라 결과가 달라지고, 자동화를 위한 반복횟수 계산 수식의 적용 범위가 제한되어 있다. 본 논문에서는 이러한 제어변수를 결정 및 탐색하고, 수집된 정보를 개선된 수식을 사용하여 반복횟수 분석을 수행할 수 있도록 PS-Block 구조를 기반으로 반복횟수 분석기를 설계 및 구현하였다. 반복횟수 분석기는 제어변수의 탐색 및 결정 분석 과정을 자동화하고, 수식의 개선으로 자동화 범위를 확대하며, 개별 반복 문 단위의 정밀한 반복횟수 분석을 통해 정확도를 높이고, 신뢰성을 향상시킬 수 있다.
-
정밀한 요구사항 분석과 다양한 전략의 응용을 통해 최대이익과 최소손해를 보장할 수 있는 게임이론 협상 프로세스를 제안하고, 그러한 프로세스가 지속되는 상호작용 속에서 보이는 한계점을 Win-Win 모델을 도입함으로서 보완하고자 한다. 또한 이러한 게임이론 보완 방법론을 통해, 이해관계자간의 지속적인 상호작용 속에서 꾸준한 이익을 보장할 수 있다는 제안의 타당성을 사례연구를 통해서 확인한다.
-
제품계열공학에서 feature diagram(FD)은 개발자의 직관이나 도메인 전문가의 경험에 근거하여 작성되어, feature간의 공통성 및 가변성분석 기준이 불명확하며 비정형적인 feature의 공통성 및 가변성 분석으로 인한 stakeholder의 공통된 이해가 부족한 문제점을 내포하고 있다. 따라서, 본 논문에서는 이를 해결하기 위하여 공통된 feature의 이해를 위해 feature 속성리스트에 기반한 메타 feature모델과 feature간의 의미유사성관계를 이용한 온톨로지를 적용한 공통성 및 가변성 분석모델을 제안한다.
-
모델 체킹(model checking)은 자동으로 소프트웨어의 속성을 검증하는 기법으로 그 필요성이 꾸준히 증가하고 있다. 시스템이 특정 속성(property)을 만족하지 않는 경우 모델 체커는 반례(Counterexample)를 생성하게 된다. 반례는 오류가 발생한 원인을 담고 있는 정보로서 오류를 이해하고 수정하는 작업에 많은 도움을 준다. 하지만 반례가 너무 길거나 이해하기 어려운 경우에는 분석에 많은 시간과 자원이 소요되기도 한다. 따라서 자동적으로 반례 안의 오류를 찾아내고 설명을 제공하는 기법의 필요성이 대두되고 있다. 본 논문에서는 추상모델(abstract model)에서 생성된 반례의 오류의 원인을 밝히는 자동화 기법을 제시한다.
-
RFID 시스템은 다양한 분야에 혁신을 제공하는 기술이다. RFID 시스템은 많은 양의 태그 정보 및 데이터에 대한 실시간 처리를 필요로 하는 경우가 많으며, 자동화된 프로세스를 통한 비즈니스 플로우를 지원한다. RFID 미들웨어 시스템의 중추 역할을 하는 RFID 미들웨어에 부하가 집중되는 현상이 지속 된다면 처리의 효율이 낮아짐은 물론 처리 지연으로 인한 비즈니스 플로우의 지연 및 장애를 초래하게 된다. 본 논문에서는 RFID 미들웨어 시스템의 특성을 고려하여 RFID 미들웨어에 적합한 부하 분산 알고리즘을 제안한다. 그리고 일반적인 분산 시스템 환경에서의 부하 관리메커니즘과 비교할 수 있는 RFID 미들웨어의 부하 관리를 위한 기법을 제시한다.
-
많은 정보시스템 개발 프로젝트가 고객의 요구를 정확히 반영하지 못한 이유 때문에 실패하거나 설계변경 등의 다양한 문제를 발생 시키고 있다. 실패의 궁극적인 원인은 고객 가치 중심의 요구사항 재정의에 실패 한데에 있다. 이러한 문제점을 해결하기 위해서는 기존 시스템에 새로운 가치를 부여하여 기존고객 뿐만 아니라 새로운 고객까지 만족 시킴으로써 경쟁이 없는 시장 공간을 창출하는 것이 가장 효과적인 방법이다. 본 논문에서는 이러한 문제점을 해결하기 위하여, 블루오션 전략 프레임워크의 핵심인 ERRC(Erasure Reduce Raise Create) 분석 방법을 적용하여 고객가치를 창출할 수 있는 블루오션 요구공학 프로세스를 제안하였다. 또한, 정량적이고 체계적인 분석을 위하여 DFSS(Design For Six Sigma) 방법론을 적용하고, 제안된 접근법을 실제 정보시스템 개발 시 적용한 사례를 제시하고 적용결과의 유효성을 검증하기 위해 시스템 사용자에 대한 실증 분석결과를 제시하였다.
-
로봇은 특수 분야에서 일반 산업 및 가정에 이르기까지 다양한 경로를 통해 사람에게 유용한 서비스를 제공해왔다. 하지만 로봇의 아키텍처 및 인터페이스의 비표준화로 인해 호환성 및 생산성의 문제가 야기되었다. 본 논문에서는 ECA규칙을 이용하여 컴포넌트의 동적 추가 및 확장이 가능한 로봇 아키텍처를 제안한다. 센서와 동작기 부분의 인터페이스를 표준화하였으며 ECA규칙 적용을 위한 DB스키마 및 규칙 정보 관리를 위한 테이블 구조를 제시하였다. ECA규칙은 구조가 단순하여 기계학습의 응용에도 적합하다. 제안하는 아키텍처는 컴포넌트 조합이 바뀔 때마다 동적으로 새로운 규칙을 적용할 수 있고 공개된 컴포넌트가 가진 어휘를 이용하여 확장된 규칙을 정의할 수 있다.
-
제품 계열 공학은 재사용에 기반을 둔 소프트웨어 개발 방법론으로서 웹 응용들에서 요구되는 비용 절감 및 시장 적시성의 성취를 이루는데 도움을 주고 있다. 웹 응용의 개발을 제품 계열로 이루고자 하는 연구가 진행되었지만, 웹 응용이 가진 핵심 자산들을 확인하고. 정의하는 체계적인 절차를 제안하지는 못한다. 본 논문에서는 인해 웹 응용 도메인에 적합한 핵심 자산으로서의 체계적인 도메인 요구사항 추출 방법을 제안한다.
-
커뮤니티 메타포를 이용하여 유비쿼터스 공간을 정의하고 유비쿼터스 서비스를 구현하는 커뮤니티 컴퓨팅에 대한 연구가 제안되고 있다. 제시된 커뮤니티 컴퓨팅 어플리케이션의 개발과정은 추상화된 하이레벨의 커뮤니티 컴퓨팅 모델로부터 최종 플랫폼에 적합한 코드를 생산하는 MDA 개발방법이 적용되었다. 그러나 이러한 개발과정을 효율적으로 지원하는 통합개발환경은 아직 존재하지 않는다. 최근 관심이 고조되고 있는 이클립스는 오픈소스 프로젝트, 공개표준 런타임, 다양한 기능을 제공하는 플러그인들의 지원 등의 장점을 가지고 있기 때문에 통합개발환경을 구성하기 위한 적절한 방안으로 간주된다. 따라서 본 논문에서는 커뮤니티 컴퓨팅의 개발과정을 지원할 수 있는 통합개발환경을 이클립스를 기반으로 하여 연구하였다.
-
소프트웨어의 구조가 점차 복잡해짐에 따라 소프트웨어 테스트 과정에서 테스트가 일정 수준 이상의 테스트 커버리지를 갖게하기 위해서는 많은 수의 테스트 케이스 실행이 불가피하며, 이로 인해 테스트 수행의 시간 비용이 증가되고 있다. 하지만 테스트 프로세스 안에서 어느 시점에 소프트웨어 결함을 발견하느냐에 따라 소프트웨어 배포 시점에서의 오류 수정 비용이 달라진다. 이를 위해 각각의 테스트 케이스에 우선순위를 부여하여, 보다 빠른 시간 내에 결함을 찾고자 하는 테스트 케이스 순서화 기법에 대한 연구 가 활발히 진행되고 있다. 본 논문에서는 임베디드 소프트웨어의 시스템 테스트 결과를 활용한 과거 이력기반 테스트 케이스 순서화 기법을 제안한다.
-
요구공학의 궁극적인 목표는 이해당사들의 요구사항을 수용하고, 이를 적절히 설계 및 반영하여 프로젝트를 성공하는데 있어 그 목표를 두고 있다. 그러나 일반적으로 수렴된 요구사항들은 상호간에 충돌이 발생하거나, 합리적인 대안을 이끄는데 있어 많은 문제점을 드러낸다. 따라서, 이를 극복하기 위해 다양한 대안들이 제시되고 있다. 본 논문에서는 이해당사자 상호간의 영향력을 분석(정준상관분석)하여, 중요도 평가를 위한 척도를 만들고, 이를 계층분석적 의사결정방법의 초기 단계에 적용하여 우선순위에 의거하여, 최종 대안을 선택하게 될 것이다. 이를 마지막으로는 위의 과정을 WinWin 협의 모델에 적용하고자 한다.
-
Stalemate는 정형이론 및 Statechart를 기반으로 하는 설계도구로서 시스템의 기능적, 구조적 분해를 통해 계층적으로 모듈화된 설계 단위를 작성할 수 있도록 한다. 또한 동일한 기능을 수행하는 설계모듈을 반복적으로 재사용하기 위한 일반화 차트 메커니즘을 지원하는데 본 논문에서는 Statemate가 지원하는 Ada 언어의 재사용 컴포넌트 개념을 적용하여 일반화 차트가 처리할 수 있는 형식매개변수의 자료형 제약을 완화시킨 확장된 개념의 재사용 설계모듈을 제시한다.
-
본 논문에서는 UML 다이어그램으로부터 시맨틱 웹 서비스 기술 표준인 OWL-S문서를 생성하는 방법을 제안한다. 특히 온톨로지의 기술을 위해 클래스 다이어그램을 사용하고, 프로세스의 흐름을 기술하기 위해 시퀀스 다이어그램 및 액티비티 다이어그램을 사용한다. 제안된 방법은 UML 모델의 재사용 및 기존 연구들이 처리하지 못하는 복합프로세스의 생성이 가능하다는 장점을 가진다.
-
본 연구에서는 시간 요소를 고려한 무기체계 소프트웨어의 시스템 테스트 모델을 제시한다. 이를 위해 컴포넌트 기반의 UML 표기법과 무기체계의 시간 제약 특징을 고려한 무기체계 소프트웨어의 시스템 테스트 모델인 TFM(Time Factor Method) 모델을 제안한다. TFM 모델은 세 가지 요소인 (X.Y,Z)으로 구성되어 있는데. "X" 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, "Y" 에서는 Sequence Diagram과 관련된 컴포넌트(오브젝트)를 식별하고, "Z"에서는 Timing Diagram을 통하여 식별된 각각의 컴포넌트의 실행시간을 측정한다. 또한 제안된 TFM 모델의 적용사례를 들어 테스트 케이스를 도출한다.
-
소프트웨어는 많은 상황을 염두에 두고 만들어진다. 하지만 모든 문제를 해결하도록 만들 수는 없기 때문에 문제가 발생했을 때 그 문제를 해결할 수 있도록 적응성을 두어야 한다. 본 논문에서 제시하는 아키텍처는 WSAS, 컴포넌트 변환, 적응성을 위한 부분으로 구성된다. WSAS는 기존의 UDDI를 변경하지 않고 확장된 검색을 지원하는 서비스이다. 그리고 컴포넌트 서비스를 위한 컴포넌트 저장소를 제공한다. 변환 아키텍처는 검색된 서비스를 통해 컴포넌트를 변환하고 변환된 컴포넌트는 적응형 아키텍처에서 재구성을 통해 문제를 해결한다. 본 논문에서는 컴포넌트 기반의 아키텍처에 적응성을 위해 개선된 웹 서비스 발견 기법을 제안한다.
-
임베디드 시스템이 복잡해지고 Time-to-Market이 요구되면서 HW/SW 통합설계 방법론(codesign)이 제시되었다. 통합설계 과정 중, HW/SW 분할 과정은 시간 성능, 비용, 전력 등의 모든 요구사항을 만족시키기는 불가능하므로 특정 목적함수에 근거한 알고리즘을 이용하여 진행된다. 하지만 고정된 분할 알고리즘을 이용해서는 이해관계자들의 요구사항을 최대한 반영하기 어렵다. 본 논문에서는 이해관계자들의 의견을 최대한 반영하고, 이를 만족시키는 모델을 유도하기 위하여 WinWin negotiation model을 적용된 요구사항 절충을 고려한 HW/SW 분할 방법론을 제안하였다. WinWin 모델을 통해서 도출된 요구사항에 가장 적합한 목적함수를 가지는 분할 알고리즘을 선택하여 HW/SW 분할 과정을 진행하는 방법이다.
-
UML 2.0의 시퀀스 다이어그램은 실시간 특성을 표기할 수 있는 표기법이 추가됨으로써 시간의 엄격성이 중요하게 여겨지는 임베디드 소프트웨어의 행위를 보다 정확하고 상세하게 모델링 할 수 있게 되었다. 시퀀스 다이어그램은 전체 시스템의 부분적인 행위를 기술하여 같은 행위가 여러 다이어그램에 걸쳐서 기술되어지므로 이들 다이어그램들은 서로 일관성을 가져야 하는데 복잡한 시스템에서 일관성을 검사하는 것은 어려운 일이다. 본 논문에서는 행위 모델을 표현하는 시퀀스 다이어그램과 다른 다이어그램에 기술된 실시간 특성들의 일관성을 자동으로 검사할 수 있는 방법을 제안한다. 먼저 서로 다른(inter) 다이어그램들 사이의 시간적인 일관성을 유지하기 위한 제약사항을 파악하여 정의한다. 그리고 모델을 구성하는 인스턴스들에 대한 제약사항을 OCL로 기술하는데 이는 UML 2.0이 발표되면서 모델의 의미를 정확하고 상세하게 표현할 수 있는 메타 모델과 그들의 연관관계가 추가되고 명확하게 정의됨에 따라 가능하게 된 것이다. 이렇게 OCL로 정형화되어 기술된 식은 UML 2.0 메타 모델을 이용한 어느 모델에나 적용 가능하며 모델의 문제점을 발견하고 정확한 모델을 구축하도록 도와준다.
-
테스트 주도 개발은 익스트림 개발 방법론의 바탕이 되는 방법론이다. 테스트 주도 개발은 소스 코드를 구현을 하기 전에 테스트 케이스를 먼저 만드는 작성한다. .Net 개발 환경에서 테스트 주도 개발을 하기 위해 NUnit 이라는 유닛 테스트 프레임워크를 많이 사용하고 있다. [1] 본 논문은 NUnit 유닛 테스트 프레임워크를 기반으로 리플랙션을 사용하여 유닛 테스팅 자동화 도구의 제작을 위한 프레임워크를 제안한다. 그리고 이 프레임워크를 이용하여 유닛 테스트 뼈대를 자동으로 생성하는 프로그램을 구현하였다.
-
본 논문은 현대사회의 방대성과 복잡성에 대응하여 WinWin Spiral Model [Boehm, 1988][Boehm, 1996]을 개선 시켰다. 개선 방법으로는 요구사항을 객체지향적으로 상관관계 표현하는 방법과 어떤 요구사항에 대하여 관련된 객체를 함께 토론하고 조정하는 시간을 가지는 것이다. 또한 요구사항을 구체화 하는데 있어 함께 동의하는 수준까지만 구체화 하여 모든 이해당사자들이 만족하는 안에서 만들어질 시스템의 유연성을 확보하였다.
-
원자력 발전소의 제어 소프트웨어는 안전성이 중요시 되는 시스템이다. KNICS 컨소시엄의 APR-1400 RPS 개발 프로젝트에서는 시스템의 안전성과 품질을 높이기 위하여 요구사항을 NuSCR 정형명세로 기술하였다. 명세에 대한 분석을 위하여 SMV를 이용한 자동화된 정형검증 기법이 사용되는데, 본 논문에서는 테이블 형태의 명세인 SDT까지 그 범위를 확장하는 방법을 제안한다. 제안하는 방법의 효율성을 입증하기 위하여 실제 프로젝트에서 개발중인 시스템의 일부를 예제로 사용하였다.
-
인터넷 사용자의 급격한 증가와 기업들의 서비스 통합으로 다양한 시스템으로 구성된 온라인 웹 환경의 서비스가 제공되고 있다. 시간제한성의 서비스를 사용할 경우 예측하지 못한 부하발생으로 시스템의 폭주상태가 발생하게 된다. 예측하지 못한 부하에 대해 서비스 품질을 보장할 수 있는 부하제한 방법이 연구되었으나 웹 사용자의 사용패턴을 고려하지 못하고 있다. 본 논문에서는 폭주하는 서비스 상태에서 연계된 시스템 간 부하균형 상태를 유지하면서 사용자에게 동등한 만족도의 서비스 품질을 제공하는 방안을 제안하고 모의실험을 통해 서비스 성공률과 사용 평등성 비율을 분석하였다.
-
소프트웨어 프러덕트 라인 개발 방법론이란 개발 초기에 시스템의 공통적인 부분과 가변적인 부분을 명확히하여 소프트웨어 자산을 구축한 후 다양한 요구 사항에 따라 가변적인 부분을 커스터마이징하여 목표 시스템을 생성하는 소프트웨어 개발 패러다임이다. 일반적인 소프트웨어 프러덕트 라인에 대한 연구는 활발히 진행되고 있지만, 병렬성을 지원하는 소프트웨어 프러덕트 라인에 대한 연구는 상대적으로 미약하다. 본 논문에서는 병렬 소프트웨어 프러덕트 라인 구축에 있어서 특성 모델을 통해 기능적 가변성을 지원하고 상태 다이어그램을 통해 동시성을 지원하는 컴포넌트의 코드를 자동 생성하는 도구를 제안한다. 본 연구 결과는 병렬성이 중요한 실시간 임베디드 소프트웨어 프러덕트 라인 구축에 활용될 수 있다.
-
사용자는 웹 서비스 컴포넌트에 대한 발견뿐만 아니라 자신의 시스템에 맞게 동작할 수 있도록 명세를 참조하여야 구현 및 테스트 작업이 효과적으로 이루어진다. 따라서 컴포넌트 명세를 작성할 때 사용자 이해를 고려한 여러 요소가 포함되어야 하는데, 현재의 명세는 오퍼레이션 이름, 데이터 타입 등과 같이 API 수준의 정보를 제공하기 때문에 해당 컴포넌트에 대한 이해가 어려워 사용자의 요구에 적합한 것인지를 결정하기 힘들며, 구현 및 테스트 과정에서 제약, 선 후 조건, 품질과 같은 요소들이 빠져 있어 작업을 어렵게 한다. 따라서 본 연구에서는 앞서 제시한 문제들을 개선하고자 사용자 요구사항 기반의 명세 확장방법을 제안하고, 이에 대한 효과를 명세 표준인 WSDL과 비교 분석함으로써 그 효용성을 보였다.
-
연구과제 담당자 및 연구원들의 요구사항을 실시간으로 반영하고 연구비 예산정책과 관련된 의사결정 과정을 최대한 지원할 수 있도록 모바일 환경을 이용한 연구과제 관리 시스템을 개발하였다. 모바일 환경을 이용한 연구과제 관리 시스템을 개발한 결과로 연구과제 연구원 및 과제 담당자의 이동성을 지원하고 비용 및 시간을 절감할 수 있다. 또한, 상호간의 유기적인 정보교환과 언제, 어디서든 연구과제에 대한 정보를 입력 및 조회하여 검색 결과를 확인할 수 있다.
-
유비쿼터스 컴퓨팅 환경의 실현 가능성이 높아지면서 Automatic identification and Data Capture(AIDC)에 대한 많은 연구들이 이루어지고 있다. AIDC 기술 중 하나인 Radio Frequency IDentification(RFID)는 라디오 주파수에 따라 반응하는 태그를 이용하여 사람이나 사물을 인식하는 기술이다. 또한 RFID 특성을 지원하면서 발생 이벤트를 효율적으로 처리하기 위해 다양한 미들웨어가 개발되고 있다. 그러나 미들웨어의 지원에도 불구하고 RFID 시스템 개발자는 많은 부가적 지식을 알아야만 한다. 이 점을 해결하여 RFID 기술을 편리하게 사용하도록 돕는 Business Aware Framework(BizAF)이 제시되었다. 본 논문에서는 BizAF를 기반으로 여러 애플리케이션을 개발한 경험을 바탕으로 RFID 비즈니스 이벤트들을 생성하기 위한 모델링 프로세스를 제시하고자 한다.
-
서비스 지향 아키텍처는 서비스의 관점에서 소프트웨어 아키텍처를 조망하는 기술로 최근 많은 각광을 받고 있다. 본 논문에서는 분산된 엔지니어링 자원들을 효율적으로 사용하고 나아가 고가의 엔지니어링 자원을 공동으로 활용하여 구매/유지 비용의 감소를 가져올 수 있는 아키텍처 설계에 관한 방안으로 서비스 지향 아키텍처 개념을 적용한 e-엔지니어링 프레임워크의 구축에 대하여 논의한다.
-
현재 개발되어 사용되고 있는 원격의료시스템은 3계층기반의 구조를 이루고 있는데 환자들이 집중적으로 몰리는 지역에서 심각한 bottleneck현상이 발생할 수 있다. 본 논문에서는 3계층기반 원격의료시스템의 성능을 분석하고 bottleneck 현상을 해결하기 위한 방안으로 hyper-torus 구조의 4계층 아키텍처를 제안하고 Architecture Description Language인 Acme를 이용하여 성능을 비교분석 한다.
-
액세스그리드 프레임워크(AccessGrid Framework)는 지리적인 제한에 관계없이 가상적인 협업 환경을 제공하는 도구이다. 액세스그리드 프레임워크는 기존의 시스템이 갖추지 못한 사용자의 이동성 지원을 추가하고, 유비쿼터스 환경에 적절한 자동화 기능을 제공함으로써 액세스그리드 환경을 확장한다. 이들은 웹 서비스 기반의 기존 구현물인 액세스그리드 툴킷(AccessGrid Toolkit)을 적극적으로 활용하여 개발되었으며, 향후에 불안정한 종속성을 제거하여 개수될 예정이다.
-
일반적으로 수십 개에서 많게는 수백 수천 개의 센서노드로 구성된 센서네트워크 환경에서 각 노드들은 제한된 저장 공간과 효율적인 에너지자원소비 등의 제약사항을 가지고 있다. 따라서 센서노드에서 응용모듈에 대한 형상관리를 수행하기에는 어려움이 있다. 본 논문은 한국전자통신연구원(ETRI)에서 개발된 나노큐플러스 운영체제(Nano-Qplus OS)기반의 센서네트워크 환경에서 각 노드들의 저장 공간이나 에너지 자원 등의 여러 제약조건을 고려한 버전동기화 도구를 제안한다. 이것은 윈도우즈 기반의 eclipse개발환경과 버전관리도구인 CVSNT와 연동하여 각 응용모듈의 버전을 관리하고, 이를 이용하여 본 논문에서 소개하는 센서노드와 버전정보 저장소간의 버전동기화 도구인 NVSync(Nano-Qplus Version Synchronization)를 사용하여 센서노드의 응용모듈과 동기화함으로써 동적으로 노드들의 응용모듈을 재구성할 수 있게 한다.
-
본 논문은 안전등급 제어기기(Safety-Grade Programmable Logic Controller)에서 사용하는 프로세서모듈 운영체제에 대한 컴포넌트 시험에 대해 기술한다. 디지털 소프트웨어에 대한 NRC(Nuclear Regulatory Commission)의 지침에 따라 운영체제는 소프트웨어 생명주기에 따라 개발되고 있으며 요구사항과 설계명세, 그리고 구현코드를 가지고 다양한 시험을 수행하고 있다. 컴포넌트 시험은 구현된 코드가 테스트 커버리지를 만족하는 지 파악하는 시험이다. 이를 위해 설계명세서를 참조하여 시험대상을 구분하고 각각의 시험대상에 대한 시험항목을 세분화한 이후 시험방법과 절차, 그리고 시험환경을 구축한 후 컴포넌트 시험을 수행한다.
-
영역지향 프로그래밍(Aspect-Oriented Programming)은 소프트웨어의 성능을 향상시키고 유지보수에 많은 이점을 가지는 새로운 프로그래밍 방법론이다. 하지만 영역지향 프로그래밍 방법으로 소프트웨어를 개발하기 위해서는 Aspect를 지원하는 새로운 영역지향 프로그래밍 언어를 사용하거나 레거시 시스템에 Aspect를 적용할 경우에 소스코드의 재 컴파일등과 같은 문제점을 가지고 있다. 이에 본 논문에서는 레거시 시스템에 Aspect를 동적으로 결합할 수 있는 동적결합 메커니즘을 제안한다. 이를 위하여 Aspect의 행위와 결합 정보를 가지는 Connector를 생성하고, 생성된 Connector는 코어클래스의 위임자로서 역할을 수행하게 되는 동적결합 가능하게 하는 메커니즘을 제안한다.
-
관심사 분리는 소프트웨어 공학에서 핵심 문제로 다루어왔다. 기존의 OOD나 CBD등은 관심사를 분리하여 모듈화함으로써 프로그램 개발 및 유지보수를 용이하도록 발전해왔다. 하지만, 에러 처리나 로깅과 같이 여러 모듈에 산재되어 실행되는 횡단 관심사는 기존의 방법으로 해결하기 어려웠다. AOP는 이와 같은 횡단 관심사를 처리하려는 데 목적을 두고 제안된 방법으로 기존의 OOD나 CBD의 단점을 보완하면서 병행적으로 발전해왔다[1]. AOP가 나타난 가장 큰 특징은 기존의 개발 방법론을 기반으로 핵심 관심사를 개발하고 해결하기 어려운 횡단 관심사는 AOP로 개발하려는데 초기 목적을 두고 있다. 하지만, 대부분의 연구가 초기 요구사항 분석 단계에서 관심사를 명시하는데 초점을 두고 있을 뿐 구현 단계에서 효율적인 접근 방법은 아직 부족한 편이다. 본 논문에서는 Java와 AspectJ를 이용하여 구현한 간단한 사례 연구를 적용한 AOP 개발 프레임워크를 제안한다. AOP 개발 프레임워크에서는 관심사 분리, 구현, 평가의 세 단계를 기술한다. 이 중 구현단계에서는 핵심 관심사와 횡단 관심사 구현에 초점을 두고 AOP 기법에 쉽게 접근할 수 있는 방법을 기술하고 있다. 프레임워크는 프로그램 개발을 보다 용이하게 하고 확장 및 유지보수시 많은 시간을 단축시키려는데 있다.
-
본 논문은 한국원자력연구소 내에서 가동 중인 하나로 원자로의 방사선감시시스템 소프트웨어 개발에 있어서 속성기반설계를 적용한 사례를 소개한다. 본 논문에서 채택한 속성기반설계는 시스템의 기능요건 및 품질요건 도출, 이를 만족하기 위한 전술 설정, 설정된 전술에 근거하여 시스템 아키텍처 결정, 확정된 아키텍처를 구현 및 검증하는 과정으로 이루어진다. 하나로 방사선감시시스템의 개발요건으로부터 사용성, 가용성, 유지보수성. 호환성, 확장성 과 같은 품질속성을 추출하였으며, 개발 전술로는 이중화된 서버에 다수의 클라이언트가 연결되는 클라이언트-서버클러스터링 전술과 객체지향적 데이터 처리 및 디스플레이 설계 전술을 채택하였다. 단기간 내에 개발을 완수해야하는 방사선감시시스템 개발에 속성기반설계를 적용함으로써 보다 효율적으로 과제를 성공시킬 수 있었다.
-
항공기, 핸드폰, 자동차 등 여러 분야에서 내장형 S/W가 사용되고 있다. 내장형 S/W는 일반 S/W와는 달리 운용 및 개발 환경이 특화되고 다양하여 개발비용이 많이 들고 관리에 어려움이 있다. 이러한 문제점들을 해결하기 위하여 미군에서는 공통운용환경(Common Operating System)을 도입하여 시스템들의 통합을 용이하게 하고 상호운용성을 증진하고 있다. 공통운용환경은 운영체계 및 시스템 S/W는 표준화하고 공통으로 재사용가능한 부분을 일종의 컴포넌트라 할 수 있는 세그먼트로 개발하여 재사용하는 개발 및 운용환경을 말한다. 본 논문에서는 공통운용환경의 컴포넌트 기반 개발 방법을 소개하였다. 그리고 내장형 S/W 개발 및 운용에 필요한 내장형 공통운용환경 구조를 정의하고 세그먼트를 설계하였다.
-
로봇 소프트웨어와 같이 사용자의 요구사항과 주변 환경의 잦은 변화에 직면하는 소프트웨어는 스스로 문제 상황을 판단하고, 동적으로 문제 상황을 극복할 수 있는 기능을 검색하고 이용할 수 있어야 한다. 이를 위해 본 논문에서는 아키텍처 기반의 로봇 소프트웨어 환경하에서 온톨로지를 이용하여 로봇의 문제 상황 극복을 위한 소프트웨어의 아키텍처를 재구성 전략과 컴포넌트를 모델링하고 이를 이용하여 문제 상황을 해결 할 수 있도록 적합한 컴포넌트를 선택하는 메커니즘을 기술한다.
-
현대 기업에서는 다양하고 복잡한 업무 프로세스가 일반화 되어있고, 그에 따라 동일한 작업을 여러 장비 즉, PC, 노트북. PDA등 다양한 장비에서 하기를 원하는 사용자들의 요구가 늘어가는 추세이다. 하지만 대부분의 기업에서도 동일한 업무 프로세스를 유지보수나 재개발 하는데 있어서 많은 시간과 비용이 투자되어온 것이 사실이다. 본 논문에서는 이 같은 문제의 해결방안으로 최근 기술인 닷넷 아키텍처를 기반으로 연구된 자료를 토대로 기업 환경에 맞는 재사용성을 강조한 클래스를 구현하고 기존에 대부분의 기업에서 구현되고 있는 데 이터계층, 비즈니스 계층, 유저인터페이스 접근계층으로 분류되는 3-Tier계층 모델에서 한 단계 진보한 닷넷 아키텍처를 응용한 새로운 기업환견에 맞는 닷넷 솔루션 모델을 제시함으로써 닷넷 슬루션의 성능과 팀 개발 업무에서의 비용과 시간을 개선시킬 수 있다는 것을 증명한다.
-
소프트웨어의 재사용으로 인한 생산성 향상을 기대하면서, 컴포넌트 기반 개발(Component Based Development)에 관련한 연구가 지속적으로 이루어지고 있으며, 그 중 컴포넌트의 테스트 연구는 컴포넌트를 배포하고, 재사용하기 위해 검증하는데 기여하며 발전해 왔다. BIT(Built-In Test)와 컴포넌트 테스트를 위한 래퍼 클래스에 관한 연구가 대표적이다. 본 논문에서는 테스트 모듈의 산재를 방지하고, 유지보수성과 추적성 개선을 위해 테스트 프로세저를 모듈화하는 방안을 연구하였으며, 이를 위해 관점 지향 프로그래밍 개념을 도입하였다.
-
소프트웨어 컴포넌트란 하나 이상의 기능을 갖는 독립적인 소프트웨어이며, 조림을 통해 응용프로그램을 작성할 수 있는 부품 형태의 소프트웨어를 말한다. 이미 개발되어진 컴포넌트에 기능을 추가하거나 확장하기 위해서는 새로운 컴포넌트를 개발하여 기존의 컴포넌트와의 조립을 통하여 이를 실현하거나 이미 개발되어진 컴포넌트를 수정해야 한다. 더구나 추가하고자 하는 기능이 컴포넌트의 내부에 흩어져 있는 경우에는 컴포넌트를 수정해야하는 단점이 있다. 이에 본 논문에서는 Aspect를 이용하여 컴포넌트의 기능 추가 및 확장을 가능하게 하는 컴포넌트들 간의 조립을 위한 Component Connector를 제안한다. 컴포넌트들 간의 조림정보를 표현하는 Component Connector 모델을 제시하고 요청된 조립 서비스를 수행하는 Component Connector의 실현 클래스를 정의한다. 이것은 컴포넌트 플랫폼 독립적인 모델로 나타내어지며 적용사례를 통하여 다양한 형태로의 플랫폼 종속적인 모델로 변환 가능함을 검증하고자 한다.
-
XML이후 컴포넌트를 중심으로 개발된 통합 애플리케이션과 함께 서비스를 중심으로 한 서비스 지향 아키텍쳐가 새롭게 웹서비스를 확장시킨다. 웹서비스를 기본으로 하는 구조이면서 보다 IT 기반을 개선하고 비즈니스 요구에 보다 빠르게 응답할 수 있는 서비스지향 아키텍쳐에서 각 컴포넌트들의 서비스의 효율을 높이기 위한 여러 가지 방법이 요구된다. 본 논문에서는 이러한 기업간 비즈니스 프로세스통합을 위해 가치를 적용한 P2P프로세스를 모델링한다. 기존 프로세스간 인터페이스를 통합하고 체계적이며 가시적인 모델링을 서비스 지향 아키텍쳐에 적용하여 보다 가시적이고 효율적인 아키텍쳐를 제안한다.
-
패킷 필터링은 잠재적으로 악의 있는 네트워크 패킷을 필터링하는 것이다. 패킷 필터링의 기능을 테스트하기 위해서 우리는 보안 시스템에 설정된 보안 정책이 의도한 대로 수행되는지 검증해야 한다. 그러나 기존에 이러한 기능을 테스트하기 위한 도구가 거의 없으며, 존재하는 도구는 테스트의 수행 시 테스트 케이스 선정과 테스트 결과의 판단에 있어 많은 사용자의 판단을 요구한다. 대부분의 보안 시스템 운영자는 새로운 보안 정책을 설립할 때 이를 테스트하는데 많은 부담감을 갖는다. 이에 본 논문에서는 사용자의 판단을 최소화 할 수 있는 새로운 테스트 베드를 제안하고 구현한다. 본 논문의 테스트 베드는 테스트 케이스와 테스트 오라클을 자동으로 생성한다. 그리고 생성된 테스트 오라클을 기반으로 테스트 결과를 사용자의 참여 없이 자동으로 판단한다.
-
국방정보보호 통합관리 기술을 개발하기 위한 테스트베드 구축에서 중요한 부분 중에 하나인 정보보호 가상망 모델링 시뮬레이션 시스템을 개발하였다. 본 시스템은 실재 망과 유사한 정보보호 환경을 제공하기 위하여 정보보호 환경을 구성하는 정보보호 객체(호스트, 네트워크, IDS, IPS, FW, VW 등)를 모의하고 망의 트래픽(평상시, 사이버 공격 시)을 모의하는 등의 기능을 제공하고 외부의 보안관제 체계 및 모의 공격기와 연동하는 인터페이스를 제공하여 외부 침입탐지체계의 성능을 검증하거나 취약점 분석을 위한 환경을 제공한다.
-
본 논문에서는 리눅스 환경하에서 원격 업데이트 서버에 있는 LSB(Linux Standard Base)를 기반으로 국내 표준 리눅스 플랫폼으로 개발된 부요(Booyo)리눅스에 RPM 패키지 또는 보안 패치들을 데스크 탑에 자동으로 설치하게 해주는 클라이언트용 자동 업데이트 프로그램으로 아비지를 구현하였다. 아비지는 부요 환경에서 SW패치 업데이트를 지원하는 한국형 GUI 프로그램으로 클라이언트가 패키지 관리 또는 보안 패치 작업을 쉽게 수행할 수 있도록 한다.
-
이동 단말기, 무선인터넷 기술, 센서 기술의 발달로 인한 유비쿼터스 환경의 등장은 사용자의 위치에 상관없이 자유롭게 네트워크에 접속하여 다양한 서비스 이용과 정보 공유를 가능하게 하였다. 따라서 원할한 정보 공유와 서비스 이용을 위해서는 사용자에 대한 정보 보호 기술이 요구되어 진다. 또한 이런 유비쿼터스 환경에서의 프라이버시 정보는 개인의 동의 없이도 노출될 수 있으며, 제 3자에 의해 공유되거나 또는 악용적으로도 이용될 수 있다. 이에 본 논문에서는 유비쿼터스 환경 내에서 사용자의 프라이버시를 보장하기 위해 사용자에게 프라이버시 정보에 대한 배타적인 통제권을 부여함으로써 사용자 편의성이 제공되는 개인에 의한 RBAC 기반의 접근 제어 프레임워크를 제안한다.
-
오늘날 빠른 정보화로 인한 역기능의 발생으로 인하여 침입탐지, 침입차단 및 방지 시스템들의 다양한 보안 솔루션을 도입하여 사용하고 있다. 하지만 제로 데이 공격과 같이 빠르게 확산될 경우 보안 장비에 빠르게 정책을 적용해야 하지만 보안 장비마다 각기 다른 접근 및 제어 형식으로 인하여 빠르게 대처하고 있지 못하다. 본 논문에서는 이러한 문제점을 보완하기 위해 한번의 정책 주입으로 대규모 네트워크에 설치되어 있는 보안 장비 및 네트워크 장비에 보안정책을 주입 시킬 수 있는 일괄 보안정책 관리 시스템에 대한 설계 및 구현에 대하여 논하고자 한다.
-
사용목적(Purpose)은 최근 개인 프라이버시 보호와 관련하여 데이타 수집과 수집 후 보안관리에 있어서 중요한 요소로 사용되고 있다. W3C(World Wide Web Consortium)는 데이타 제공자가 자신이 방문한 웹 사이트에 개인정보를 제공하는 것을 통제할 수 있도록 하는 표준을 제시하였다. 그러나 데이타 수집 후 유통과정에서 개인정보에 대한 보안관리에 대한 언급이 없다. 현재 히포크라테스 데이타베이스(Hippocratic Databases), 사용목적기반 접근제어(Purpose Based Access Control)등은 W3C의 데이타 수집 메커니즘을 따르고 있으며, 데이타 수집 후 보안관리에 대하여 사용목적 관리와 접근제어 기법을 사용하여 관리를 하고 있으나 사용목적에 대한 표현과 사용목적 관리의 미흡함으로 인하여 그에 따르는 개인정보의 프라이버시 보호에 있어서 효과적인 해결책을 제시하지 못하고 있다. 본 논문은 사용목적의 표현력을 향상시키면서. 사용목적의 효과적인 관리기법을 제시한다. 또한 개인의 프라이버시 보호를 위한 방법으로 사용목적의 분류화를 통해 최소권한의 원칙을 따르는 접근제어 기법을 제시한다. 본 논문에서는 사용목적을 상속적, 시간적 그리고 독립적 구조로 분류화하였으며, 이렇게 분류화된 사용목적에 대한 각기 다른 관리기법을 제시한다. 또한 접근제어의 유연성을 위해 RBAC의 역할계층 구조를 사용하였으며, 일의 최소 단위인 태스크(task)의 최소권한을 얻기 위한 조건으로 몇몇 특성의 사용목적을 사용하여 만족할 경우 태스크를 처리하기 위한 기존 모델보다 향상된 최소사용권한을 제공하는 기법을 제시한다. Interference Contrast)에 의한 내부구조 관찰이 최종 동정기준이 되어야할 것으로 나타났다.cillus로 구성되었다. 한편, DAL세균군(42균주)은 high G+C 및 low G+C gram positive 계통군 이외에도 proteobacteria -subdivision에 속하는 Afipia와 Ralstonia, proteobacteria -subdivision에 속하는 Variovorax, proteobacteria
$\beta$ -subdivision에 속하는Pseudomonas로 구성되어 계통학적으로 다양한 세균임이 확인되었다. 40%까지 대체가 가능하였으며, 아울러 높은 라이신 부산물의 대체 수준에 있어서 사료효율과 단백질 전환효율을 고려한다면 아미노산 첨가(라이신과 아르지닌)와 중화 효과에 좋은 결과가 있을 것으로 사료된다.의한 적정 양성수용밀도는 각고 5~6cm 크기의 경우 10~15개체가 적합하였다. 수증별 성장은 15~20 m 수층에서 빨랐으며, 성장촉진과 폐사를 줄이기 위해서는 고수온이 지속되는 7~10월에는 20~30m수층으로 채롱을 내려 양성하고 그 외 시기에는 15 m층 내외가 좋은 것으로 나타났다. 상품으로 출하 가능한 크기 인 각고 10 cm이상, 전중량 140 g 내외로 성장시 키기까지는 채묘후 22개월이 소요되었고, 출하시기는 전중량 증가가 최대에 이르는 3월에서 4월 중순이 경제적일 것으로 판단된다.er 90 % of good relative dynamic modulus of elasticity due to fineness of formation caused by the -
위임은 접근제어 분야에서 중요한 보안 정책 중의 하나이다. 사용자 레벨의 위임 관점에서 역할 기반 접근제어 모델을 기반으로 한 과거 위임 모델은 정보 노출과 위임 권한의 남용과 같은 보안 문제를 충분히 해결하지 못하고 있다. 본 논문에서는 관리적 역할기반 접근제어 모델과 위임 정책을 통합한 조직 구조 기반의 위임 역할 관리 모델(OS-DRAM)을 제시한다. OS-DRAM은 관리 행위의 범위 기준을 역할 계층과는 구별된 조직 구조로 정의하고 있어 사용자들에게 필요시 보안 관리자의 개입 없이 보안 관리자의 관리 범위 안에서 자유롭게 자신의 권한을 다른 사용자에게 위임할 수 있는 수단을 제공한다.
-
유비쿼터스 인프라의 발달로 인한 업무 환경의 활발한 변화는, 다양한 (이동성) 단말과 끊김 없는 네트워크를 통하여, 기업 내외부의 응용을 활용하며, 효율적인 상황인식에 따른, 실시간적 업무공간을 지원 받을 것이다. 이는 인증과 인가의 분리 구조로서, 기업 내부의 접근제어 미들웨어와 기업 외부의 서비스 프로바이더 간의 분산 환경을 의미한다. 그러나 이러한 처리는 도메인 상호간 안전한 상호운용성이 선결되어야 한다. 즉 유비쿼터스 업무공간의 협업 서비스를 위한 접근제어모델은, 상황인식과 실시간 정책변경의 처리가 다중도메인간의 안전한 연동과 함께 요구된다. 본 논문은 메타정책(Metapolicies) 기반으로 도메인 내부와 외부도메인의 접근제어를 구분하여 보호한, 다중도메인 관계의 동적 협업 RBAC모델을 제안한다.
-
e-seal은 RFID(Radio Frequency IDentification) 기술을 사용하여 원격에서 자동으로 봉인상태를 확인할 수 있는 컨테이너 봉인 장치를 말한다. RFID의 특징상 반도체 칩에 기록된 정보를 제 삼자가 쉽게 판독 및 변조할 수 있다는 취약점으로 인하여 활성화되지 못하고 있는 실정이다. ISO에서는 RFID의 취약점을 보안하기 위한 표준작업(ISO 18185)을 진행 중이다. 이 중, ISO 18185-4는 e-seal에 저장되는 자료나 리더와의 RF통신에서 데이터 보호를 위한 표준이다. 이와 관련된 연구로는 인증 프로토콜과 ISO 18185-4를 위한 보고서로 제출된 보안 프로토콜이 있다. 제안된 e-seal 보안 프로토콜을 적용하기 위해서는 e-seal과 리더 간의 데이터를 암/복호화할 키가 필요하지만, 키 서버를 통해 전달받은 마스터 키를 데이터 암/복호화 키로 바로 사용하는 것은 보안 상의 문제점을 야기할 수 있기 때문에 PRF(Pseudo Random Function)을 이용하여 마스터 키로부터 MTK(Mutual Transient Key)를 유도하고, MTK를 암/복호화 키로 사용해야 한다. 기존의 PRF는 일방향 해시 함수(MD5, SHA 등)를 기반으로 하는 HMAC[2. 3]을 일반적으로 사용하였다. 그러나 일방향 해시 함수는 e-seal과 같은 제한된 자원을 갖는 환경에 적합하지 않다. 따라서, 본 논문에서는 e-seal 보안 프로토콜을 위한 효율적인 PRF을 제안한다. 기존의 일방향 해시 함수 기반이 아닌 블록 암호화 알고리즘을 기반으로 하는 MAC을 이용하여 PRF을 보다 효율적으로 구현하였고, 블록 암호화 알고리즘은 AES를 선택 합성체
$GF((2^4)^2)$ 을 통해 하드웨어 모듈을 최적화 하였다. AES를 기반으로 하는 MAC은 HMAC에 비해 면적 및 처리율에서 뛰어난 결과를 보여주었다.<0.01).이상의 연구 결과, cook-chill생산 시 녹차 추출물의 첨가가 미생물적 품질유지에 효과가 있다고 사료되는 바 본 연구결과를 기초로 급식소에서 음식 생산 시 녹차 추출물 및 천연 항균성 물질 첨가에 따른 미생물적 품질 및 관능적 품질검사를 통한 레시피 개발에 관한 지속적인 연구가 수행되어야 하겠다.다.다리다보니 점심시간을 활용할 수 없게 되는 문제점에 대한 재검토가 필요하다. 따라서 차후 학교급식의 안전성 확보를 위한 급식환경 개선의 일환으로 식당공간 확보 시 신속한 시간 내에 급식이 가능하도록 넓은 공간과 쾌적한 환경의 식당 조성에 대해 관심을 기울여야 할 것으로 사료된다. 이상 여부를 반영하는 임상증상의 빈도가 높은 청소년기 남녀 중학생의 경우 아침과 저녁의 결식빈도 및 외식과 간식의 빈도가 높았고, 아침식사의 질과 체형만족도가 낮은 것으로 나타나 청소년의 건강과 식습관 및 체형만족도가 상호 관련성이 높은 것으로 나타났다. 따라서 본 연구 결과는 성장기 청소년의 건강 유지를 위하여 바람직한 식습관의 중요성을 재인식할 수 있었으며, 올바른 식습관 확립을 위한 영양교육의 중요성이 재확인되었다.경제적일 것으로 판단된다.er 90 % of good relative dynamic modulus of elasticity due to fineness of formation caused by the increase of the unit powder content and the improvement of flowability, without regard to the replacement of crushed stone fines. Therefore, it can be said that the usage of crushed stone fines can control the strength of super flowing concrete by replacement and re -
본 논문에서는 Wireless Sensor Networks(WSNs)에서 에너지 소모를 줄이기 위해 사용되는 In-network processing에 대하여 보안이 강화된 레벨 키 기반의 Infrastructure를 설계하여 노드의 전복 공격에 대해 안전한 패킷 포워딩을 보장하는 프로토콜을 제시한다. 이러한 계층적 구조를 가지는 보안 Framework는 노드의 추가 혹은 퇴거가 발생했을 때 Re-keying 비용을 획기적으로 줄일 수 있다. 시뮬레이션 결과, 전체 네트워크 중 전복된 노드가 40%를 차지할 때, 제안된 프로토콜을 사용하게 되면 약 3%의 추가적인 라우팅 오버헤드 비용으로 15%의 향상된 종단간 패킷 전송률을 보여준다. 또한 Re-keying을 할 때 OFT와 비교하여 통신비용을 현저하게 줄일 뿐만 아니라 서버의 도움 없이 키를 업데이트 하기 때문에 분산환경에 적합한 특징을 갖는다.
-
동적인 환경 정보를 제공하는 RFID 플랫폼 환경을 위한 보안 서비스를 제공하기 위해서는 동적인 분산 환경에 대한 고려가 필요하고, 한 번의 인증으로 여러 서비스를 이용할 수 있어야 하고, 다양한 자원의 보안 정책을 단순화 시키고, 보안 정책의 설정과 변경이 쉬워야 있어야 한다. 본 논문에서는 RFID 애플리케이션을 위한 상황 인식 보안 아키텍처로서 Single Sign-On 개념을 구현한 Kerberos를 이용한 통합 인증 모델과 단순한 권한 관리를 위해서 RBAC를 이용한 권한 관리 모델을 제시한다.
-
RFID(Radio Frequency Identification)는 라디오 무선 주파수를 가지고 대량의 사물을 동식에 인식을 할 수 있는 장점이 있지만. 무선 주파수를 사용하기 때문에 정보유출의 문제와 위치 추적과 같은 프라이버시 침해 문제를 야기 할 수 있다. 프라이버시 침해 문제에 대한 관심이 높아지면서 Ohkubo는 해시 체인을 이용한 프라이버시 보호 기법을 제시 했고, Feldhofer는 AES를 이용한 프라이버시 보호 기법을 제시 하였다. 그러나, Ohkubo논문의 경우 프라이버시 보호에 있어서는 우수하지만, 데이터베이스에서의 연산량이 많다는 단점을 가지고 있고. Feldhofer의 경우에는 전방위보안성과 같은 물리적 공격에 취약하다는 단점을 가지고 있다. 본 논문에서는 해시체인과 공개키를 이용해서 고가 물품에 부착하기에 적합한 고기능의 태그 하드웨어를 제안하고, 이를 이용하는 프라이버시 보호 기법을 제시한다.
-
개인정보의 유출을 방지하는 것은 유비쿼터스 컴퓨팅 서비스의 주요 이슈중 하나이다. 대표적인 유비쿼터스 서비스인 위치기반 서비스(LBS)는 개인의 위치 정보를 바탕으로 서비스를 제공한다. 이런 개인의 위치 정보는 개인 정보와 밀접한 연관이 있기 때문에, 개인의 위치 정보 노출을 방지하는 것은 위치 기반 서비스의 필수 과제이다. 본 논문에서는 서비스 업체가 개인의 위치 정보를 파악 또는 추적하는 것을 방지하기 위해 개인의 실제 이동경로와 거짓 이동경로를 함께 보내는 알고리즘을 제안한다. 기존의 알고리즘은 이러한 거짓 이동경로를 단순한 랜덤 값을 기반으로 생성했기 때문에 서비스 제공자가 실제 사용자의 이동경로와 거짓 이동경로를 쉽게 구별할 수 있었다. 본 논문에서는 거짓 이동경로를 다른 사용자의 이동경로와 GIS 정보를 바탕으로 생성하는 알고리즘을 제안한다. 본 논문에서 제안하는 알고리즘은 실제 사용자와 비슷한 이동경로를 갖는 거짓 이동경로를 생성하기 때문에 익명성을 향상시킬 수 있다.
-
나날이 발전하는 임베디드 시스템의 기술은 임베디드 시스템 간의 정보통신 시 보다 안전하고 효율적인 데이터 통신을 필요로 하고 있다. 이를 위해 최근 임베디드 간의 통신 시 암호화 된 데이터 통신으로 보다 안전한 통신보안 시스템을 구축하고 있다. 하기만 임베디드 상에서 충분히 안전한 보안 시스템을 구축하기에는 다소 부하가 큰 것으로 알려져 있다. 따라서 임베디드 시스템에 알맞은 암호화 시스템을 구축하는 것이 필요하다. 본 논문에서는 PXA255 기반의 임베디드 보드에서 RSA/SHA1 암호화 시스템과 DH/RC4 암호화 시스템을 구현하고 그 성능을 평가하였다.
-
상용 응용 소프트웨어들은 주요 정보 및 알고리즘들을 내포하고 있어, 악의적인 역공학자들에 의해 특정 소프트웨어를 decompile하여 자료구조 및 제어 흐름을 분석하려는 공격이 이루어 지고 있다. 본 논문에서는 MS 윈도우 XP 상의 Visual C++ (MFC 포함) 프로그램을 역공학 공격으로부터 보호하기 위한 데이터 obfuscator를 구현하고 그 성능을 평가한다. 구현한 obfuscator는 C++ 소스코드를 입력 받아 3가지의 데이터 obfuscation 알고리즘을 적용한 후, 이를 다시 소스코드로 재생성하는 도구로 큰 성능저하 없이 구현 가능함을 알 수 있다.
-
많은 소프트웨어 개발자들은 자신들의 프로그램들이 역공학 공격의 대상이 되는 것을 우려하고 있다. 특히 프로그램 내에 핵심적인 알고리즘이 내재되어 있는 경우 역공학 공격을 대비하는 기법이 필수적이다. 또한, 유비쿼터스 컴퓨팅 시대가 발전할수록 프로그램의 규모가 대형화됨에 따라 공동 개발자들 간에 프로그램 소스가 공유될 기회가 많아졌고, 그 결과 프로그램 소스 수준의 보호 기법도 필요하게 되었다. 본 논문에서는 C++ 프로그램 보호를 위해 Control Flow Obfuscator 도구를 구현하여 실험하였으며, 실험 결과 크지 않은 오버헤드로 악의적인 공격으로부터 프로그램을 분석을 어렵게 할 수 있음을 보인다.
-
RFID는 무선주파수를 이용하여 부착된 태그의 정보를 얻어올 수 있는 시스템이다. 향후에 바코드를 대체할 RFID는 식품,가전,출판,물류,재고관리,교통 등 우리생활의 전반에 걸쳐 사용될 획기적인 시스템이지만, 개인,상품 등의 프라이버시의 노출로 인한 심각한 문제가 발생될 소지가 있다. 이를 해결하기 위하여 암호화 기법, 해쉬 락 기법, 해쉬 체인 기법 등이 제안되었다. 본 논문에서는 기존에 제시되었던 인증기법들에 대해서 알아보고, 해쉬함수와 공통키를 이용하여 좀더 안전한 방법으로 리더와 태그간의 통신을 인증할 수 있는 프로토콜을 제안한다.
-
RFID기술은 RF를 이용하여 자동적으로 사물의 정보를 획득할 수 있는 매우 편리한 기술이다. 하지만 악의적인 공격자에 의해 사물의 의도적으로 노출이 될 수 있는 문제를 지니고 있다. 이러한 RFID 시스템의 보안적 취약점을 보안하기 위해 많은 프로토콜들이 제안되었지만, 아직까지 완벽하게 보안성과 경제성을 모두 만족시키지 못하였고, 직관적인 방법에 의해 제안 프로토콜들을 검증하여 명확한 검증이 이뤄졌다고 할 수 없다. 본 논문에서는 새로운 RFID 인증 프로토콜을 제안하고 직관적인 검증이 아닌 정형기법을 이용하여 프로토콜의 보안성을 검증하였다.
-
21세기 정보혁명을 바탕으로 전쟁의 양상은 정보전, 네트워크 및 컴퓨터 중심의 사이버전과 같은 새로운 전쟁 패러다임으로 변화하고 있다. 이러한 정보전에 대비하여 국방정보체계에 다양한 정보보호시스템을 설치하여 사용하고 있다. 그러나 국방정보체계 환경에 현재까지 배치된 정보보호시스템들은 침해 사고에 대한 탐지 및 보고 등의 수동적인 대응만을 지원한다. 그러므로 발생한 공격에 대한 대응을 마련하더라도 동일한 공격자가 동일한 목표 시스템에 대하여 또 다른 공격 기술을 이용하여 재침입이 가능하다. 이를 방어하기 위하여 공격에 대한 능동적인 대응이 필요하다. 대표적인 능동 대응 기술인 침입자 역추적은 시스템 및 네트워크에 대하여 공격을 시도하는 침입자의 네트워크 상의 실제 위치를 추적하는 기술이다. 침해 사고를 근본적으로 차단하기 위하여 침입자의 실제 신분 확인이 필수적이다. 이를 위하여 본 논문에서는 침입자 역추적 기술을 분석하고 국방정보체계 환경을 위한 세션분석기반의 침입자 역추적 기술을 제안한다. 또한 이 기술을 기반으로 구현한 침입자 역추적 시스템을 소개한다.
-
유비쿼터스 컴퓨팅 패러다임이 제시된 이래로 세계적으로 유비쿼터스 컴퓨팅에 대한 연구가 활발히 진행되고있다. 그러나 아직까지 유비쿼터스 컴퓨팅은 현실세계에 적용하기에는 많은 기술적. 비기술적 장벽들이 많이 존재한다. 보안과 프라이버시에 관한 사회적인 우려는 유비쿼터스 컴퓨팅 기술의 실제 환경에 적용하는데 큰 걸림돌로 작용한다. 따라서 진행되고 있는 많은 유비쿼터스 연구들은 각각의 프로젝트에 적합한 보안 및 프라이버시 보호를 위한 기술들을 개발하여 적용하고 있는 실정이다. 유비쿼터스 시스템 연구센터는 유비쿼터스 컴퓨팅을 구현하기 위해 커뮤니티 컴퓨팅을 제안하였다. 커뮤니티 컴퓨팅에서 발생할 수 있는 보안 문제점들을 해결하기 위해 커뮤니티 스킨을 구현하였다. 커뮤니티 스킨은 커뮤니티 구성원들을 커뮤니티 외부 개체들과 구분 짓고, 외부의 침입으로부터 보호해 줄 수 있다. 커뮤니티 스킨은 암호학적 알고리즘을 적용함으로써 구현될 수 있다. 본고에서는 보안 서비스를 4가지 유형으로 분류하고 이를 토대로 커뮤니티가 보안 협약을 통한 커뮤니티 스킨을 형성 하도록 하였다.
-
유비쿼터스 센서 네트워크(Ubiquitous Sensor Networks: USNs)환경은 주변 공간의 상황을 인식할 수 있고, 인식한 상황을 바탕으로 적절한 시기에 필요한 정보를 올바른 사용자나 사용자 장치에게 제공해주는 지능적인 환경을 제공한다. 이러한 환경에서 사용자의 위치정보는 매우 중요한 요소로 부각되고 있고 위치측정기술도 개발되고 있다. 하지만, 사용자의 위치정보를 측정하는 것은 다른 한편으로 사용자의 프라이버시를 침해 할 수도 있는 심각한 보안상의 문제점을 야기시킬 수 있다. 본 논문에서는 CBS(Covert Base Station)을 이용하여 베이스스테이션만이 노드의 위치를 파악할 수 있도록 하고, 위치를 파악하는 동안 노드 및 노드 주변의 다른 어떤 노드에게도 위치가 노출되지 않도록 하기 위한 (n, t+1) 쓰레시홀드 암호화 기법을 제시한다.
-
최근 인터넷 공격은 웹 서비스 환경에서 다양한 공격 유형들이 인터넷상에서 나타나고 있는 실정이다. 특히 인터넷 웜이나 기타 알려지지 않은 공격이 대중을 이루고 있어 기존의 정보 보호 기술로는 한계에 다다르고 있으며 이미 알려진 공격을 탐지하는 오용탐지 기술로는 적절하게 대응하기 어려워진 상태이다. 또한, 웹 서비스 이용이 확대되고 사용자 요구에 맞게 변화하면서 인터넷상의 노출된 웹 서비스는 공격자들에게 있어 주공격 대상이 되고 있다. 본 논문에서는 웹 기반의 트래픽 유형을 분석하고 각 유형에 따른 이상 징후를 파악할 수 있는 비정상 탐지 모델을 정의하여 정상 트래픽 모델과 비교함으로써 현재 트래픽의 이상 정도를 평가하고 탐지 및 규칙생성, 추가하는 HTTP 트래픽 기반의 비정상행위 탐지 시스템을 설계하고 구현하였다.
-
유비쿼터스 환경에서는 개체가 특별히 소비자를 지정하지 않고 메시지를 송신하는 것과 같은 메시지 전송방법을 자주 사용하게 된다. 이런 통신 방법으로 기존에는 N:1 클라이언트/서버 통신 방법을 기반기술로 하였으나 컴퓨팅 기기들이 점점 산재되고, 기기들의 이동성 또한 증가되면서, 이러한 통신 모델은 여러 형태의 분산 컴퓨팅 환경에 적용하기에는 불충분하게 되었다. 유비쿼터스 컴퓨팅 환경을 포함한 오늘날의 많은 분산 컴퓨팅 환경에서는 여러 응용들의 메시지 상호작용을 위해 간접 통신 모델을 사용하고 있다. 전통적인 통신 모델을 사용하는 대신에 같은 간접 통신 모델을 이용하면, 분산 환경에서의 응용들 사이의 결합도를 감소시키고 많은 정적인 요구들을 제거할 수 있는 이점이 있다. 본 논문에서는 신뢰할 수 있는 유비쿼터스 환경을 만들기 위해 UPnP 기반의 안전한 메시지 통신 서비스를 설계하고 구현한다. 구현된 서비스는 내용기반의 검색이 가능하고, SPKI/SDSI 인증서를 이용하여 정당한 권한을 지닌 제공자와 소비자만이 메시지를 주고받을 수 있도록 한다.
-
최근 유비쿼터스 환경의 실현을 위한 핵심기술로서 RFID 시스템에 대한 연구가 활발히 진행되고 있다. 그러나 RFID 시스템이 가지고 있는 특성으로 인하여 사용자 프라이버시 침해 문제가 대두되고 있으며 이를 해결하기 위한 방법들이 개발되고 있다. 기존의 해시 체인 기법은 프라이버시를 침해하는 공격들에 대해서 가장 안전한 기법이다. 그러나 태그를 식별하기 위해서 백엔드 시스템에서의 계산량이 많다는 문제점이 있다. 따라서 본 논문에서는 이러한 확장성 문제를 해결하기 위해 해시 체인 기법 기반으로 Heilman's method를 적용하여 병행 가능한 부분을 추출한 후 각 노드별로 분할하여 적용함으로써 노드별로 수행하는 방법을 설계한다.
-
네트워크의 발달과 분산처리 시스템의 확산에 따라 정보의 노출이나 손실 및 변경과 같은 보안상의 문제들이 크게 증가하고 있다. 따라서 메시지처리와 보안에 대한 많은 연구가 진행 중에 있으며 X.400 메시지처리시스템과 메시지 보안 프로토콜이 대표적인 예이다. 하지만 메시지 보안 프로토콜은 X.509 공개키 기반구조를 사용하고 있어 인증단계가 복잡하다는 단점이 있다. 이에 본 논문은 기존 X.509 공개키 기반구조를 보다 단순화시켜 유연하게 지원하기 위해 SPKI/SDSI기반구조의 SPKI/SDSI인증형식을 갖춘 인증서를 정의하여 X.509 인증구조보다 간소화한 메시지 보안 프로토콜을 설계 및 구현하였다.
-
USN은 유비쿼터스 컴퓨팅 구현을 위한 기반 네트워크로 초경량. 저전력의 많은 센서들로 구성된 무선 네트워크이다. USN환경에서 센서 노드들이 사용 가능한 자원은 제한적이기 때문에 센서 노드들 사이에 안전한 통신 서비스를 제공하는 보안 프로토콜의 설계가 쉽지 않고, 무선통신으로 데이터를 교환하기 때문에 공격자들에게 다양한 공격들을 시도할 수 있는 기회를 제공한다. 본 논문에서는 기존에 제안된 USN에서 센서 노드간 안전한 키 설립 방법들에 관하여 살펴본다. 향후 USN 환경을 위한 센서 네트워크 기반 안전한 키 분배 보안 프로토콜을 제안하고자 한다.
-
유비쿼터스 환경은 모든 사물에 부착된 센서를 통해 정보를 습득하고 관리하는 네트워크를 통해 구현이 가능하다. 그러나 이러한 네트워크의 구현을 위해서는 바코드와 같은 기존의 인식장치보다 좀 더 지능적이고 효율적인 인식장치가 필요하게 되었고 그 최적의 대안이 RFID이다. RFID(Radio Frequency IDentification)란 일정(무선) 주파수 대역을 이용한 자동인식기술로 원거리에서도 대상물을 분석하여 개체의 정보를 읽거나 기록할 수 있는 시스템이다. 본 논문에서는 유비쿼터스 환경을 위한 RFID 미들웨어에 관하여 기술하고, RFID 기반 생산관리시스템을 구현하고자 한다.
-
중요한 정보의 저장 및 보호하는 기능을 제공하는 스마트카드가 온라인/오프라인에서 대규모 응용에 사용되기 위해서는 강력한 사용자 인증이 요구된다. 이러한 요구는 생체정보의 사용으로 그 효과를 볼 수 있는데, 생체정보의 사용은 사용자 인증을 강력하게 할 뿐만 아니라 외우지 않아도 되는 편리한 비밀키를 제공한다. 동시에 중요한 개인정보인 생체정보 및 처리중의 정보를 스마트카드에 의해서 보호받는 MoC(Match on Card) 방식을 적용받게 된다. 그러나 기존의 MoC방식의 인증 및 키 추출과정에서는 생체정보를 추출하는 과정/방법이 키값의 획일성을 보장하지 못한다는 한계점을 그대로 가지고 있다. 따라서 본 논문에서는 퍼지볼트 스킴을 이용하여 키의 획일성을 확보하면서 생체정보에 대한 보호를 강화시키는 동시에 사용자 인증을 처리하는 방안을 연구하였다.
-
본 논문에서는 계층적인 센서 네트워크에서 하위 센서 노드의 인증이나 센싱된 정보의 암호화를 위해 사용할 수 있는 키를 관리하기 위하여 키 선분배를 기본으로 키 재분배 방법을 제공하는 키 관리 메커니즘을 제안한다. 본 키 관리의 특징은 첫째, 중앙 관리의 약점을 극복하기 위해 키 관리를 다른 aggregator 노드들에 분산시켰다. 둘째, SINK 노드는 키의 재분배를 위한 키 스페이스를 제외하고, 이미 분배된 키에 대해서는 어느 노드에게 어떤 키를 분배했는지 또는 그 키 자체를 저장하지 않고, 키 계산을 위한 일부 정보만 저장하고 있다가 노드가 메시지에 첨부하여 주는 키 정보를 이용해 사용된 키를 간단히 계산하며, 키 풀의 확장이 용이하여 확장성을 제공한다. 마지막으로 계산 및 메모리 측면에서의 오버헤드 분석을 통해 제안된 키 관리의 확장성 제공을 입증한다.