• Annual Conference of KIPS
• /
• 2005.11a
• /
• pp.773-776
• /
• 2005

본 논문에서는 그동안 연구 및 개발해온 분산객체그룹 프레임워크로부터 새로운 분산서비스들을 추가한 확장 분산객체그룹 프레임워크를 제안한다. 확장 분산객체그룹 프레임워크는 기존 프레임워크의 구성요소들과 이들에 의해 제공되는 서비스들은 그대로 유지하고, 분산 프로그램 개발 툴(Distributed Programming Developing Tool, DPD-Tool), 모바일 프락시 및 컨텍스트 제공자 구성요소들을 새롭게 추가하였다. 각 구성요소의 제공 서비스를 살펴보면, DPD-Tool은 분산객체그룹 프레임워크의 지원을 받아 클라이언트, 서버 프로그램 개발자 및 분산응용 관리자 GUI를 통해 쉽고 편리하게 분산 프로그램을 개발할 수 있는 도구이다. 모바일 프락시는 분산응용 서비스를 요청하는 이동 사용자의 위치를 기반으로 서비스 수행의 연속성을 지원한다. 그리고 컨텍스트 제공자는 하드웨어 기기 및 센서들로부터의 상황인식 및 추론 기술을 제공한다. 또한, 본 확장 프레임워크는 분산자원의 특성에 따라 다양한 속성정보를 통합 관리하기 위한 정보저장소 기술을 포함하며, 기존서비스 뿐만 아니라 새롭게 추가한 분산서비스들의 지원을 통해 분산응용의 수행성을 보장하도록 한다. 결론적으로 본 연구에서는 다양한 분산서비스에 맞추어 상황별로 적응 지원이 가능하며, 분산 프로그램을 용이하게 개발할 수 있는 도구를 함께 제공하고 있는 통합 프레임워크를 제시한다..

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.538-540
• /
• 1998

기존의 객체지향 시스템이 갖는 한계와 통신의 대중화로 인해 분산 시스템에 대한 관심이 높아지고 있다. 따라서 분산 시스템이 갖는 여러 가지 특성에 기반하여 새로운 소프트웨어 공학적인 접근이 필요하다. 이에 대한 노력의 일환으로 본 논문에서는 분산 시스템을 이루는 분산 객체들의 통합테스트기법을 제안한다. 분산되어져 있는 여러 객체들을 통합하여 하나의 분산 시스템이 수행된다. 따라서 객체들을 통합할 때 발생하는 오류가 분산 시스템 테스트에서는 특히 고려되어져야 한다. 본 논문에서는 각 분산 객체들 사이의 인터페이스를 테스트 대상으로 보고, UML기반의 개발 산출물인 순서도.협력도.전개도가 갖는 정보들을 이용하는 새로운 테스트 기법을 제안한다. 또한 제안한 기법을 적용한 사례연구를 통해, 본 논문에서 제안한 통합 테스트기법으로 실제 통합에서 발생하는 오류가 테스트될 수 있다는 사실을 보인다. 나아가 본 논문의 통합 테스트기법에서 분산 객체를 콤포넌트로 확장한다면, 콤포넌트 기반 시스템을 위한 통합테스트도 가능하게 할 수 있는 효과도 있다.

• Communications for Statistical Applications and Methods
• /
• v.4 no.3
• /
• pp.611-616
• /
• 1997

불균형일원변량모형에서 분산성분비율의 점추정에 관한 문제가 고려되어진다. 분산성분비율에 대한 새로운 추정량이 제안되며, 분산성분비율에 대한 여러가지 점추정량과 제안된 추정량을 평균자승오차(MSE)의 관점에서 추정량들의 효율성을 모의실험을 통하여 살펴본다. 결론적으로 제안된 추정량은 수준의 수가 크고 불균형정도가 매우 심한 경우를 제외하고 다른 추정량들보다 훨씬 MSE 효율성이 높아짐을 알 수 있다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1998.12a
• /
• pp.243-252
• /
• 1998

비밀분산은 비밀정보의 관리나 multiparty 프로토콜, 그룹 암호방식등의 분야에서 매우 중요한 부분이다. 따라서 본 논문에서는 일방향 해쉬함수에 기반한 효율적인 온라인 비밀분산 방식을 제안하고자 한다. 제안하는 방식은 하나의 share만으로 여러 개의 비밀을 분산할 수 있고, 액세스 구조가 변하는 경우에 notice board에 공개된 값들만 변경하면 각 참가자들은 기존의 share를 그대로 사용할 수 있다. 또한 참가자들의 부정이 있는 경우 그 수에 관계없이 부정한 참가자의 신분을 밝혀낼 수 있으며, 기존의 방식보다 계산상 효율적이라는 장점이 있다.

• Annual Conference of KIPS
• /
• 2006.11a
• /
• pp.487-490
• /
• 2006

단일의 BRE를 사용하는 비즈니스 롤 시스템에 새로운 룰이 추가 또는 수정될 경우, 기존의 비즈니스 룰과 의미적인 충돌이 발생할 수 있으며, 이는 잘못된 비즈니스 수행결과를 초래하는 원인이 된다. 이를 위해 비즈니스 룰 시스템은 내부적으로 발생하는 비즈니스 룰 간의 충돌을 검출하고 해결할 수 있는 기능을 제공한다. 그러나 서로 다르게 구현된 다수의 BRE를 이용하는 분산 비즈니스 룰 시스템에서는 하나의 BRE에 추가된 새로운 비즈니스 룰이 다른 BRE의 룰과 충돌이 발생하는지 여부를 자동적으로 확인할 수 있는 방법이 제공되지 않아서, 사용자가 직접 모든 BRE에서 룰의 충돌 여부를 확인해야 하는 어려움을 가지고 있다. 기존의 분산 비즈니스 룰 시스템에 관한 연구에서도 서로 다른 BRE들을 분산 배치하고 비즈니스 룰을 실행하는 방법에 대한 연구만을 수행하였을 뿐, 분산된 비즈니스 룰 간의 충돌을 해결하는 것에 대한 연구는 미흡한 실정이다. 본 논문은 이러한 분산 비즈니스 룰 시스템에서 비즈니스 룰의 추가 및 변경 발생 시, 룰 간의 충돌을 검출하고 해결하기 위하여 기존 연구의 한계점을 분석하고 새로운 시스템 요구사항들을 도출하였다. 이를 기반으로 기존에 제시된 비즈니스 룰 브로커 구조를 확장, 보완한 분산 비즈니스 룰 충돌 검출 시스템의 아키텍처를 제안하고 이를 설계하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.190-192
• /
• 2005

PKI(Public Key Infrastructure)에서 인증서 상태 검증은 네트워크 환경에서의 거래에 신뢰성과 안전성 및 기밀성, 무결성 등의 서비스를 제공한다. 인증서 검증 방식은 CRL, OCSP, SCVP, DVCS 등이 있다. CRL은 시간이 지남에 따라 CRL의 크기가 증가하여 검증 시간이 지연되고 실시간 검증을 할 수 없는 단점을 가지고 있다. OCSP는 CRL을 이용하지 않고 거의 실시간에 가깝게 인증서를 검증하지만 서버의 부하 증가와 느린 검증 등의 단점을 가지고 있다. 분산 OCSP는 OCSP 서버를 분산시킨 후 CRL을 중복하여 보관하거나 분개하여 보관한 상태에서 검증하는 방식으로 대리검증에 따른 느린 검증과 CA의 부하부담 등의 단점을 가지고 있다. 본 논문에서는 제기된 단점들을 해결하여 빠른 검증과 부하 분산 효과를 얻을 수 있도록 분산된 OCSP 서버를 그룹으로 분류하고, 그룹 내의 각 서버에 인증서 폐지 정보를 중복 저장하여 부하분산, 빠른 검증, CRL을 Delta CRL 방식으로 OCSP 서버에 전송하여 네트워크 부하를 감소할 수 있도록 그룹 분산 OCSP 방식을 제안하고자 한다.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.17 no.4
• /
• pp.81-86
• /
• 2003

Using DG for peak-shaving unit could reduce the overall system operating cost, and using DG for standby power unit could improve the reliability of the distribution system The models of peak-shaving unit and standby power unit are different from each other. The Monte-Carlo simulation is suitable for the purpose of the analysis of two DG models. In this paper, the reliability indices are calculated from the time-sequential method, and the merit and defect of the peak-shaving unit and standby power unit are investigated.

• Annual Conference of KIPS
• /
• 2012.11a
• /
• pp.946-949
• /
• 2012

클라우드 컴퓨팅환경에서 사용되는 분산 파일 시스템은 데이터를 저장하는 분산 저장 서버와 각 데이터의 메타데이터를 저장하는 마스터 서버로 구성되어 있다. 마스터 서버와 분산 저장 서버는 수시로 서버의 상태나 메타데이터의 정보를 교환하지만, 통신 시 암호화가 전혀 고려되지 않아, 제 3자에 의한 도청이나 위변조시 사용자의 데이터에 대한 가용성을 보장받지 못할 수 있다. 이에 대한 방지 대책으로 통신 과정을 암호화함으로써 해결할 수 있지만, 무한히 확장 가능한 분산 저장서버에 대해 단일 마스터 서버와의 통신과정을 암호화하게 된다면 수많은 키에 대한 관리 대책을 필요로 하게 된다. 하지만 이 때, 분산저장서버를 하나의 그룹으로 묶어 그룹키를 사용하여 통신과정을 암호화한다면 보다 효율적으로 해결할 수 있다. 따라서 본 논문에서는 분산 저장 서버와 마스터 서버 간 안전하고 효율적인 암호화 통신을 위한 그룹키 확립 프로토콜을 제안하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.28-30
• /
• 2002

이동 분산 실시간 시스템(MDRTS:Mobile Distributed Real-time Systems)은 분산 네트워크 상에서 협력 동작하며 특정 시간 내에 요구하는 정보를 제공하는 이동 시스템이다. MDRTS는 시간, 이동성, 분산성 등을 표현하기 때문에 명세 복잡도가 높고, MDRTS의 성공적인 동작을 보장하기 위해 보다 정확하고 효율적인 시스템의 설계가 중요하다. 특히 시스템의 분산성과 이동성에 의해 발생하는 다양한 종류의 제약 사항을 표현한 수 있는 정형기법이 필요하다. 본 논문에서는 MDRTS을 명세하기 위해 PATM(Probabilistic Abstract Timed Machine)[1]을 확장하여 정의한 DATM(Distributed Abstract Timed Machine)에 대해 기술한다. DATM은 PATM에서 표현하기 힘들었던 이동하는 기계의 분산 정보를 명세할 수 있도록 하였고, 시간, 거리, 확률, 보안에 대한 제약 사항을 명세할 수 있도륵 정의하였다. MDRTS가 가진 제약사항들은 영역을 정의하여 표현하였다. 영역의 종류에는 시간영역, 거리영역, 확률영역, 보안영역이 있다. 각 영역의 속성에 시간적인 제약을 표현할 수 있으며, 시간과 공간 논리를 사용하여 모델링하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.6
• /
• pp.1464-1480
• /
• 1997

Distributed systems offer environments for attaining high performance, fault-tolerance, information sharing, resource sharing, etc. But we cannot benefit from these potential advantages without suitable management of events/states occurring in distributed systems. These events and states can be symptoms for performance degradation, erroneous functions, suspicious activities, etc. and are subject to further analysis. To properly manage events/states, we need to be able to specify and efficiently detect these events/states. In this paper we first describe an event/state specification language and a centralized algorithm for detecting events/states specified with this language. Then we describe an algorithm for distributing an event/state detection task in a distributed system which is hierarchically organized. The algorithm consists of decomposing an event/state detection task into subtasks and allocation these subtasks to the proper nodes. We also explain a method to make the distributed detection fault-tolerant.