• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2002년도 종합학술발표회논문집
• /
• pp.381-384
• /
• 2002

현재 인증서의 상태 검증을 실시간으로 제공하기 위해 각 CA(Certificate Authority)들은 고전적 방법인 CRL(Certificate Revocation List) 배포보다는 OCSP(Online Certificate Status Protocol)을 통하여 인증서의 상태에 대한 정보를 실시간으로 제공한다. 그러나, 경로검증 및 인증서 정책 맵핑 및 정책검증과 인증서 상태검증을 제공하는 SCVP(Simple Certificate Validation Protocol)는 CRL을 사용하는 한계로 인하여 실시간 검증을 제공하지 못하고 있다. 또한 OCSP는 인증서의 실시간 상태검증만을 제공할 뿐, 인증서의 경로검증과 인증서 정책 맵핑 및 정책검증에 대한 서비스는 제공하지 못하고 있다. 따라서, 이러한 두 프로토콜의 단점을 보안하고, 인증서 검증서버가 제공해야 하는 모든 서비스를 제공하기 위해 OCSP와 SCVP의 연동방안에 대한 연구를 통하여 SCVP에서의 실시간 검증을 제공할 수 있도록 한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2014년도 제50차 하계학술대회논문집 22권2호
• /
• pp.9-12
• /
• 2014

이 논문에서는 ISO/IEC JTC 1/SC 32/WG 2에서 개발한 메타데이터 관리 표준에 대한 검증 및 활용성 향상 방안을 제안한다. 메타데이터는 데이터의 데이터라고 정의하며 데이터를 표현하기 위한 다양한 데이터를 의미한다. 메타데이터는 데이터에 대한 해석 및 처리를 보다 용이하게 하기 위한 정보로서, 데이터에 대한 정확한 이해를 통해 데이터 불일치 문제를 해결하기 위해 이용된다. ISO/IEC JTC 1/SC 32는 데이터 교환 및 관리를 위한 표준을 개발하며 특히 WG 2는 메타데이터 관리를 위한 다양한 표준을 개발한다. WG 2에서 다양한 많은 표준을 개발하였으나 검증 및 활용성 측면에서 몇 가지 한계를 지닌다. 따라서 이 논문에서는 WG 2에서 개발한 표준에 대한 검증 및 활용성 향상을 위한 방안에 대하여 서술한다.

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

코드검증은 소프트웨어공학에서 제안한 개발 프로세스 상의 여러 절차 중 비용 대 효과 측면에서 가장 효과적이라고 알려져 있다. 그러나 코드검증 절차 도입 초기에는 적용에 따른 기대 수준이 낮으며, 추가 작업에 대한 개발자와 관리자의 부담이 높기 때문에 투입시간, 자원할당 등의 계획은 설득력 있는 근거를 바탕으로 체계적으로 수립되어야 한다. 본 논문에서는 기존 제품 개발 시 발생되었던 결함의 원인 분석과 결함 제거에 투입된 공수 산출을 바탕으로 코드검증 절차를 개발 프로세스 상에 도입, 계획할 수 있는 방안을 제시한다.

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

전자 신뢰 매커니즘 기반의 정보사회에서는 기밀성과 인증의 확보가 필수적이며 이를 위해서는 전자서명 기술을 포함하고 있는 공개키 기반의 인증서관리 체계의 확립이 선결되어야 한다. [3] 인증서의 정당성을 검증하기 위해 검증자는 소유자의 인증서와 그 인증서를 인증한 공인인증기관의 인증서를 검증해야 하고, 이전에 인증서 폐지를 확인해야 하며, 실제 공개키 기반구조 환경에서 인증서의 유효성을 검증하기 위해서는 인증서 자체 검사와 함께 최상위 인증기관(루트CA)으로부터 사용자에게 인증서를 발행한 단말CA까지의 인증트리를 검증해야 한다[3]. 본 연구에서는 효율적인 인증서 폐지정보의 검증을 위해 다중 CA환경에 적합한 NPKI상에 B-Tree데이터구조를 적용하는 인증서 폐지 검증 방안을 제안하고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 하계학술대회 논문집 A
• /
• pp.388-390
• /
• 2004

디지털 보호계전기의 성능 검증에 있어서 RTDS(Real Time Digital Simulator)와 같은 디지털 시뮬레이터를 사용하는 경우가 점점 증가하고 있다. 특히 보호계전기의 동특성(Dynamic Performance) 시험에 있어서는, 디지털 시뮬레이터를 이용한 성능 검증이 거의 필수적이다. 본 논문에서는 디지털 보호계전기 중 거리계전기의 Reach Test에 있어서 성능 검증에 사용할 계통 모델 선정 방안을 PSCAD/RTDS에서의 구현 관점에서 기술하고 있다. 양단 전원을 가지는 4모선 2회선 송전선로를 Bergeron 모델을 이용하여 모델링하고, 모델의 유효성을 귀납적인 방법을 사용해서 검증하는 방안을 제시하고 있다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2014년도 춘계학술대회
• /
• pp.89-91
• /
• 2014

전자해도는 IHO의 S-57 ENC Product Specification에 따라 해양의 모든 지형정보를 포함하는데, 해양의 지형정보에는 해안선, 등심선, 수심 그리고 항로표지 등이 포함된다. 전자해도가 포함하는 정보는 수로측량을 통해 제작된 측량원도를 이용하여 제작하는데, 대용량의 측량원도 자료는 매우 조밀하고 양이 방대하여 전자해도에 반영하기 위해서는 수심 정보를 발췌하여야 한다. 국립해양조사원에서는 측량원도의 정보를 발췌하기 위한 방안으로 수심편수규칙을 정하고 있으며, 편수 단계와 편수 후 검증 단계를 거쳐 전자해도의 수심 정보를 제작하고 있다. 그러나 편수와 편수 후 검증은 모두 수작업으로 진행하고 있어, 보다 효율적이고 정확한 방법으로 수심 편수 결과를 검증하기 위한 방안이 필요하다. 본 논문에서는 수심 편수 결과를 규칙에 맞도록 편수되었는지를 평가하는 방안을 연구하였다. 각 편수된 수심을 들로네 삼각분할 기법에 따라 영역을 삼각분할하고, 측량원도의 수심 정보와 삼각분할 된 삼각형과 비교 분석하여 수심이 수심편수규칙을 준수하는지를 비교분석하였다.

• 정보와 통신
• /
• 제28권4호
• /
• pp.3-10
• /
• 2011

본고에서는 산업-IT융합포럼의 국방 분과 운영 경험을 토대로 국방에 IT를 융합하여 발전시키기 위한 현안을 살펴보고 활성화를 위한 전략적 방안을 제안하고자 한다. 이를 위해 정보화 관점에서 국방 내 외부 요인을 검토하여 1) 빠르게 변화하는 정보기술에 대한 군사적 적용가능성을 시험 검증하여 신속하게 도입할수 있는 방법 2) 검증된 상용기술 제품에 대하여 중장기 기획관리 절차를 생략하고 빠르게 전력화할 수 있는 제도적 방안 3) 무기체계 개발에 있어 국산 소프트웨어의 채택 4) 현 방산업체가 제작하는 무기체계에 필요한 소프트웨어 개발과 관련하여 일반기업에게도 참여할 수 있는 기회를 제공하는 방안을 중점적으로 살펴본다. 특히, 기존 정보화보다는 큰 틀에서 국방과 IT의 융합을 활성화하기 위하여 국가의 산업-IT융합 정책과 보조를 맞추되 국방 내부의 변화에 초점을 두고 IT 시범사업의 활성화, 상용 제품 및 기술의 검증을 위한 실험부대의 설치 및 운용 등의 다양한 개선대안을 제시한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2005년도 제17회 한글 및 한국어 정보처리 학술대회
• /
• pp.145-150
• /
• 2005

본 논문에서는 자연어 처리 연구에서 이용되는 품사 표지 부착 말뭉치의 오류 검증 방안에 대해 제안한다. 현재까지의 품사 표지 부착 말뭉치들은 정제보다는 구축에 중점을 두고 있으며, 기존의 오류 검출과 정정 방안에 관련된 연구들은 기 구축된 말뭉치를 대상으로 한 것이 아니라, 품사 표지 부착 시스템의 후 처리에 집중하고 있다. 형태소 분석기나 품사 표지 부착 시스템의 학습에 이용되는 품사 표지 부착 말뭉치가 오류 검증 단계를 거친다면 이 시스템들은 좀 더 높은 신뢰성을 가지게 될 것이다. 본 논문에서는 품사 표지부착 말뭉치 검증을 위한 어절 분할 오류, 철자 오류, 표지 부착 오류, 형식 오류, 일관성 오류의 5가지 오류 유형과 검증 방안을 제안한다. 또한 제안한 방법에 따라 세종 계획의 형태소 분석 말뭉치의 오류를 검증해 보았으며, 그 결과 말뭉치 오류 정제가 말뭉치의 신뢰도를 향상시킬 수 있음을 보인다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 학술대회 논문집 정보 및 제어부문
• /
• pp.429-430
• /
• 2008

본 논문은 전기출력이 1400 MWe급으로 개발된 첨단 원자력 발전소인 APR1400(신형겨수로 1400) 제어계통에 적용되는 디지털시스템의 설계 및 성능 검증을 위해 개발 중인 디지털제어계통 검증시스템에 관한 것이다. APR1400 디지털제어계통은 발전소 출력 제어 및 안전운전과 관련 된 중요 기능들을 수행하며, 기존 원자력발전소와 달리 단일 디지털 Platform을 적용하고, Multi-Loop 개념과 네트워크을 적용하여 Controller와 케이블 수량을 줄인 특징을 가지고 있다. 이와 같을 설계는 지금가지 원자력발전소에는 적용된 적이 없기 때문에 사용자 측면에서는 디지털 제어 계통 설계 및 성능 관점에서의 검증을 위한 시스템이 요구되었다. 현재는 APR1400 시뮬레이터(발전소 모델링을 통한 모의시스템)를 이용한 검증시스템을 1차적으로 구축한 상태에 있으며, 시스템 전체 시험을 진행 중에 있다. 특히, 이번에 개발 중인 검증시스템은 구성이 간단하고 사용이 편리한 장점을 지니고 있을 뿐만 아니라 다양한 고장상황을 재현해 봄으로써 디지털제어계통의 성능을 확인해 볼 수 있는 특징을 보유하고 있다. 본 검증시스템의 활용방안으로는 첫째, 계통설계의 구현 가능성 관점에서의 확인시험을 수행하는 방안, 둘째, 발전소 시운전 착수 전 시운전요원 교육에 활용하는 방안, 셋째, 발전소 설계 변경 필요 시 설계 변경에 따른 영향 파악, 넷째, 디지털제어계통 유지보수 기술 습득 등에 효과적으로 활용 할 수 있을 것으로 본다. AFR1400 디지털제어계통은 현재 건설 중인 신고리 3,4호기 원자력발전소에 적용될 예정이며, 향후에는 해외 원자력 수출을 위한 기반기술로 활용될 수 있을 것으로 확신한다.

• 산업공학
• /
• 제10권3호
• /
• pp.155-166
• /
• 1997

기초자료는 시스템 구축과정에서 시스템 테스트 및 운영을 위한 가장 기본이 되는 원시자료(source data)로서 프로그램 개발과 병행하여 구축해야 한다. 이러한 기초자료의 구축없이 시스템 운영은 어려우며, 따라서 기초자료 구축 및 검증기간을 단축시키는 것은 결국 시스템 개발 기간을 단축시키는 하나의 효과적인 방법이 된다. 이러한 측면에서 본 연구에서는 공정관리 시스템 개발시 필요한 기초 자료 구축 및 이에 따른 검증 방안을 제시하고자 한다.