• 한국철도학회논문집
• /
• 제19권2호
• /
• pp.145-158
• /
• 2016

철도 신호 시스템의 안전 확보 기준으로 사용되는 안전무결성수준(SIL, Safety Integrity Level) 할당에 사용되는 기존 정성적 평가방법인 리스크 그래프에 대하여 소개하고, 정성적 평가의 문제점인 입력 변수의 모호성 및 안전무결성수준간 경계성 문제에 대하여 퍼지 이론 적용을 통해 문제점을 보완하는 것을 목적으로 한다. 본 모델의 퍼지 입력변수는 4가지인 심각도, 노출도, 회피도, 요구율로 구성되며, 퍼지추론(Fuzzy Inference)은 IEC 61511의 계량적 리스크 그래프를 적용하여 48개의 퍼지 규칙을 생성한다. 퍼지추론은 최대 최소 합성(Max-Min Composition)의 퍼지관계 합성연산을 적용한다. 추론 모델을 통해 도출된 최종적인 추론 결과는 퍼지 값이므로 실제 상황에 적용 가능하도록 다시 실수 값으로 변환하는 역 퍼지화 과정을 통해 최종 출력값인 안전무결성수준과 그에 해당하는 허용 해저드율을 생성하여, 최종적인 해당 해저드에 대한 안전성 요구사항을 도출한다. 마지막으로 본 평가모델 검증을 위해 CENELEC SC 9XA WG A10 보고서에 소개된 단선구간에서의 신호시스템을 대상으로 한 안전성 평가 결과와 비교한다.

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

게임 산업의 성장에 맞춰 그에 따른 게임시스템 보안, 무결성 보장의 중요성 또한 커지고 있다. 본 논문에서는 게임 시스템과 TrustZone을 결합시켜 TrustZone의 Normal World와 Secure World 영역과 그 기능을 활용하여 게임 내 주요 데이터의 위·변조를 방지하여 시스템의 무결성을 보다 높은 수준에서 보장하는 방식을 탐구해보고자 한다.

• 한국신뢰성학회:학술대회논문집
• /
• 한국신뢰성학회 2011년도 춘계학술발표대회 논문집
• /
• pp.271-279
• /
• 2011

Automotive safety integrity level of hardware components can be achieved by satisfying quantitative and qualitative requirements. Based on ASIL, quantitative requirements are composed of hardware architectural metrics and evaluation of safety goal violations due to random hardware failures in ISO 26262. In this paper, the types of hardware failures will be defined and classified. Based on various metrics related with hardware failures, design essentials to achieve hardware safety integrity will be studied specifically. Issues associated with hardware development and assessment process are presented briefly.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제10권2호
• /
• pp.107-122
• /
• 2010

Functional safety is the part of the overall safety of a system that depends on the system or equipment operating correctly in response to its inputs, including the safe management of likely operator errors, hardware failures, systematic failures, and environmental changes. One of the essential concepts of functional safety is Safety Integrity Level(SIL). It is defined as a relative level of risk-reduction provided by a safety function, or to specify a target level of risk reduction. In this paper, each element of SIL assessment will be defined. Based on each element, specific process of SIL selection will be established by using flowchart. The flowchart provides a SIL assessment guideline for functional safety engineers. The proposed theory will be verified by applying to a oil refining plant for SIL assessment.

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

본 논문에서는 항만 입출항시 선박의 안전 강화를 위하여, 항만 PNT(Position, Navigation, and Timing) 수신 모듈의 예상 측위 정확도와 그 오차수준을 평가하여 사용자에게 제공하기 위한 해상 PNT 정보의 신뢰도 서비스 개념에 대해 다룬다. 국제해사기구(IMO)에서 요구하는 해양항법성능인 항만 입출항시의 측위정확도(Accuracy)와 무결성(Integrity), 그리고 가용성(Availability)을 충족하기 위한 성능 평가기법과 성능 검증방법에 대해 제시한다. 사용자 관점에서의 GPS 오차수준을 분석하기 위하여, 신뢰도 측정 및 평가를 위한 수평보호수준(HPL, Horizontal Protection Level)과 스탠포드 다이어그램 분석을 통한 평가를 실시하여, 신뢰도 측정지수를 기반으로 사용자에게 신뢰성 수준을 제공하기 위한 방안을 제시한다.

• 한국철도학회논문집
• /
• 제19권2호
• /
• pp.170-186
• /
• 2016

본 논문에서는 철도 시스템에서 안전무결성수준 평가를 위한 다단계 퍼지 리스크 그래프를 제안한다. 본 모델은 입력변수의 모호함과 주관적 전문가 판단의 단점을 보완하는 것을 목적으로 한다. 다단계 퍼지 리스크 그래프 모델은 2단계로 구성된다. 본 논문에서는 첫 번째 퍼지화를 위한 상세 입력 변수가 제안되고 첫 번째 단계에서 퍼지 이론을 적용하여 기존의 리스크 그래프 입력 변수인 심각도, 노출도, 회피도, 요구율을 산정한다. 퍼지 추론 및 역퍼지화 결과 2단계에서 적용할 입력변수가 도출된다. 두 번째 단계에서는 식별된 해당 해저드에 대하여 안전 무결성 수준과 허용 해저드율을 산정하여 안전 요구사항을 수립한다. 또한 다단계 퍼지 리스크 그래프 모델을 검증하기 위해 CENELEC SC 9XA WG A10 보고서에 소개된 건널목 시스템을 대상으로 한 안전성 평가 결과와 비교하여 모델을 검증하였으며, 철도 분야의 초기 개념 설계 단계 안전성 요구사항을 수립 시 적용할 수 있다.

• 한국철도학회논문집
• /
• 제14권5호
• /
• pp.416-424
• /
• 2011

본 논문에서는 소출력 무선통신기술을 기반으로 분산 배치된 센서노드의 상태를 감시하고 제어를 수행하는 USN(Ubiquitous Sensor Network)시스템을 철도의 열차제어에 활용하기 위한 신뢰도 모델링결과를 제시한다. 일반적인 USN시스템은 센서노드, 게이트웨이, 서버로 구분할 수 있으며, 본 논문에서는 USN의 구성요소 중 다수의 센서노드간 무선망을 관리하고 정보를 취합하는 게이트웨이를 대상으로 신뢰성 및 안전성을 평가하고 향상시키기 위한 설계방안을 연구하였다. 이를 위해 일반적으로 사용되는 게이트웨이의 신뢰도와 안전무결성수준을 정량적으로 예측하고, 취약부분을 선별한 후 보완설계를 실시하여 향상된 게이트웨이의 신뢰성 및 안전성을 관련 규격에 따라 입증함으로써 열차제어에 대한 USN 게이트웨이 적용 가능성을 검토하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 B
• /
• pp.1565-1567
• /
• 2005

본 논문은 듀얼듀플렉스구조로 설계된 한국형고속철도 열차제어시스템의 전자연동장치 선로전환기제어모듈에 대하여 안전성활동 체계에 따라 위험원을 도출하고 분석하여 선로전환기제어모듈에 대한 위험측고장률을 예측하였다. 시스템으로 인해 발생할 수 있는 리스크를 분석하여 리스크를 완화하기 위한 안전대책의 수준인 안전무결성레벨에서 제시하는 정량적인 기준을 만족하기 위한 위험측고장률예측을 선로전환기 제어모듈을 대상으로 연구하였다.

• 한국철도학회논문집
• /
• 제14권2호
• /
• pp.121-129
• /
• 2011

본 논문에서는 철도신호시스템분야에서 중요한 신뢰성과 안전성 수준을 국제규격에 부합할 수 있도록 하기 위한 접근방법을 모색하며, 국철 구간의 차상신호시스템 (ERTMS/ETCS Level 1)도입에 따라 현실적이고 접근 가능한 구체적인 활동 사항들을 프로젝트 수행과 연관하여 기술한다. 이에 따라 시스템 전반에 걸친 RAMS 및 안전성 평가를 통한 인증활동에 대한 부분을 제시하며, 국내 철도 신호시스템 적용을 위한 차상신호 시스템(ERTMS/ETCS Level 1)에 있어 차상장치(On-Board)를 중심으로 품질 및 안전 무결성(SIL) 수준 확보에 따른 안전성 확보방안의 구체적인 위험도분석 및 평가 활동을 제시 하고자 한다

• 정보보호학회논문지
• /
• 제23권4호
• /
• pp.743-755
• /
• 2013

최근, 정상 앱에 악성코드를 추가하여 안드로이드 마켓에 재배포 되는 악성 앱들이 발견되고 있다. 금융거래를 처리하는 뱅킹 앱들이 이와 같은 공격에 노출되면 인증정보 및 거래정보 유출, 부정거래 시도 등 많은 문제점들이 발생할 수 있다. 이에 대한 대응방안으로 금융당국이 관련 법규를 제정함에 따라 국내 은행들은 뱅킹 앱에서 무결성 검증기능을 제공하고 있지만, 해당 기능의 안전성에 대한 연구는 이루어진 바가 없어서 신뢰하기 어렵다. 본 논문에서는 안드로이드 역공학 분석 기법들을 이용하여 뱅킹 앱의 무결성 검증 기능 취약점을 제시한다. 또한, 제시한 취약점이 이용될 경우, 실제 뱅킹 앱의 무결성 검증 기능이 매우 간단하게 우회되어 리패키징을 통한 악성코드 삽입 공격이 이루어질 수 있으며 그 위험성이 높다는 것을 실험결과로 증명한다. 추가적으로, 취약점을 해결하기 위한 방안들을 구체적으로 제시함으로써 앱 위변조 공격에 대응하여 스마트폰 금융거래 환경의 보안 수준을 높이는데 기여한다.