• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.506-508
• /
• 2003

개방형 네트워크인 인터넷에 급속한 발달로 인하여 Offline상에서 처리되던 기존의 업무들이 Online상의 업무로 빠르게 전환되어 가고 있다. 하지만 Online상에서의 업무처리는 항상 개인 정보누출, 개인정보의 위조 및 변조의 문제를 내포하고 있으며, 위와 같은 문제를 해결하기 위한 대안으로 PKI 기반의 인증서 검증 시스템이 제안 되었고 현재도 연구가 계속 되어지고 있다. 본 논문에서는 PKI 기반의 인증서 상태검증 방식 중의 하나인 CRL기반의 인증서 상태검증 방식과 OCSP기반의 인증서 상태 검증 방식의 대하여 기술하고, 실시간으로 인증서 상태를 검증 할 수 없는 CRL 기반의 인증서 상태검증 방식의 단점과 네트워크 상태의 따라 인증서 검증 속도가 달라지는 OCSP기반의 인증서 상태 검증 시스템의 단점을 해결하기 위한 데이터베이스를 이용한 클라이언트-서버 기반의 인증서 상태 검증 시스템을 제안하고, 실제 실험을 통해서 CRL기반의 인증서 검증 시스템과 OCSP기반의 인증서 검증 시스템 그리고 제안하는 데이터베이스를 이용한 클라이언트-서버 인증서 검증 시스템의 검증속도를 비교해 보고자 한다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2009년도 한국우주과학회보 제18권2호
• /
• pp.47.1-47.1
• /
• 2009

관제시스템 중 임무계획시스템은 위성시스템을 이용한 일련의 임무를 수행하는데 있어, 위성의 상태를 고려하여 임무간 상호 충돌이 없도록 최적의 임무계획을 수립하는 시스템이다. 상용화 촬영임무의 증가로 인해 1일 촬영요청수가 증가한다면 임무간 시간충돌 및 자원에 의한 제한 사항을 검증하는데 많은 시간이 소요되고, 임무계획 작성의 오류 가능성이 증가하게 된다. 이러한 어려움을 해결하기 위해서 임무계획검증시스템이 제안되고 개발되었다. 임무계획검증시스템은 임무계획시스템과 연동되어 운영되도록 설계되었으며, 검증기능 외에도 교신 스케줄 자동생성 기능을 포함하고 있다. 임무계획검증시스템의 주요기능은 임무계획검증, 명령계획검증, 교신스케줄생성 기능을 가지고 있으며, 각 모듈에서 생성된 내용은 공통 데이터베이스로 운영된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.349-351
• /
• 2005

자가 적응 시스템을 무인 시스템(UWS: Unmanned Weapon Systems)에 적용하기 위한 다양한 연구가 이루어지고 있다. 자가 적응 시스템은 임무중인 시스템이 다양한 주변 환경 및 시스템의 변화에 따라 능동적으로 시스템 또는 임무수행을 위한 전략을 주정해 항상 최상의 성능을 발휘할 수 있도록 하는 능력을 갖춘 시스템을 말한다. 자가 적응 시스템에서 능동적으로 변화시킨 시스템의 아키텍처나 임무수행 전략이 유효한 것인지에 관한 검증을 수행한 후 시스템에 적용해야 한다. 기존의 대부분의 자가 적응 시스템에 대한 연구결과에서는 능동적으로 변화된 시스템이 임무수행에 적합한지에 대한 검증 방법을 제시해 주고 있지 않다. 본 연구에서는 UWS의 자가 적응 시스템이 임무수행 중 변화 되었을 때 미래의 발생할 사건에 대해 적절하게 적용 가능한지를 검증하기 위하여 시간적인 사건의 완전성을 검증하기에 적합한 Computation Tree Logic(CTL) 모델체킹(Model Checking)을 적용하여 자가 적응 시스템의 적응결과를 검증하는 방법을 제시하였다.

• 천문학회보
• /
• 제37권2호
• /
• pp.199.2-199.2
• /
• 2012

인공위성 개발과정에서 인공위성 개발을 지원하는 다양한 프로그램 개발이 요구되는데, 이러한 프로그램의 마지막 개발 단계는 프로그램 검증 단계가 된다. 프로그램 검증 단계를 통해 발견된 오류나 미비 사항이 발견되면 이를 보완하는 과정을 거치게 된다. 하지만, 기존의 프로그램 검증 방식은 프로그램 검증자가 문제 상황에 대해 수작업으로 일일이 보고하는 방식을 기반으로 하고 있어 정상적인 프로그램 검증이 실패할 수도 있다. 이러한 단점으로 인해 최악의 경우, 필요 기능 미비 또는 오류에 의한 인공위성 개발 일정의 지연을 가져올 수도 있다. 따라서 본 논문에서는 성공적인 인공위성 개발을 위한 기존의 비효율적인 프로그램 검증 방식을 자동화하는 효율적인 프로그램 검증 시스템을 새롭게 제시한다. 본 논문에서 제시한 효율적인 프로그램 검증 시스템은 프로그램 검증자가 프로그램을 이용하면서 발생하는 메시지를 저장하고 문제상황 발생시에 이를 중앙 서버로 전송하는 방식을 채택하고 있다. 이러한 인공위성 개발을 위한 효율적인 프로그램 검증 시스템은 기존의 비효율적인 보고방식을 자동화함으로 해서 프로그램 검증 시스템의 효율을 극대화하여 성공적인 인공위성 개발을 지원할 것으로 판단된다.

• 한국시뮬레이션학회논문지
• /
• 제19권1호
• /
• pp.41-51
• /
• 2010

500MW급 초임계압 표준 석탄 화력 발전소에의 실증 적용을 목표로 국산 분산제어시스템의 개발 연구가 진행되고 있다. 시뮬레이터는 원자력발전소의 디지털 제어시스템 업그레이드나 아날로그 제어 시스템의 디지털 제어시스템으로의 개체시 제어 시스템의 검증용으로 활용되고 있으며, 국내에서도 중용량 석탄 화력 보일러 제어 시스템 검증에 활용된 바 있다. 본 논문에서 는 500MW급 표준 석탄 화력 발전소에의 적용을 목적으로 개발 중인 제어 시스템을 검증하기 위해 제어 검증용 시뮬레이터를 개발하였다. 제어 검증을 위한 제어 모델을 개발하는데 있어서 현장 제어 시스템 데이터와 시뮬레이션 개발 환경에서 현장 데이터를 활용가능하게 하는 변환 프로그램, 제어 시스템 제작사 매뉴얼에 기반하여 제어 모델을 개발하였다. 개발한 시뮬레이터는 열평형상태시험, 부하변동 시험, 고장모사시험 등을 통하여 효용성을 확인하였으며, 개발 중인 제어 시스템을 검증하고, 기존 제어 시스템의 분석 및 개선에 유용하게 활용할 수 있을 것으로 기대한다.

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

002년 기준 우리나라 전체 인구의 약 67%인 3000만명 정도가 인터넷을 사용하고 있으며, 인터넷 사용량 증가 속도 또한 매년 기하급수적으로 늘어나고 있다. 하지만 개방형 네트워크인 인터넷은 개인정보누출, 개인정보 위변조 등과 같은 문제를 내포하고 있으며 이러한 개인 신상정보와 관련한 문제를 해결하기 위하여 PKI기반의 인증서 검증 시스템 즉 공개키 기반의 인증서 검증 시스템이 제안되었다. 본 논문에서는 PKI 기반의 인증서 검증 시스템에서의 인증서 상태 검증 방식 기법인 CRL기반의 인증서 상태 검증 방식과, Delta-CRL 기반의 인증서 상태 검증 방식 OCSP 기반의 인증서 상태 검증 방식에 대해 기술하고 현재 사용되고 있는 인증서 상태 검증 방식의 문제점인 실시간 처리와 네트워크 과부하 문제를 해결하기 위한 방안으로 내부 프로시저와 데이터베이스를 이용한 클라이언트-서버 기반의 인중서 상태 검증 시스템을 제안하고자 한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.246-246
• /
• 2000

다른 생체기반 검증시스템에 비해 서명 검증 시스템에서 가장 문제점은 불안정한 특징 정보를 가진다는 것이다. 그러나, 서명은 인류역사를 통해 인간에게 가장 익숙한 방법이므로 사용자에게 거부감이 없어 수많은 연구가 진행되고 있다. 본 논문에서는 이 문제를 해결하기 위해 좀더 안정화 되어 있고 유용한 특징정보를 사용하여 서명 검증 시스뎀을 구현한다

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.595-598
• /
• 2000

원자력 발전소와 같이 시스템 오작동으로 인하여 엄청난 재난을 불러 올 수 있는 시스템은 시스템을 구축하기 이전에 완전한 설계 및 검증이 절대적으로 필요하다. 특히 긴급성을 요하는 원자력 발전소의 긴급 차단 시스템과 같은 실시간 safety-critical 시스템은 시스템 행위의 유기적인 측면뿐만 아니라, 시간적 제약을 고려하여 엄격하게 명세하고 분석해야 한다. 본 논문에서는 시각적 기반의 설계 명세 언어인 STATECAHRT를 이용하여 원자력 발전소 제어 시스템을 명세하고 이를 모델 체킹 검증 도구인 SMV로 검증함으로써 시스템의 신뢰성을 높이고 실시간 safety-critical 시스템의 설계 및 검증에 대한 방법론을 제시한다. 본 연구에서는 [6]의 논문의 명세 오류를 수정하여 명세 및 검증을 수행하였다.

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

일반적으로 기존의 도메인으로부터 인증서를 검증하는 방법은 CRL(Certificate Revocation List), OCSP(Online Certificate Status Protocol), Freshest CRL, Delta CRL등이 있으나 CRL 검증 방식에 대해서 여러 단점이 부각되었다. 현재 CRL 검증 방법에 대해서 효율적으로 검증하기 위한 방안이 OCSP, Delta CRL등이 제시하여 서비스를 하고 있는 실정이다. 피러나 이런 검증 서비스 시스템에도 한계성이 드러나게 되었고 그 단점을 보완하기 위한 검증 시스템을 채택하여 기존의 인증서 검증 서비스보다 효율적이고 안정적인 시스템을 구현하기 위해 CSMS(Certificate Status Management Server)를 제시한다. CSMS는 OCSP와 같이 실시간으로 검증과 빠른 서비스로 USER에게로의 응답을 위한 서비스를 제공함으로써 전자상거래를 통한 트랜젝션에 적합한 시스템을 위한 것이다.

• 한국지능시스템학회논문지
• /
• 제13권5호
• /
• pp.505-511
• /
• 2003

생성 규칙의 지식 표현 방식은 많은 장점에도 불구하고 일관성 유지가 어렵다는 단점을 갖고 있다. 그런데 지식의 일관성 유지 여부는 지식을 기반으로 한 추론 결과의 신뢰도에 직결되므로 신뢰성을 제고하기 위하여 일관성 검증 시스템이 필수적이다. 일관성 검증 방식 중 가장 많이 사용되는 쌍 검증(pairwise checking) 방식에서는 가치 있는 규칙이 생략될 수 있으며 규칙의 수가 많은 경우에는 검증 시간이 많이 걸리는 단점이 있다. 따라서 본 논문에서는 확실한 특성의 리스트와 가능한 특성의 리스트를 사용하고 검증단계를 개선함으로써 쌍 검증 방식의 단점을 보완하여, 구조적 및 의미적 오류도 제거한 수 있는 검증 시스템을 제안하고 구축한다.