• 제목/요약/키워드: 존재 증명

검색결과 529건 처리시간 0.029초

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

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

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

  • 원형석;노종혁;최대선;진승헌
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
    • /
    • 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)

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

  • PDF

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

  • 윤용섭;이명훈
    • 한국표면공학회:학술대회논문집
    • /
    • 한국표면공학회 2012년도 춘계학술발표회 논문집
    • /
    • pp.234-234
    • /
    • 2012
  • 본 연구는 PECVD법에 의한 초발수 박막의 생성과정에서 생기는 나노 클러스터링 현상에 관하여 레이저 산란법에 의해 살펴보았다. 이와같이 레이저 산란법에 의해 플라즈마에서 나노 클러스터의 존재를 증명함으로써, 초발수 박막의 생성이 더스티 플라즈마 중 유기분자들이 분해 및 재결합 과정을 통하여 이루어졌음이 밝혀졌다.

  • PDF

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

  • 김준섭;곽진
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2011년도 춘계학술발표대회
    • /
    • pp.797-799
    • /
    • 2011
  • 현재까지 많은 강력한 패스워드 인증 프로토콜들이 제안되고 있으나 이 프로토콜들은 여러 보안 취약점이 존재한다. 2010년 Yang 등은 Ku가 제안한 프로토콜이 훔친 검증자 공격에 취약하다는 것을 지적하며 SPAS를 제안하였다. 하지만 SPAS는 Ku의 프로토콜과 마찬가지로 훔친 검증자 공격에 대한 취약성을 가지고 있다. 따라서 본 논문에서는 SPAS를 분석하고 SPAS가 훔친 검증자 공격에 안전하지 못함을 증명한다.

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

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

  • PDF

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

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

  • PDF

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

  • 이성렬
    • 전자공학회논문지SC
    • /
    • 제48권3호
    • /
    • pp.48-52
    • /
    • 2011
  • 본 논문에서는 입력과 출력에 동시에 시간 지연이 존재하는 선형시스템에 대한 관측기 기반의 출력피드백 제어방법을 제안한다. 선형행렬 부등식을 이용하여 출력 피드백 안정화 제어기가 존재할 충분조건을 유도한다. 입출력 시간지연을 모두 고려했다는 점과 관측기 기반의 출력 피드백제어기 라는 점에서 기존의 연구결과와 차별성을 가진다. 마지막으로 제안한 결과의 유효성을 증명하기 위하여 모의실험 예제를 제공한다.

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

  • 이성렬
    • 전자공학회논문지
    • /
    • 제50권7호
    • /
    • pp.253-257
    • /
    • 2013
  • 본 논문은 지연된 출력과 미지의 외란을 갖는 비선형 시스템에 대한 강인 관측기 설계방법을 제안한다. 지연된 출력의 존재에도 불구하고 관측기의 추정오차에 대한 외란의 효과를 원하는 수준까지 줄일 수 있음을 보인다. 강인 관측기의 존재조건은 시간 지연 값에 의존적인 선형행렬 부등식을 이용하여 제시한다. 마지막으로 제안한 결과의 유효성을 증명하기 위하여 수치 예제를 제공한다.

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

  • 이성렬
    • 전기전자학회논문지
    • /
    • 제20권4호
    • /
    • pp.378-384
    • /
    • 2016
  • 본 논문은 통신 지연을 가지는 방향 네트워크로 연결된 고차 적분기시스템의 출력 피드백 일치문제를 다룬다. 이 문제를 해결하기 위하여 기존의 저이득 제어기에 설계변수를 추가한 새로운 동적 출력 피드백 제어기를 제안한다. 또한, 제안한 제어기의 존재성이 임의로 큰 통신지연이 존재하는 경우에도 항상 보장됨을 증명한다.