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

PKI(Public Hey Infrastructure)기반의 공인인증서가 활성화됨에 따라 인터넷뱅킹, 증권거래시스템. 전자입찰, 전자민원 등 신원확인이 요구되는 어플리케이션에 전자서명이 적용되고 있다. 다수의 사용자가 인증서로 로그인과 부인방지를 위한 전자서명을 전송함으로써 서버는 상대적으로 많은 전자서명과 인증서검증을 수행해야 한다. 프로그램 단계에서 검증을 수행하기 위해서는 검증모듈의 API(Application Programming Interface)를 호출해야 하며, 이는 프로그램의 복잡도를 증가시킨다. 이러한 문제는 어플리케이션과 검증이 독립적이지 않기 때문에 검증에 관련된 장애가 발생하면 어플리케이션은 검증모듈에 종속적으로 장애가 발생하게 된다. 본 논문의 검증 에이전트는 서버환경이 서버-클라이언트 또는 웹 어플리케이션에 독립적으로 전자서명 검증을 담당한다. 따라서 어플리케이션은 검증이 필요한 시점에 검증 에이전트를 호출하게 됨으로써 프로그램의 복잡도를 줄이고 서버의 안정성을 향상시킨다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
• /
• pp.190-192
• /
• 2005

PKI(Public Key Infrastructure)에서 인증서 상태 검증은 네트워크 환경에서의 거래에 신뢰성과 안전성 및 기밀성, 무결성 등의 서비스를 제공한다. 인증서 검증 방식은 CRL, OCSP, SCVP, DVCS 등이 있다. CRL은 시간이 지남에 따라 CRL의 크기가 증가하여 검증 시간이 지연되고 실시간 검증을 할 수 없는 단점을 가지고 있다. OCSP는 CRL을 이용하지 않고 거의 실시간에 가깝게 인증서를 검증하지만 서버의 부하 증가와 느린 검증 등의 단점을 가지고 있다. 분산 OCSP는 OCSP 서버를 분산시킨 후 CRL을 중복하여 보관하거나 분개하여 보관한 상태에서 검증하는 방식으로 대리검증에 따른 느린 검증과 CA의 부하부담 등의 단점을 가지고 있다. 본 논문에서는 제기된 단점들을 해결하여 빠른 검증과 부하 분산 효과를 얻을 수 있도록 분산된 OCSP 서버를 그룹으로 분류하고, 그룹 내의 각 서버에 인증서 폐지 정보를 중복 저장하여 부하분산, 빠른 검증, CRL을 Delta CRL 방식으로 OCSP 서버에 전송하여 네트워크 부하를 감소할 수 있도록 그룹 분산 OCSP 방식을 제안하고자 한다.

• 한국항공우주학회지
• /
• 제38권8호
• /
• pp.813-822
• /
• 2010

안전성 요구수준이 서로 다른 비행필수 데이터(Flight Critical Data)와 임무필수 데이터(Mission Critical Data)의 시현을 처리하기 위해 별도의 독립된 계기를 사용하지 않고 Glass Cockpit 설계를 적용하여 데이터를 통합처리하였다. 본 논문에서는 독립적으로 설계 진행되어온 비행조종계통과 임무탑재시스템의 통합설계를 위해 설계변경을 최소화하면서 비행조종계통에서 요구되는 비행필수 데이터처리의 안전성 요구수준을 만족시키는 최적화 설계를 제안하였다. 비행필수 데이터의 시현을 처리하기 위해 KUH 임무탑재시스템의 핵심구성품인 임무컴퓨터(Mission Computer)의 하드웨어 및 소프트웨어 설계변경을 최소화하였다. 임무탑재시스템의 안전성 요구도(Safety Requirement)를 검증하기 위한 시험절차를 개발하여 임무탑재시스템 통합시험장비(SIL)를 이용한 시험 수행 결과 안전성 요구도가 만족됨을 확인하였다.

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

소형선박인 어선·낚시어선의 전복 사고로 인한 인명 사고가 지속적으로 발생 되어지고 있다. 소형선박인 어선·낚시어선의 운항 시 선박의 운항자가 선박의 실시간 복원성 상태 인지 없이 어업 또는 낚시 활동하는 동안 해양 환경 상태 또는 적화 상태 변화와 추가적인 외력에 의해서 선박의 전복 사고가 발생 되어진다. 본 연구에서는 소형선박 어선·낚시어선의 실시간 복원성 감시를 위한 안전키트의 실험적 검증을 실시했다. 안전키트의 자이로센서를 활용하여 실시간 횡요각 데이터 측정 및 주파수 분석하여 횡요주기를 도출하고 횡메타센터(GM)을 도출한다. 또한, 실사간 도출된 GM에 따라 국제해사기구(IMO, International Maritime Organization) 비손상 복원성 평가 기준 값을 추정한다. 실험적 검증을 통하여 개발된 소형선박 어선·낚시어선용 안전키트의 정확도 확인 및 개선점을 발견하였으며, 향후 연구 계획에 대해서 제시했다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2022년도 춘계학술대회
• /
• pp.350-352
• /
• 2022

자율운항선박을 IMO 자율화등급 3단계 이상으로 운용하기 위해서는 내·외부 통신시스템의 사이버보안뿐만 아니라 실시간으로 데이터를 교환하는 데이터 및 시스템 사이버안전에 대한 고려가 필수적으로 요구된다. 본 연구에서는 자율운항선박 사이버안전체계 구축방안에 대해서 살펴본다. 자율운항선박 사이버안전체계 구축을 위해서는 선박 내 사이버위협을 실시간으로 탐지하고 영향을 모니터링하는 통합 보안 시스템 구축이 필요하며, 선박 사이버안전 설계 타당성을 검증하는 사이버리스크평가 기술, 사이버안전체계를 검증하기 위한 CVE(Common Vulnerabilities Enumeration)기반 취약성 진단 및 침투테스트 기술, V-Model을 활용한 통합 소프트웨어 품질인증 기술, ISO 25024 기반 데이터 무결성 검증 기술 적용이 필요하다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1995년도 추계학술발표회논문집(1)
• /
• pp.23-28
• /
• 1995

국내 핵연료 가공시설에 대한 핵임계 안전성을 가상 사고 조건하의 핵임계 상태를 확인하는 방법으로 평가하였으며, 이미 사용되어왔던 설계 안전 변수의 안전성도 검증하였다. 또한 MOX 핵연료 가공시설에 대한 안전 변수도 같은 방법으로 산출하였다. SCALE system을 사용하여 임계도 계산을 수행한 결과, 국내 $UO_2$ 핵연료 가공시설과 이 시설에 적용된 안전 변수는 극단적인 사고시에도 핵임계 측면에서 충분한 여유도를 가지고 있있다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2010년도 추계학술발표논문집 1부
• /
• pp.163-167
• /
• 2010

최근 컴퓨터시스템으로 전환되고 있는 열차제어시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 열차제어 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 열차제어 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 열차제어시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 열차제어 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시 기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다.

• 한국건설관리학회논문집
• /
• 제21권5호
• /
• pp.38-45
• /
• 2020

현재 국내 시설물 안전관리는 현장 중심의 안전점검으로 실시되고 있으나, 시설물에 따라 현장접근의 어려움이 있으며, 지나치게 인력에 의존하고 있어 인명사고 발생 및 점검비용과 시간이 많이 들고 있다. 이에 시설물 상시 안전성 확보를 위하여 센서기반의 안전관리의 필요성들이 제기되고 있으며, 센서 안전관리에 대한 다양한 연구들이 이루어지고 있으나, 실용성 검증에 대한 연구는 아직 미흡한 실정이다. 따라서, 본 연구에서는 국내외 연구들에 대한 분석을 통해 개선점을 제시하였고, H시 센서 안전관리 프로세스를 분석하여 센서부착 위치 및 임계치 설정에 대한 추가 프로세스를 도출하였으며, 센서 데이터 계측 값을 통하여 센서 안전관리의 실용성 검증을 실시하였다. 향후 본 연구에서 제시한 추가 프로세스에 대한 명확한 기준 및 지속적인 실용성 검증을 실시한다면, 센서기반의 효율적인 시설물 안전관리를 실시할 수 있을 것으로 기대된다.

• 제어로봇시스템학회지
• /
• 제18권4호
• /
• pp.46-54
• /
• 2012

차량 간 통신 또는 차량과 인프라 간의 통신을 기반으로 자동차를 스마트화 또는 무인화 하려는 기술들이 지속적으로 개발되고 있다. 이러한 시스템의 안전성을 보장할 수 있는 신뢰도를 검증할 수 있는 방법들이 활발하게 개발되고 있다. 특히 제어기의 강인성과 고장감지의 신뢰도와 같은 관점에서 개발되는 알고리즘의 성능을 검증하는 방법에 대해서 살펴보고자 한다.

• 한국산업안전학회:학술대회논문집
• /
• 한국안전학회 2003년도 추계 학술논문발표회 논문집
• /
• pp.92-97
• /
• 2003

원전에서 운전절차서는 운전수행시 해당 운전원에게 요구되는 세부적인 작업내용이 명시되어 있다 특히, 비상운전절차서는 비상상황에서 운전원의 주관적 판단을 최대한 배제하고 안전해석에 의해 안전성이 검증된 작업만이 수행되도록 더욱 철저하게 안전성 중심으로 준비되어 있다. 이러한 운전절차서에 있어서 가장 중요한 요소는 발전소의 안전성을 유지할 수 있는 안전해석 결과를 정확히 준수하는 것이다.(중략)