• Title/Summary/Keyword: 존재 증명

Search Result 529, Processing Time 0.025 seconds

Study on Media Gateway Resources Discovery Method (Media Gateway 자원 탐사 기법에 관한 연구)

  • 엄남경;우성희;이상호
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.04a
    • /
    • pp.139-141
    • /
    • 2001
  • 현재 급격히 증가하고 있는 인터넷 서비스 수요에 따라 데이터망의 구축을 위한 투자의 필요성이 제기되어 여러 벤더들이 최적의 장비를 구입하여 망을 구축할 수 있도록, 통신 장비들의 상호 운용성을 지원하는 멀티서비스를 지원하는 개방형 구조의 망 시스템을 표준화하는 작업이 이루어지고 있다. 이 논문에서는 개방형 구조의 망을 구성하는 MG와 MGC 간에 제어 프로토콜인 MEGACO 프로토콜을 확장하여 MG에 존재하는 자원을 탐색하는 기법을 알아보고, 간단한 관리 기능 측면에서 관련 프로토콜과의 비교분석 후, 효율성을 증명한다.

TSP SDK Implementation (TSP(Time Stamp Protocol ) SDK 구현)

  • 원형석;노종혁;최대선;진승헌
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.10c
    • /
    • pp.589-591
    • /
    • 2002
  • 시점확인 서비스(Time-Stamping Service)를 위한 프로토콜인 Time-Stamp protocol(TSP)를 구현하는데 필요한 기능들을 SDK로 구현하였다. 어떤 데이터가 특정 시점 이전에 존재했음을 증명하기 위해 Time-Stamp token을 발행하는 시점확인 서비스는 전자공중, 전자상거래, DVCS 등 여러 보안과 관련된 응용서비스에서 필요한 모듈이다. 본 논문에서는 시점확인 서비스를 위한 time-stamp protocol을 설명하고, TSP SDK 구현 내용, SDK를 시험하기 위한 테스트베드 및 SDK 구현시 참고사항을 서술한다.

  • PDF

Classify of Intrusion Tolerant System (침입감내 시스템의 분류)

  • 김기한;조현철;윤영태
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.10c
    • /
    • pp.448-450
    • /
    • 2002
  • 현재의 보안활동은 침입방지, 침입탐지 및 패치 제공과 같은 수동적인 보안이 주로 수행된다. 그러나 소프트웨어에서 취약성이 존재하지 않는다는 것을 증명하는 것은 불가능한 일이다. 침입감내 시스템은 수동적인 보안이 아닌 적극적인 보안의 개념으로 침입이 발생하더라도 시스템이 제공하는 서비스를 지속적으로 제공하는 것을 목표로 하고 무결성과 가용성을 강조하는 개념이다. 본 논문에서는 현재 진행 중인 침입감내 시스템에 대한 프로젝트에 대해 알아보고 침입감내 시스템에 대해 계층기반과 복제기반으로 분류를 수행한다. 그리고 계층기반과 복제기반은 프로그램과 데이터의 관점에서 나누어 분류하고 각 4가지 분류에서 고려해야할 기술적 기능적 특징을 알아본다.

  • PDF

Ultra water repellent thin films by PECVD method and nano-clustering phenomena (PECVD 법에 의해 제작한 초발수 박막과 나노 클러스터링 현상)

  • Yun, Yong-Seop;Lee, Myeong-Hun;Takai, Osamu
    • Proceedings of the Korean Institute of Surface Engineering Conference
    • /
    • 2012.05a
    • /
    • pp.234-234
    • /
    • 2012
  • 본 연구는 PECVD법에 의한 초발수 박막의 생성과정에서 생기는 나노 클러스터링 현상에 관하여 레이저 산란법에 의해 살펴보았다. 이와같이 레이저 산란법에 의해 플라즈마에서 나노 클러스터의 존재를 증명함으로써, 초발수 박막의 생성이 더스티 플라즈마 중 유기분자들이 분해 및 재결합 과정을 통하여 이루어졌음이 밝혀졌다.

  • PDF

Security Vulnerability Analysis for Yang's Strong Password Authentication Scheme (Yang의 강력한 패스워드 인증 스킴에 대한 보안 취약점 분석)

  • Kim, Jun-Sub;Kwak, Jin
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2011.04a
    • /
    • pp.797-799
    • /
    • 2011
  • 현재까지 많은 강력한 패스워드 인증 프로토콜들이 제안되고 있으나 이 프로토콜들은 여러 보안 취약점이 존재한다. 2010년 Yang 등은 Ku가 제안한 프로토콜이 훔친 검증자 공격에 취약하다는 것을 지적하며 SPAS를 제안하였다. 하지만 SPAS는 Ku의 프로토콜과 마찬가지로 훔친 검증자 공격에 대한 취약성을 가지고 있다. 따라서 본 논문에서는 SPAS를 분석하고 SPAS가 훔친 검증자 공격에 안전하지 못함을 증명한다.

Web-based Negotiation Support Systems Approach to Inter-Departmental Conflicts Resolution (부서간 갈등을 해결하기 위한 웹 기반 협상지원시스템에 관한 연구)

  • 이건창;김진성
    • Proceedings of the Korea Database Society Conference
    • /
    • 1999.06a
    • /
    • pp.227-239
    • /
    • 1999
  • 본 연구에서는 부서간 갈등을 해결하기 위한 새로운 방법론으로서 웹 기반 협상지원시스템 (Web-based Negotiation Support System: Web NSS)을 제안한다. 기업의 경영활동에 있어서 각 부서간에는 여러 가지 이유로 인해 갈등이 존재한다. 대표적으로 생산부서와 마케팅 부서간에는 갈등이 항상 존재하기 마련이다. 예를 들어, 마케팅 부서에서는 수시로 변하는 고객들의 요구사항에 맞추기 위해서 제품라인을 확대하여 다양한 제품들을 생산하고, 그에 따른 높은 판매실적을 원한다. 그러나, 생산부서에서는 이와는 달리 적은 종류의 제품을 가능한한 한정적으로 생산하여 제품에 들어가는 원가를 절감하고 그에 따라서 생산실적을 높이려고 한다. 이 같은 유형의 부서간 갈등은 결과적으로 기업의 전체적인 성과를 저해시키는 요인으로 작용한다. 또한, 최근 대부분의 기업은 각각의 부서별 기능을 분산형태로 운영하고 있어서 관련부서가 지리적으로 멀리 떨어져 있게 되어 새로운 의사결정통합 지원시스템이 절실히 요구된다 본 연구에서는 이러한 상황에 적합한 새로운 유형의 갈등관리 메커니즘으로서 웹 기반 협상지원시스템을 제안한다. 본 시스템은 생산부서와 마케팅부서간의 갈등을 해결하고 이를 협상의 형태로 지원하기 위한 웹 기반 의사결정지원시스템이다. 본 연구에서는 실험과정을 통하여 제안하는 의사결정지원시스템의 성과를 증명하였다.

  • PDF

Web-based Negotiation Support Systems Approach to Inter-Departmental Conflicts Resolution (부서간 갈등을 해결하기 위한 웹 기반 협상지원시스템에 관한 연구)

  • 이건창;김진성
    • Proceedings of the Korea Inteligent Information System Society Conference
    • /
    • 1999.03a
    • /
    • pp.227-239
    • /
    • 1999
  • 본 연구에서는 부서간 갈등을 해결하기 위한 새로운 방법으로서 웹 기반 협상지원시스템(Web-based Negotiation Support System: Web NSS)을 제안한다. 기업의 경영활동에 있어서 각 부서간에는 여러 가지 이유로 인해 갈등이 존재한다. 대표적으로 생산부서와 마케팅 부서간에는 갈등이 항상 존재하기 마련이다. 예를 들어, 마케팅 부서에서는 수시로 변하는 고객들의 요구사항에 맞추기 위해서 제품라인을 확대하여 다양한 제품들을 생산하고, 그에 따른 높은 판매실적을 원한다. 그러나, 생산부서에서는 이와는 달리 적은 종류의 제품을 가능한한 한정적으로 생산하여 제품에 들어가는 원가를 절감하고 그에 따라서 생산실적을 높이려고 한다. 이같은 유형의 부서간 갈등은 결과적으로 기업의 전체적인 성과를 저해시키는 요인으로 작용한다. 또한, 최근 대부분의 기업은 각각의 부서별 기능을 분산형태로 운영하고 있어서 관련부서가 지리적으로 멀리 떨어져 있게 되어 새로운 의사결정통합 지원시스템이 절실히 요구된다. 본 연구에서는 이러한 상황에 적합한 새로운 유형의 갈등관리 메커니즘으로서 웹 기반 협상지원시스템을 제안한다. 본 시스템은 생산부서와 마케팅 부서간의 갈등을 해결하고 이를 협상의 형태로 지원하기 위한 웹 기반 의사결정지원시스템이다. 본 연구에서는 실험과정을 통하여 제안하는 의사결정지원시스템의 성과를 증명하였다.

  • PDF

Observer Based Output Feedback Control for Time-Delay Systems (시간지연 시스템의 관측기 기반의 출력 피드백 제어)

  • Lee, Sung-Ryul
    • Journal of the Institute of Electronics Engineers of Korea SC
    • /
    • v.48 no.3
    • /
    • pp.48-52
    • /
    • 2011
  • This paper presents the observer based output feedback control design for linear systems which have both input and output time delay. Sufficient conditions for existence of stabilizing output feedback controller are characterized by linear matrix inequalities. Since the condition of the proposed design depends on the value of time delay, it is less conservative than existing delay-independent approaches. Finally, an illustrative example is given in order to show the effectiveness of our design method.

Robust Observer for Nonlinear Systems with Delayed Output (지연된 출력을 갖는 비선형 시스템의 강인 관측기)

  • Lee, Sungryul
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.50 no.7
    • /
    • pp.253-257
    • /
    • 2013
  • This paper proposes the robust observer design for nonlinear systems with delayed output and external disturbance. It is shown that by considering a nonlinear term of error dynamics as an additional state variable, the nonlinear error dynamics with time delay can be transformed into the linear one with time delay. Sufficient conditions for existence of a robust observer are characterized by linear matrix inequalities. Finally, an illustrative example is given in order to show the effectiveness of our design method.

Output Feedback Consensus of High-order Integrators with a Communication Delay (통신 지연을 갖는 고차 적분기시스템의 출력 피드백 일치)

  • Lee, Sungryul
    • Journal of IKEEE
    • /
    • v.20 no.4
    • /
    • pp.378-384
    • /
    • 2016
  • This paper addresses the output feedback consensus problem for high-order integrators under a directed network with a communication delay. In order to solve this problem, the dynamic output feedback controller is proposed. Also, by using Lyapunov-Krasovskii functional, it is shown that the existence of the proposed consensus controller can always be guaranteed even in the presence of an arbitrarily large communication delay.