• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.220-222
• /
• 2003

최근 연구되고 있는 XML 문서를 위한 접근 제어에 관한 연구는 간접적으로 접근 권한을 표현하는 명세 기반 접근 제어 방법과 각 객체에 직접적인 접근 권한을 표현하는 속성 기반 접근 제어 방법으로 구분할 수 있는데, 명세 기반 접근 제어 방법은 공간 효율적이며, 속도 비효율적인 특성을 갖으며, 속성 기반 접근 제어 방법은 속도 효율적이며, 공간 비효율적인 특성을 갖는다. 또한 이러한 연구의 초점은 안전한 접근 제어를 보장하면서, 부가적인 비용 증가를 줄이고자 하지만, 대부분의 연구에서는 인덱스 기법에 기반 하지 않고 문서 전체 또는 일부를 액세스 하므로 탐색 비용 또는 데이터 처리 비용이 증가하고, 특정 기법에 국한 하여 적용하기 때문에 각 기법이 갖는 근본적인 문제점온 해결 할 수 없다. 따라서 이러한 문제점을 해결하기 위해 인덱스 기반의 전역 접근 제어와 지역 접근 제어 메커니즘 제안하고. 이률 기반으로 명세/속성 기반 접근 제어를 연계하여 강제 접근 제어(MAC)의 최소 접근 권한 정책을 지원하는 역할 기반 다중 레벨 접근 제어 모델에 적용하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.369-372
• /
• 2005

최근 소프트웨어의 수요가 증가함에 따라 수요를 충족시키기 위한 다양한 응용 소프트웨어 개발 방식 중 컴포넌트 기반 소프트웨어 개발(CBSD: Component-Based Software Development) 기술이 빠르게 발전하였고, 이에 실제 개발된 컴포넌트의 합성을 통한 커다란 응용 소프트웨어 개발이 활발히 진행되고 있다. 또한 컴포넌트들이 서로 정확하게 합성되고, 작동할 수 있는 방법으로 소프트웨어 아키텍쳐 기반의 합성 환경에 대한 연구들이 진행되고 많은 방법들이 제안되었다[1]. 이에 본 논문에서는 지금껏 제안된 아키텍쳐 모델들이 갖고 있는 소프트웨어 개발에 있어 전체적인 흐름파악의 어려움과 변경의 파급효과라는 문제점들을 해결 및 최소화 시킬 수 있는 방법으로 제안된 워크플로우라는 개념을 사용한 소프트웨어 아키텍쳐 모델에 대한 추가 연구와 더불어 아키텍쳐의 명세를 XML로 정의하므로, 명세 구문의 수정 및 확장이 용이하도록 하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (상)
• /
• pp.247-250
• /
• 2003

웹 기반 교육시스템에 컴포넌트 개념을 도입하여 재사용하는 연구는 소프트웨어 재사용 측면에서 생산성 증대에 기여한다. 이 논문에서는 웹 기반 교육시스템에 컴포넌트 개념을 도입하여 재사용성을 높이는 연구의 연장으로 컴포넌트를 인터넷상에 개방하면서 그 컴포넌트에 대한 검색을 하거나 컴포넌트를 이해하고자하는 사용자들에게 도움이 되는 정보들이 상세하게 기술되어야 함을 전제로 개발자의 WBI에서 요구 사항에 부합되는 컴포넌트를 검색하기 위한 컴포넌트 명세 모델과 아키텍쳐에 기반한 컴포넌트 검색 모델을 XML형태로 명세하고 클래스 다이어그램으로 표기하였다. 컴포넌트에 대한 표준명세서가 정의되지 않았기 때문에 본 시스템에서는 정의된 명세서 이외의 다양한 컴포넌트 명세서를 수용할 수 있는 유연성을 가진 검색 방법을 사용하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.358-360
• /
• 2000

컴포넌트는 소프트웨어 재사용 기술의 핵심 기술로서, 소프트웨어 개발 시간을 단축시키고 생산성을 향상시킨다. 인터넷의 급속한 보급과 컴포넌트 시장의 확산으로 컴포넌트 사용자들이 인터넷 상에서 검색, 저장, 유통하기 위하여 컴포넌트 명세가 정의되어야 한다. 컴포넌트 명세는 컴포넌트 특성을 명확히 이해하기 위하여 구문적(syntatic), 의미(semantec), 그들 사이의 관계, 사용 문맥, 품질 속성들을 포함한 정보가 기술되어야 한다. 본 논문에서는 컴포넌트를 명세하기 위한 명세 요소들을 살펴보며, 컴포넌트를 표현하기 위한 기술 방법들을 정의한다. 또한, 컴포넌트 메타데이터 및 리소스 정보, 외부 인터페이스들의 논리적 구조 및 시맨틱 표현기법을 연구하고 컴포넌트 명세서 표현을 위한 메타데이타 모델을 근거로 컴포넌트 명세서를 효과적으로 생성할 수 있는 XML 기반 컴포넌트 명세서 확장 모델을 개발하고자 한다.

• 인터넷정보학회논문지
• /
• 제5권6호
• /
• pp.67-77
• /
• 2004

본 논문은 인과성 모델에 기반 한 멀티미디어 동적 저작시스템을 구현하였다. 사용자가 원하는 시나리오를 직관적이고 자연스럽게 프로그램 하도록 2가지 명세를 정의하였다. 인과성을 바탕으로 한 시간 명세는 프리젠테이션에 참여하는 미디어 객체간의 시간관계를 정의한 것이며, 두 번째 명세는 스크린상에 실행되는 미디어들의 상대적인 위치 관계를 토대로 정의한 공간 명세이다. 이 두 가지 사양을 토대로 프리젠테이션 시스템을 구성하였다. 본 시스템의 구성은 멀티미디어 전자문서 생성 과정을 반영한 것이며 그 단계로는 1차원 스트링 리스트 생성 단계, 시간 및 공간 트리 생성 단계, 복합 트리 생성 단계로 구성 처리하였다.

• 정보처리학회논문지C
• /
• 제8C권2호
• /
• pp.221-233
• /
• 2001

오늘날 이동 에이전트 기술은 네트워크 트래픽을 효과적으로 줄이고, 서버의 인터페이스를 바꾸지 않고 클라이언트의 다양한 요청을 융통성 있게 서비스할 수 있는 기술로 여겨지고 있다. 그러나 대부분의 이동 에이전트 시스템들은 그들 자신의 구조를 적용하고 다른 방법으로 구현되어, 특정 이동 에이전트 시스템에서 생성된 이동 에이전트는 다른 에이전트 시스템에서는 사용될 수 없다. 이러한 문제를 해결하기 위하여 OMG(Object Management Group)는 이질적인 에이전트 시스템간의 상호운용선(interoperability)을 증진시킬 목적으로 이동 에이전트와 에이전트 시스템간의 공통된 개념적인 모델에 대하여 기술한 MAF(Mobile Agent Facilities) 명세를 제안하였다. 본 논문에서는 OMG MAF 명세를 만족하는 자바 기반의 SMART 시스템에 관하여 기술한다. SMART 시스템은 MAF 명세에 따른 이동 에이전트간의 상호운용성을 지원하고, MAF 명세에서 권장하는 보안 모델을 기반으로 한 독자적인 보안 기능을 제공한다. 또한 보다 안정된 에이전트 시스템의 운영을 위하여 자체적인 에이전트 및 에이전트 시스템의 영속성(persistence)과 예외처리를 지원한다.

• 한국컴퓨터정보학회논문지
• /
• 제8권4호
• /
• pp.21-27
• /
• 2003

본 논문에서는 정확한 분석 모델을 제시하기 위해서 객체 모델을 정의하고, 이 모델을 정형화와 표준화에 필요한 형식명세로 변환하는 방법을 제안한다. VDM 형식으로 변환된 모델은 정확성, 일관성, 완전성을 제공할 수 있다. 증명의 대상인 VDM 명세에서 오류가 발생한다면 초기 객체 모델 단계에 적용하여 객체 모델의 검증이 가능하다. 검증된 객체 모델을 설계 단계의 기반 명세로 사용하므로 추후 개발 단계의 비용과 노력을 최소화하고 객체 모델 선택의 정확성을 높일 수 있다.

• 정보처리학회논문지C
• /
• 제8C권2호
• /
• pp.113-121
• /
• 2001

접근제어의 목적은 컴퓨팅 자원 및 통신 정보자원 등을 부당한 사용자로부터 사용되거나, 수정, 노출, 파괴와 같은 비합법적인 행위로부터 보호하는데 있다. 대표적인 보안 정책 중에서 Biba 모델은 정보의 무결성을 보장하지만 상업적인 환경에 적용되기는 다소 미흡하며, 역할기반 접근제어 정책은 상업적인 측면의 보안정책에 적용이 가능하지만 접근되는 객체의 중요도에 따른 보안등급이 고려되지 않았다. 본 논문에서는 Biba 모델의 보안등급을 역할기반접근제어 모델에 적용함으로써 주체가 해당 객체를 부당하게 변경하는 것을 방지함과 동시에 수많은 접근권한을 관리하는데 융통성을 제공한다. 그리고 제안한 접근제어 모델의 제약조건들을 정형 명세 언어인 Z언어를 통해 명확히 표현함으로써 정책 입안자나 프로그래머가 접근제어정책을 설계하고 구현하고자 할 때 프로그램 개발에 소요되는 시간을 단축할 수 있다. 또한, 제안한 모델을 망관리 객체의 연산과 등급을 갖는 역할과 제약조건을 사용하여 실제 운영되는 통신망 관리에 적용하여 봄으로써 정보의 무결성이 보장됨을 보였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.430-432
• /
• 2002

상태 기반 정형 기법이 가진 문제점 중 하나인 상태 폭발 문제를 해결하기 위해, 본 논문에서는 명세 모델과 실행 모델을 정의하고 각 모델에 적용되는 추상화를 정의한다. 명세 모델은 구문을 바탕으로만 추상화로 비논리 내부연산 추상화와 구조 추상화를, 실행 모델은 시간, 자료, 위치가 가진 의미를 통해 추상화하는 시간, 자료, 위치 공간 추상화를 수행한다. 예제에 추상화를 적용하여 상태 감소와, 계층성 생성, 복잡도 감소의 과정을 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권9호
• /
• pp.835-846
• /
• 2005

제품계열(Product Line)은 핵심자산(Core Asset)을 서로 공유하는 제품들의 집합이며, 제품계열 공학(Product Line Engineering, PLE)은 제품계열을 특화(Instantiation) 할 수 있는 원리, 기술, 메커니즘과 프로세스들의 집합이다. PLE는 여러 유사한 제품들간에 공유할 수 있는 핵심자산을 만들고, 그 핵심자산을 특정 제품에 맞게 실체화 시켜서 제품을 만든다. 모델 기반 아키텍처(Model Driven Architecture, MDA)는 자동화 도구를 이용하여 모델로부터 구현으로 구체화하는 접근 방법이다. 그러므로, 핵심자산을 MDA의 플랫폼 독립적인 모델(PIM)로 정의하여 구현까지 자동화한다면, 두 개발 방법의 장점을 극대화 할 수 있다. 하지만, 핵심자산을 표현하는 UML 프로파일은 현재까지 없으며, PLE의 핵심자산 및 제품 조림의 자동화 생산을 위한 PIM 명세 기법의 연구가 부족하다. 본 논문에서는 PLE기술과 MDA 기술을 접목하기 위해 PIM 수준의 핵심자산 명세 기법을 제안한다. 핵심자산을 명세하기 위해 아키텍처 명세, 컴포넌트 명세, 워크플로우 명세, 알고리즘 명세, 결정 모델 명세 기법을 제안한다. 본 논문의 명세 기법은 PLE, MDA 기술을 사용하여 제품의 생산성, 적용성, 유지보수성 및 품질 향상을 지원한다.