• 정보보호학회논문지
• /
• 제11권2호
• /
• pp.45-58
• /
• 2001

암호기술 검증에 대한 연구는 암호 알고리즘의 안전성 및 신뢰성을 검증하는데 집중되어 있는 경우가 대부분이다. 그러나 정보보호 시스템의 수준 향상과 안전성 신뢰성 확보를 위해서는 암호기술 자체에 대한 검증뿐만 아니라, 암호기술을 구현한 구현물에 대한 검증이 필요하다. 특히, 암호기술에 대해서 국내외적으로 폭 넓은 표준화가 진행되고 있는 가운데, 이들 기술표준을 정화하게 구현하는 것은 정보보호 시스템의 안전성 및 신뢰성 향상을 가져올 뿐만 아니라, 정보보호 시스템 간의 상호연동성 확보 및 사용자 편익 증대라는 면에서도 매우 중요하다. 본 논문에서는 RSA, KCDSA, SHA-1, HAS-160 등 국내 공인인증체계 기술표준으로 적용되고 있는 암호기술의 구현물이 기술표준을 정확하게 준용하여 구현되었는지를 테스트할 수 있는 검증도구를 설계 및 구현하였다. 각각의 암호기술에 내한 검증은 여러 개의 세부항목으로 구성되어 있고, 충분한 테스트 항목을 통해 검증의 정확성을 높였으며, 검증도구와 검증 대상이 원격에 위치한 상태에서 검증을 수행한 수 있도록 하였다. 본 논문에서 설계 및 구현한 검증도구는 RSA, KCDSA, SHA-1, HAS-160 등을 구현한 모든 보안 제품에 적용할 수 있으며, 각종 암호제품의 평가 및 인증에 활용한 수 있을 것으로 기대된다.

• 한국화재소방학회:학술대회논문집
• /
• 한국화재소방학회 2013년도 춘계학술대회 초록집
• /
• pp.150-151
• /
• 2013

화재감지기는 연기감지기는 이온전류의 변화량을 감지하는 이온화식 연기감지기와 발광부와 수광부로 이루어진 챔버내에 연기에 의한 광량의 변화를 감지하는 광전식 연기감지기로 구분된다. 국내에서는 광전식 연기감지기가 더 많이 사용되고 있는데 이러한 광전식 연기감지기의 챔버내에 이물질이 침입하게 되면 비화재보를 발생시키게 된다. 본 논문은 연기감지기의 연기감지 챔버에 대한 비화재보를 감소시키기 위한 신뢰성 시험에 대하여 논한 연구이다. 본 연구에서는 광전식 연기감지기의 신뢰성을 검증하는 방법으로 UL 268 등에 규정되어 있는 먼지, 즉, 분진에 대한 신뢰성을 검증방법을 제시하였다. 먼지에 대한 신뢰성 검증을 보다 적절하게 하기 위하여 분진챔버로 분진을 반복적으로 폭로됨에 따른 감도성능 변화를 분석하는 방법이 필요할 것으로 사료된다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2012년도 제46차 하계학술발표논문집 20권2호
• /
• pp.381-384
• /
• 2012

2008년 국제표준 ISO 32000-1로 지정된 PDF 표준은 전자서명에 대한 표준을 함께 제공함으로써 PDF 문서의 신뢰성을 확보하고자 하였다. 하지만 ISO 32000-1에 포함된 전자서명 관련 표준은 서명에 사용된 인증서의 유효기간이 만료되면 전자서명의 유효성을 검증할 수 없기 때문에 장기적으로 보존되는 문서의 신뢰성을 보장하는데 적절하지 않다. 따라서 본 논문에서는 PDF 국제 표준인 ISO 32000-1의 전자서명 관련 표준을 분석하고 전자서명 장기검증 기능을 적용할 수 있는 방안을 제시한다. 본 논문에서 제안한 내용을 활용한다면 다양한 PDF 소프트웨어에서 호환 가능한 전자서명 장기검증 기능을 제공할 수 있을 것이며, 이를 통해 PDF 문서의 신뢰성을 향상시킬 수 있을 것이다.

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

현재 전 세계의 스마트폰 사장은 아이폰과 안드로이드폰의 구도로 되어 있다고 해도 과언이 아니다. 아이폰의 앱 스토어에 어플리케이션을 올리기 위해서는 애플의 검증을 거쳐야 가능하지만, 안드로이드의 안드로이드마켓은 구글의 검증 없이 누구나 자유롭게 올릴 수 있다. 그렇기 때문에 스마트폰의 보안문제가 대두되고 있는 요즘, 안드로이드마켓에서 내려 받는 어플리케이션에 대한 신뢰성이 떨어지는 것이 사실이다. 본 논문에서는 이러한 안드로이드 어플라케이션의 신뢰성 검증을 위한 인증 어플리케이션을 제안함으로써 사용자가 악의적으로 변조된 어플리케이션에 대한 대응이 가능하도록 하고자 한다. 마지막으로 테스트를 통하여 본 연구의 효율성 및 타당성을 입증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.22-24
• /
• 2001

내장형 시스템은 산업 전반에 다양한 방법으로 응용되고 있다. 하지만 항공 분야나 원자력 분야의 내장형 시스템은 안정성과 신뢰성이 절대적으로 보장되어야 하는 시스템으로 피 설계부터 구현에 이르기까지 다양한 방법으로 검사되고 검증되어야 한다. 본 논문에서는 내장형 시스템의 통합설계를 위한 기반으로 하드웨어 설계 언어인 Verilog를 입력 언어로 받아들여 이를 정형검증 도구인 VIS를 통하여 검증한 다음 이를 바로 구현하는 방법론 및 예를 보이고자 한다. 이러한 방법을 통해 내장형 시스템의 안정성과 신뢰성의 수준을 향상시키고자 한다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2010년도 제39회 하계학술대회 초록집
• /
• pp.15-15
• /
• 2010

고진공영역에 사용되는 터보분자펌프, 이온펌프, 크라이오펌프 등의 특성평가 장치의 신뢰성을 확보하기 위해서는 신뢰성이 검증된 이온게이지를 이용한 고진공 측정기술이 확보되어야한다. 본 발표에서는 고진공펌프 특성평가를 위한 유량계와 평가기술에 대한 국제적인 동등성을 확립하고 검증하기 위해 한국표준과학연구원에서 수행해오고 있는 고진공 및 초고진공분야의 국제비교 및 ISO/TC 112 위원회 활동에 대해 소개한다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2011년도 제41회 하계 정기 학술대회 초록집
• /
• pp.95-95
• /
• 2011

고진공영역에 사용되는 터보분자펌프, 이온펌프, 크라이오펌프 등의 특성평가 장치의 신뢰성을 확보하기 위해서는 신뢰성이 검증된 미세 유량발생 장치를 포함한 이온게이지를 이용한 고진공 측정기술이 확보되어야한다. 본 발표에서는 고진공펌프 특성평가를 위한 미세 기체유량계와 펌프 평가기술에 대한 국제적인 동등성을 확립하고 검증하기 위해 수행해오고 있는 진공 분야의 국제비교 및 ISO/TC 112 위원회 활동에 대해 소개한다.

• 정보처리학회논문지C
• /
• 제15C권3호
• /
• pp.199-204
• /
• 2008

CAN은 처음에는 차량 네트워크에서의 사용을 위해 고안되었으나 잡음에 강하고 신뢰성이 높아 공장자동화 등에서도 많이 사용되고 있다. 그러나 1:1통신에서 네트워크 기반의 통신방식으로 변화되면서 각 장치의 기계적인 동작뿐만 아니라 전자, 소프트웨어적인 동작에 대해서도 철저한 검증이 필요하게 되었다. 본 논문은 CAN 기반 시스템에서 통신의 신뢰성을 데이터의 정확성에 대한 부분과 시간상의 정확성에 대한 부분을 검증하는 방법을 제시하고 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 추계학술발표대회
• /
• pp.753-756
• /
• 2017

의료기기는 사람의 생명과 직접적으로 연관되어 있기 때문에 다른 분야의 기기보다 안전성에 대한 검증이 필수적이다. 의료 분야에서는 안전성 검증을 위해 기기의 허가 심사 조건으로서 소수의 피험자를 대상으로 수행되는 임상 시험이 존재한다. 그러나 임상 시험의 경우 의료기기를 직접 사람에게 적용하여 검증을 진행하기 때문에, 인체에 미칠 위해성을 고려하여 전임상 시험을 수행하고 있다. 하지만 전임상 시험은 동물이나 가상의 물체를 대상으로 수행하여 실제 사람에 대한 적용이 아니기 때문에, 임상 시험에 비해 검증에 대한 효력을 갖지 못한다. 따라서 본 연구에서는 피험자의 안전을 보장할 수 있고, 임상 빅데이터에 축적된 실제 환자의 사례를 활용한 신뢰성 있는 검증 방안을 제안하고자 한다. 그러나 현재 식품의약품안전처에서 제공되고 있는 의료기기 품목군은 개발하고자 하는 의료기기의 임상 빅데이터 기반 검증 가능성을 식별하기 어렵다. 그러므로 본 논문에서는 의료기기에 대한 다양한 특성 분석을 통해 임상 빅데이터 기반 검증 가능성을 식별하기 위한 프로세스를 제안한다. 제안하는 프로세스에서는 의료기기의 검증에 요구되는 데이터의 식별을 통해 임상 빅데이터를 이용한 테스트 데이터 수집 및 이를 활용한 신뢰성 높은 검증을 가능케 한다.

• 한국건설관리학회논문집
• /
• 제13권3호
• /
• pp.43-55
• /
• 2012

최근 건설 산업에서 이슈가 되고 있는 BIM의 신뢰성을 판단하기 위한 방안으로 BIM 품질 검증 방안이 대두되고 있다. 그러나 현재 BIM 품질 검증은 부재간의 간섭체크, 공간 배치 등 3D Model을 검토하는 것에 국한되어 있으며, 구조, 설비, 견적과 같은 각 분야별 BIM기반 작업 결과물의 검증 방안은 부재한 실정이다. 특히 BIM기반 견적분야에서는 수량 산출의 근거인 산출식이 출력되지 않아 BIM기반 물량산출 결과물을 신뢰하지 못하는 현상이 발생하였다. BIM기반 견적 작업 결과물의 신뢰성을 향상시키기 위해 제조업에서 정의하고 있는 신뢰성 개념을 분석하고, 다년간 BIM기반 물량산출 수행 경험을 토대로 BIM기반 견적 또는 물량산출 작업의 신뢰성에 영향을 미치는 요인을 도출한 결과, 모델링 방법 및 BIM Tool의 특징에 따라 BIM기반 물량 데이터가 달라지는 것을 알 수 있었다. 따라서 본 연구에서는 BIM 기반 견적 모델링 시 모델링 방법에 따른 결과값의 분석과 IFC 파일 교환을 통해 데이터의 신뢰성을 높이는 올바른 모델링 방법 및 데이터 검증 방안을 제시하고자 한다.