• 오토저널
• /
• 제23권4호
• /
• pp.23-31
• /
• 2001

• 정보처리학회논문지D
• /
• 제14D권6호
• /
• pp.633-640
• /
• 2007

실생활과 밀접한 임베디드 시스템들이 인터넷에 연결되어 점차 복잡해지고 시스템 사용 패턴 또한 다양해짐에 따라 임베디드 시스템의 안전성 문제가 대두되고 있다. 임베디드 시스템의 상호작용에 대한 안전성을 분석하기 위서는 시스템 모델을 정형적으로 기술하고 이를 이용하는 체계적인 안전성 분석 방법이 필요하다. 이 연구에서는 Labeled Transition Systems (LTS)를 이용하여 시스템 모델과 속성 모델을 기술하고 안전성 속성이 만족되는지 검사하는 방법을 제공한다. 이 연구에서는 기존 합성적 안전성 분석 방법의 문제점을 해결하기 위해 시스템 모델을 속성모델 관점에서 축약하여 생성한 후에 두 모델 간의 행위 일치 관계를 이용하여 안전성 분석을 수행한다.

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

초고속 해상무선통신망(LTE-Maritime)은 바다 어민의 안전과 항해 중인 선박의 편의 서비스 제공을 위해 대한민국 연안으로부터 최대 100km 까지 해역을 LTE(Long Term Evolution) 통신 체계로 구축한 세계 최초의 해상 무선통신망이다. 본 논문은 초고속 해상무선통신망의 활용성을 높이기 위해 다용한 용도로 개발된 무선설비의 호환성, 신뢰성, 안정성을 확보하기 위한 상호운용성 시험 방안을 논의해보고자 한다. 본 논문은 이종 통신장비 및 이종 무선설비 간의 상호운용성을 단말(무선설비)과 시스템의 종단간 통신품질 측정을 통해 서비스 커버리지 성능, 무선데이터 전송 속도 및 전송성공률 등을 검토해 보고, 각 품질 지표를 검증할 수 있는 시험 구성 방안, 시험 항목 및 절차, 측정 결과 분석 방법 등을 다각도로 살펴보고자 한다.

• 한국통신학회논문지
• /
• 제36권8B호
• /
• pp.1028-1037
• /
• 2011

최근 Selim등은 공개키 암호 기반의 프라이버시를 제공하기 위해 다중-컨텍스트 RFID 인증 프로토콜을 제안하였다. 하지만 Selim등이 제안한 프로토콜은 리더와 태그 간의 인증을 수행하는 과정에서 공개키 기반의 암호 알고리즘을 사용하므로 수동형 태그에는 적합하지 않을 뿐만 아니라 상호 인증 부재로 인한 위장 공격에 취약하다. 위와 같은 효율성 문제와 보안 취약점 해결을 위해 본 논문에서는 각각 다른 영역에서 단일 수동형 태그와 다양한 목적을 제공하는 리더들 간의 상호 인증을 제공함으로써 프라이버시 침해와 태그 위장 공격을 방지하며, 중계 공격과 서비스 거부 공격에 안전한 다중-컨텍스트 RFID 상호 인증 프로토콜을 제안한다. 결론적으로 제안한 프로토콜은 RFID 리더로부터 수집된 공간과 시간의 정보를 토대로 안전한 상호 인증이 수행되고, 수동형 태그에 적합하도록 안전한 일방향 해쉬 함수와 대칭키 암호 연산을 수행함으로써 강한 보안성과 높은 연산 효율성을 제공한다.

• 정보처리학회논문지C
• /
• 제16C권2호
• /
• pp.257-266
• /
• 2009

최근 노트북, PDA와 같은 이동 단말기의 사용이 일반화되면서 고속 인터넷 서비스에 대한 요구가 점차 증가하고 있지만 IEEE 802.16e에서 제공하는 PKMv2만으로는 고속 인터넷 서비스의 완전한 보안을 제공하지 못하고 있다. 이 논문에서는 WiMAX 환경에서 동작되는 노드들의 안전한 고속 데이터 전송을 지원하기 위하여 PKMv2를 경량화한 상호 인증 프로토콜을 제안한다. 제안된 상호 인증 프로토콜은 네트워크내 사용자가 초기 인증을 수행한 후 네트워크 내에서 가입자와 베이스 스테이션 사이의 추가적인 인증과정을 수행하지 않고 안전하게 네트워크 내에서 통신할 수 있도록 하여 효율성을 향상시켰다. 또한 제안된 상호 인증 프로토콜에서는 인증서를 보호하기 위해서 노드 자신이 생성한 난수와 비밀값을 PRF() 함수에 적용하여 키를 생성함으로써 가입자와 베이스 스테이션 사이의 내부 공격(man-in-the-middle 공격과 reply 공격)에 안전성을 보장하고 있다.

• 한국정보기술학회논문지
• /
• 제16권11호
• /
• pp.133-144
• /
• 2018

철도 시스템의 안전성 표준인 IEC 62278은 위험원 분석을 통해서 철도 시스템이 가질 수 있는 위험원을 예방하거나 또는 제어하도록 요구한다. 만약 위험원 분석이 충분하지 않으면 사고가 발생할 가능성이 높기 때문에, 위험원 분석을 보다 철저히 수행할 필요가 있다. 본 논문에서는 기존의 신뢰성 기반 방법과 시스템 이론적 방법을 상호 결합한 하이브리드 위험원 분석을 제안한다. 제안하는 방법은 기존 위험원 방법을 상호 보완하는 것으로서, 시스템 구성 요소의 고장으로 인한 위험원과 구성 요소들 간의 상호작용으로 인해 발생되는 제어 위험원을 함께 분석한다. 열차간의 속도를 자동 제어하는 다중 적응형 순항 제어 장치의 안전 보호 시스템 개발에 적용한 결과, 기존 방법들 보다 안전 요구사항을 더 많이 추출하여, 위험원으로부터 시스템을 보호함을 확인하였다.

• 한국철도학회논문집
• /
• 제14권1호
• /
• pp.57-65
• /
• 2011

교량을 주행하는 열차의 주행안전성과 승차감의 확보를 위해 Eurocode, 신간선 기준, 호남고속철도 설계지침 등에서는 교량의 연직변위, 연직가속도, 면틀림 등의 항목으로 제한하고 있다. 그러나 이와 같은 제한 기준은 교량 설계자의 편의를 위한 간접적인 방법이다. 또한 이와 같은 기준은 일반적인 경간(Eurocode의 경우 120m 이하)에 대한 제한 기준으로서, 이 이상의 장경간 교량의 경우에는 교량/열차 상호작용 해석 등에 의한 면밀한 검토를 제안하고 있다. 본 연구에서는 교량/열차 상호작용 해석을 수행하여 열차에서의 응답을 통해 교량 상을 주행하는 열차의 주행안전성 및 승차감을 직접적으로 평가하고자 하였다. 즉, 중앙경간 300m의 현수교를 주행하는 KTX 열차에 대하여 열차 내부의 가속도와 윤중감소율을 구해 평가하는 방법을 취하였다. 또한, 이동 열차하중과 지진하중이 동시에 작용할 경우를 고려한 교량/열차/지진 상호작용해석을 수행하여 지진 시의 응답을 평가하였다.

• 디지털융복합연구
• /
• 제14권12호
• /
• pp.201-208
• /
• 2016

메일 시스템은 기업 간 거래와 같은 중요한 내용을 전달하는 목적에 사용된다. 그러나 메일 시스템에서 메일 주소를 변경하여 보내는 공격은 어렵지 않다. 기업 간 거래에서 메일 서버를 인증하는 것과 메일 서버에 등록된 사용자를 인증하는 것은 매우 중요하다. 본 논문에서 제안하는 시스템은 기업 환경에서 송신자와 수신자의 인증과 권한을 확인하는 프락시를 두어 기업 간 거래 사기를 방지할 수 있는 메일 프락시를 제안하고자 한다. 제안된 안전한 메일 플랫폼은 프락시를 기반으로 메일서버들의 도메인을 구성하고, 도메인에 속한 메일 서버들을 확인하고 사용자를 상호인증(mutual authentication)하여, 메일 송신자와 수신자가 정당한 사용자일 경우 기밀성(confidentiality)을 위한 비밀키를 교환하고, 암호화하여 메일을 송신한다. 본 논문에서는 상호인증 프로토콜과 키 교환 방법을 제안하고 Casper 검증기법을 이용하여 안정성을 검증하였다. 향후 연구로는 메일의 안전성을 위한 도메인구성 전반적인 플랫폼에 대하여 연구를 할 것이다.

• 한국재난정보학회 논문집
• /
• 제19권1호
• /
• pp.146-160
• /
• 2023

연구목적: 건설업은 복합공정이 동시에 진행되는 복잡한 메커니즘으로 사고 발생 빈도 와 강도가 다른 산업보다 높은 비중을 차지하고 있으며, 사고 사망만인율 또한 전 산업의 50% 이상 차지하고 있다. 이런 사고 감소를 위해 정부의 재해조사 방법에 대해 시스템 안전 관점에서 한계를 분석하여 개선방안을 제시하고자 한다. 연구방법: 정부의 중대 재해조사에 대한 주요 내용을 파악하고, 시스템 안전 관점에서 효과성/타당성을 분석하였다. 연구결과: 법규 위반 및 준수에 맞춰진 재해조사 및 분석기법은 근원적인 해결방안을 제시하기에 한계가 있었으며, 안전 제약, 제어, 계층별 상호작용을 접목할 때 시스템 전체의 구성 요소별로 사고 예방을 위한 대안 제시가 가능했다. 결론:현재의 사고분석 방법에서 시스템 안전 관점의 재해조사 및 분석 방법을 접목할 때 계층별 상호작용의 문제점과 의사소통 과정의 문제점을 확인할 수 있어 통합적 관점에서 사고 예방을 위한 대안 제시가 가능하다.

• 자동차안전학회지
• /
• 제9권1호
• /
• pp.13-18
• /
• 2017

In recent years, NCAP regulations of many countries have induced automaker to improve the vehicle crashworthiness. But, the current NCAP regulations don't cover all types of traffic accidents. And rapid-increasing market share of compact cars and SUVs has brought for both consumer and automaker to pay more attention on crash compatibility. So, many countries have tried to develop the new crash test mode and update the present crash test mode. Especially, Euro NCAP has been developing a new impact protocol of the car-to-car frontal offset impact including the crash compatibility assessment. There are plans to introduce this new protocol in 2020, and it will be replaced the current Euro NCAP frontal offset impact. The test dummy in the front seats of this new test mode will be changed from 50% Hybrid-III male to 50% THOR male. This paper will address the vehicle responses, the occupant responses and the vehicle compatibility performance from a full vehicle crash test using the new car-to-car frontal offset test protocol of Euro NCAP.