• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.289-292
• /
• 2004

원자력발전소 MMIS(Man-Machine Interface System)는 발전소 공정과 관련 장비들을 감시 및 제어하고, 필요시에 보호기능을 수행함으로써 발전소를 안전하고 신뢰성 있게 운전할 수 있도록 지원하고 있다. 그러한 MMIS의 설계에 소프트웨어기반의 컴퓨터 기술이 사용된 경우, 그 설계를 구현하기 위해 사용된 소프트웨어가 설계 및 프로그래밍 오류에 취약하여, 공통유형의 소프트웨어 오류로 인해 하드웨어로써 구축된 다중성 설계를 파기시킬 수 있기 때문에 원자력 발전소의 안전 및 안정 운전과 직결되게 된다. 또한 소프트웨어는 설계공정 결함이 일반적으로 최종 결과물에서 확인될 수 있다는 점 때문에 확인 및 검증기술을 정립하고 체계적인 적용이 필수적이다. 이에 따라 본 논문에서는 현재 설계를 진행중인 SMART(System-integrated Modular Advanced ReacTor) MMIS 소프트웨어를 개발하기 위해 적용되는 확인 및 검증 규제요건을 분석하고, 소프트웨어 개발생명주기에 따른 확인 및 검증을 체계적으로 수행하기 위한 프레임웍을 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 춘계학술발표대회
• /
• pp.932-933
• /
• 2013

단순 부품부터 계통까지 기존의 아날로그 제품들이 최근 들어 펌 웨어(Firmware)와 고수준의 컴퓨터 언어로 구현된 응용 소프트웨어를 포함하는 디지털 설비로 바뀌고 있다. 따라서 어느 때 보다 소프트웨어의 확인 및 검증의 중요성이 대두되고 있으며, 이를 위해 학계뿐만 아니라 국제표준 기관에서 확인 및 검증을 위한 지침을 제시하고 있는 실정이다. 본 논문은 원자력발전소 출력을 제어하는 제어봉제어계통의 업그레이드와 관련하여 IEEE 1012 에 따라 수행된 독립 확인 및 검증 업무를 요약하고, 이를 통해 얻은 교훈을 기술한다.

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

인증서의 정당성을 검증하기 위하여 검증자(verifier)는 소유자(owner)의 인증서와 그 인증서를 인증한 공인인증기관의 인증서들을 검증해야 하고, 그에 앞서 그 인증서들의 폐지 여부를 확인하여야 한다[1]. 이 인증서 폐지 목록의 확인을 대행하는 것이 실시간 인증서 상태 프로토콜(OCSP)이다[2]. 그리고, 이 OCSP가 인증서의 폐지 여부만을 응답하는 단점을 극복하기 위하여 간단한 인증서 검증 프로토콜(SCVP)이 제안되었다[7]. 이 SCVP는 사용자의 질문의 형태에 따라 인증서의 정당성까지 검증하여 주는 프로토콜이다. 그러나 이 SCVP 역시 새로운 신뢰기관을 필요로 한다. 본 논문에서는 전체 인증서 검증 경로를 알 수 있는 인증서 일련번호 부과 방법[4]을 기반으로 부과적인 신뢰기관 없이 실시간으로 인증서의 정당성 여부를 확인할 수 있는 새로운 프로토콜을 제시하고자 한다. 계산량의 결과로는 SCVP와 동일한 2n 번의 서명 생성 및 검증이 필요하지만, 인증서 폐지 목록과 부과적인 신뢰기관을 필요로 하지 않는다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2015년도 추계학술대회
• /
• pp.66-68
• /
• 2015

최적항로 지원 시스템은 실해역 속도 성능 예측방법에서의 선택 근거확보와 정확도 평가를 위한 효과 검증이 반드시 필요하다. 하지만 이 같은 성능검증에 있어서 동일한 선박에 대한 다양한 대안 항로에서의 동시성능계측이 불가능하기 때문에 효과를 직접 비교하기는 상당히 어렵다. 따라서 본 논문에서는 최적항로 지원 시스템의 효과 검증을 위한 간접적인 절차를 제안하였고, 시스템의 내부 분석코드를 이용하여 효과를 비교 검증하였다. 그 절차는 1) 계산의 근거 인기상 정보의 정확성 검증, 2) 실제 항로에서의 성능예측계산의 신뢰성 확인, 3) 신뢰성이 확보된 계산방법을 이용한 최적항로선택, 4) 실제 항로와 최적항로의 연료 효율성 비교의 4단계로 이루어진다. 대상 선박은 폴라리스쉬핑의 솔라돌핀호(208k BC)이며 실선 운항 데이터는 최적항로 지원 시스템을 통하여 직접 계측하였다. 그 결과 호주-한국 항차에서 최적항로를 항해할 경우 약 6.0%의 연료 절감 효과를 기대할 수 있음을 확인하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.1257-1260
• /
• 2005

인증서 상태 확인은 해당 거래에 사용되는 인증서에 대해 유효한 인증서임을 판별하기 위한 과정으로 인증서 표준이 제정된 이후로 계속적으로 연구되고 있는 분야이다. 현재 가장 보편적으로 이용되는 인증서 상태 확인 기법은 인증서폐지목록(CRL : Certificate Revocation List)을 이용하는 기법이다. 이 기법은 방법 자체가 가지고 있는 시간격차 문제와 물리적 파일 처리의 과부하로 인하여 사용에 많은 제약이 따른다. 이를 해결하기 위해 온라인 인증서 상태 프로토콜(OCSP : OnLine Certificate Status Protocol) 기법이 제시되었다. 이 기법은 CRL 기법의 비 실시간성 문제를 해결한다. 하지만 서비스 요청 서버의 과부하 문제와 구조적 집중화 문제로 인하여 인증서 상태를 확인 하는데 소요되는 시간이 다소 오래 걸린다는 문제가 있다. 본 논문에서는 검증 요청자의 신원정보에 대한 해쉬값을 이용하여 인증서 상태 확인 요청을 하고 이를 통해 인증서 상태 확인 과정을 진행함으로써 통신 부하를 감소시키고 실시간으로 인증서 상태를 확인 할 수 있는 검증 요청자 신원 정보를 이용한 인증서 상태 확인 메커니즘을 제안한다.

• 한국통신학회논문지
• /
• 제29권8C호
• /
• pp.1203-1209
• /
• 2004

이동통신 기술과 인터넷 기술을 접목시킨 무선인터넷을 이용한 다양한 서비스가 제공되고 있다. 무선 인터넷 서비스의 경우에도 유선인터넷 환경에서와 같은 보안 알고리즘 및 인증 서비스를 활용한 서비스가 제공되어야 하나 무선 단말기의 제약으로 인해 유선 인터넷 기술을 그대로 적용하는 것은 용이하지 않다. 본 논문에서는 무선 인터넷 환경에서 인증서의 신뢰성을 보장하기 위해서 인증서의 상태를 확인하고 검증하는 방법들을 분석하고, 검증정보를 최소화하고 실시간 검증이 가능한 새로운 인증서 상태 확인 및 검증방법을 제안하였다. 제안한 검증방법은 사용자가 폐지된 인증서를 사용 시 옵저버를 이용하여 핸드셰이크 과정에서 옵저버 정보를 추가하여 전송함으로써 실시간 검증 뿐 아니라 인증서 검증으로 인한 전송시간을 절감할 수 있다.

• 정보보호학회지
• /
• 제12권2호
• /
• pp.50-61
• /
• 2002

최근 전자상거래의 활성화 및 안전한 네트워크의 구현에 공개키 기반구조의 응용이 확대되면서 공개키의 무결성과 신뢰성을 제공하기 위해 공개키 인증서 상태 검증에 관한 연구가 활발히 진행되고 있다. 본 고에서는 PKI 응용 프로토콜 중에서 인증서의 유효성을 검증하기 위한 온라인 인증서 상태 검증 프로토콜(Outline Certificate Status Protocol)의 최근 연구 동향에 대하여 분석하였으며, 현재 상용화되어 있는 제품들에 대하여 조사하였다. 또한, 특정 인증서에 대한 온라인 취소 상태 확인 서비스(ORS: Online Revocation Status), 인증 경로의 발견을 서버로 위임하는 대리 인증 경로 발견 서비스(DPD: Delegated Path Discovery), 그리고 중앙 집중 서버에게 인증 경로 검증의 기능을 위임하는 대리 인증 경로 검증 서비스(DPV: Delegated Path Validation) 등의 온라인 인증서 상태 검증 프로토콜에서 제공하는 서비스들에 대해서도 살펴보았다. 현재 온라인 인증서 상태 검증 프로토콜(OCSP)에 관한 문서는 IETF에서 표준화한 RFC2560과 2000년 11월과 2001년 3월에 제안된 드래프트가 있으며, 본 고에서는 RFC2560과 제안된 드래프트를 비교 분석하였으며 국내\ulcorner외 제품의 동향과 온라인 인증서 상태 검증 프로토콜의 활용 범위에 대해서 간략하게 살펴보았다.

• 한국게임학회 논문지
• /
• 제11권6호
• /
• pp.53-60
• /
• 2011

게임 서비스를 위한 소프트웨어의 경우 그 신뢰도에 대한 중요성은 지속적으로 증가하고 있다. 따라서 소프트웨어 신뢰도에 대한 평가 또한 매우 중요하다. 본 연구에서는 개발 공정에 대한 대표 활동인 확인 및 검증이 소프트웨어 신뢰도에 어떠한 영향을 미치는가를 정량적으로 분석하기 위하여 실험을 수행하였다. 이러한 실험 결과는, BBN (Bayesian Belief Network) 기반 신뢰도 평가와 같이, 개발 공정에 근거하여 신뢰도를 평가할 때 매우 유용한 근거 자료로 활용될 것이다.

• Nuclear Engineering and Technology
• /
• 제26권4호
• /
• pp.600-610
• /
• 1994

원자력산업계에서는 원전 계측제어계통의 디지털화를 위해 많은 노력을 기울이고 있으나, 원자력산업의 특수성인 시스템 안전성 확보에 필요한 소프트웨어 개발기준과 규제방법이 정립되지 못하고 있다. 뿐만 아니라 디지털 계측제어계통의 핵심 기반기술인 고신뢰도 소프트웨어 개발 방법론이 확립되지 못하여 소프트웨어 공통모드고장 문제, 정량적인 소프트웨어 신뢰도 보장 문제 등이 논란의 대상이 되고 있다. 이와 같이 원전 계측제어계통 디지털화 성공을 위해서는 소프트웨어 신뢰도 확보가 관건이며 고신뢰도 소프트웨어 확인 및 검증 기술 개발이 절실히 요구된다. 본 기술보고에서는 디지털 계측제어계통 소프트웨어에 대한 규제요건을 소프트웨어 신뢰도 보장을 위한 개발자, 사용자, 규제자 사이의 합의 기준측면에서 분석하였다. 또한 최근의 미국 원자력규제위원회의 디지털 계측제어계통 소프트웨어에 대한 규제방법과 규제동향을 살펴보았으며 마지막으로 고신뢰도 소프트웨어 개발과 확인 및 검증 방법, 규제 요건, 규제 방법 등에서 공통적으로 고려해야 할 기술적 측면의 현안과 이의 해결을 위한 연구 현황등을 파악하였다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2006년도 International Symposium on GPS/GNSS Vol.2
• /
• pp.427-430
• /
• 2006

본 논문에서는 일반적인 항법 확인 뿐만 아니라 간섭신호 제거용 필터의 성능 검증을 위한 고성능 GNSS SDR 플랫폼을 개발하였다. 개발된 수신기 플랫폼은 간섭 신호 제거 필터 응용까지 고려한 RF부와 16비트의 분해능을 갖는 고속의 USB 데이터 수집장치, PC 및 GNSS 소프트웨어 수신기 프로그램으로 구성된다. 개발된 플랫폼은 스펙트럼 분석기로 RF부를 검증하였으며, 상용의 GNSS 시뮬레이터를 사용하여 PC에서 데이터를 확인함으로써 신호 수집장치의 동작을 검증하였다. 실제 GPS 신호를 PC에 저장하고, 소프트웨어 수신기에서 항법 결과와 신호 획득시간, 신호 대 잡음 전력비를 확인하여 전체 플랫폼 기능 및 성능을 확인하였다.