• 중소기업융합학회논문지
• /
• 제2권1호
• /
• pp.11-18
• /
• 2012

소프트웨어의 규모가 커지고 복잡해지면서 소프트웨어의 기능적 실패(Functional Failure)를 만들어 내는 위험(Hazard) 요소들을 분석하기가 어려워지고 있다. 안전 필수 시스템(원자력 발전소, 항공관제 시스템, 철도 운영 시스템)에서 이런 기능적 실패는 곧 큰 사고 (인명피해, 환경오염) 로 이어지게 된다. 따라서 이러한 기능적 실패를 방지하고 소프트웨어의 안전성을 높이기 위해서는 소프트웨어 안전성 분석이 필요하다. 하지만 몇 가지 이유 (시간과 노력, 안전성 분석 기법의 다양한 지식 부족, 기관이나 회사의 관습적인 방법 사용) 로 적절하지 못한 안전성 분석 기법을 선택하게 되는 경우가 있다. 따라서 본 논문에서는 기존 안전성 분석 기법과 최신 안전성 분석 기법, 통합 모델 몇 가지를 소개 하겠다. 이것을 통해 전문가는 여러 종류의 안전성 기법을 간략하게 확인 할 수 있을 것이고, 시스템에 맞는 안전성 분석 기법을 선택하는데 도움을 받을 수 있을 것이다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1997년도 추계학술대회논문집 기업경쟁력 향상을 위한 정보통신 기술의 활용
• /
• pp.389-402
• /
• 1997

컴퓨터 소프트웨어를 내장한 시스템의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 있다. 이러한 결함 분석 기법들은 전통적으로는 하나의 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 시스템에 가 장 알맞는 분석 기법이 동원되어야 함은 이제 필수적이다. 여기에 착안하여, 시스템 내에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템의 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함 트리 분석(FTA)과 소프트웨어 오류경 향 및 영향 분석(소프트웨어 FMEA)을 결합한 시스템 결함 분석 방법을 제안하고자 한다.

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

현재에 시스템의 결함을 분석하는 안전성 분석 기법들이 여러 가지가 있다. 본 논문에서는 많은 결함 분석 기법 중에서 FTA(Fault Tree Analysis)와 FMECA(Failure Modes, Effect and Criticality Analysis)을 통하여 안전성 분석을 하고자 한다. 또한 이 두 가지 기법을 따로 사용하지 않고 전방에서 FTA 분석을 하고 후방에서 FMECA 분석을 수행하는 통합 기법을 제안한다. 이를 통해 각 기법의 단점을 최소화하고 장점을 최대화 하여 안전성 분석의 효율성을 제고하고자 한다.

• 한국산업안전학회:학술대회논문집
• /
• 한국안전학회 2002년도 춘계 학술논문발표회 논문집
• /
• pp.503-508
• /
• 2002

최근 제조물 책임(Product Liability) 법의 영향으로 제품 안전(product safety)에 대한 관심이 높아지고 있다. 따라서, 그 동안 시스템 안전 분야에서 성숙되어온 여러 가지 안전성 분석 기법들이 실생활에 직접 연관된 제품 안전 문제에 적용될 수 있을 것으로 기대된다. 대부분의 안전성 분석 기법들이 제품 안전을 다를 수 있는 가능성을 가지고 있지만, 응용분야의 특성상 여러 가지 추가적인 고려사항이 있음을 알 수 있다. 본 논문은 제품 안전에 적용하기 위하여 기존의 안전성 분석 기법들을 검토하였다. 특히, 제품안전의 실무에 시급한 기법을 선정하여, 제품안전의 실무를 효과적으로 지원하기 위한 예로 FMEA의 개선방향을 제시하였다. 제조물 책임 개념이 단순히 소송이나 보험과 같은 사후 대응 중심의 노력으로 소모되지 않고, 제품의 경쟁력 향상으로 실효를 거두기 위해서는, 무엇보다 제품 안전을 위한 실무 방법론들이 시급하게 제시되어야할 것이다.(중략)

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2001년도 춘계학술대회
• /
• pp.141-148
• /
• 2001

PL시대의 제품안전과 신뢰성을 확보하기 위한 각종 활동 체계와 기법들 및 그 관련성을 알아본다 제품의 신뢰도, 가용도, 안전성, 그리고 보전성을 종합적으로 다루는 통합신뢰성 (dependability) 에 관한 예측 및 분석 기법들과 각 기법의 특징, 적용에 대해 소개하고, 이들 기법을 효과적으로 연계, 활용할 수 있는 안전/신뢰성/품질보증 통합경영시스템에 대해 고찰한다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2018년도 춘계 종합학술대회 논문집
• /
• pp.121-122
• /
• 2018

본 연구는 GIS기법, GPS기법을 이용하여 천안시 내의 자전거도로 최적노선을 선정하고 문제점 제안에 관한 것이다. 연구에서 자전거도로 최적노선을 위한 물리적, 사회적, 환경적 등 다양한 측면의 조건과 제안 요소들을 복합적으로 분석하여 문제점을 제시하고 GIS, GPS기법을 이용해 데이터값을 표출하여 해당 지역을 비교 분석하였다. 연구결과 편의성, 안전성, 접근성을 고려한 자전거도로의 노선을 제안하였으며천안시 자전거도로의 안전성을 높이고 효율적인 자전거 이용 환경을 구축할 수 있을 것을 기대한다.

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

암호 알고리즘이 탑재된 환경에서 암호 알고리즘의 이론적 안전성이 고려되어도 환경에 의존한 부가적 정보를 활용하는 부채널 분석에 대한 안전성이 검토되어야 한다. 최근까지 부채널 분석에 대한 안전성을 고려한 대응기법으로 마스킹 기법이 적용되었으나, 이와는 상반된 개념인 하드웨어 DPL(Dual-rail with Precharge Logic) 기법을 응용한 균일한 해밍웨이트를 제공하는 소프트웨어 AES(Advanced Encryption Standard)가 제안되었다. 최근, 소프트웨어 기반 블록암호에 대해 고차 마스킹 부채널 대응법의 비효율성으로 새로운 방법에 대한 다양한 시도가 되고 있으며, 그 중 균일한 해밍웨이트를 제공하는 표현 방법이 효율적이고 안전한 새로운 대응법으로 검토되어지고 있다. 하지만, 논문에서는 균일한 해밍웨이트 데이터 표현방법 기반 부채널 대응법을 해독하는 차분전력분석 방법을 소개한다. 실험을 통해, AES 128비트 키 중 일부분이 분석됨을 확인하였다. 이는 공격자가 테이블 변환 정보를 활용할 수 있다는 다소 강력한 가정하에 실험하였기 때문이다. 앞선 가정 하에 안전성을 제공하기 위해서는 차후 추가적 대응기법이 고려되어야 한다.

• 한국통신학회논문지
• /
• 제39B권1호
• /
• pp.29-37
• /
• 2014

최근, Tsai 등의 연구자는 동적 ID 기반 스마트카드 인증 기법을 제안하였다. 본 논문에서 그들이 제안한 기법은 잘못된 패스워드의 검증을 조기에 탐지하지 못하기 때문에 발생하는 서비스거부 공격과 내부자 공격에 취약하고 패스워드 변경시 안전성이 보장되지 않는 문제가 있음을 제시하고, 이러한 문제를 해결하는 기법을 제시하려고 한다. 본 논문에서 제안하는 기법의 안전성은 일방향 해시 함수의 안전성과 이산대수 문제의 어려움에 기반을 둔다. 특히 기존 기법과 거의 대등한 수준의 연산량을 요구하면서 안전성 문제를 해결한다. 추가로 제안하는 기법의 안전성과 연산량에 대한 좀 더 자세한 분석을 제시한다.

• 한국전기전자재료학회:학술대회논문집
• /
• 한국전기전자재료학회 2006년도 영호남 합동 학술대회 및 춘계학술대회 논문집 센서 박막 기술교육
• /
• pp.99-100
• /
• 2006

철도안전법의 제정 및 시행에 즈음하여 철도안전관리에 대한 인식이 제고되고 있는 시점에서 인적요소를 고려한 전기철도안전관리기법을 제시한다. 이를 위해서는 인적신뢰성분석이 필요하나 현재로서는 세계적으로도 이에 관한 규격이 정비되어 가고 있는 실정으로서 국내에서는 규격 적합성 인증 제도가 아직 구축되어 있지 못하고 따라서 규격 정비의 진행에 따라 위험성정보교환에 관련된 대책의 필요성이 증가하고 안전성의 확률론적 정량적평가가 보다 중요시 될 것으로 예상된다. 본고에서는 시스템 위험도분석을 통한 안전공학적 절차를 준수함으로써 위험도를 정량적으로 평가하고 정량적으로 평가된 위험도를 적정 수준으로 관리함으로써 철도시스템 안전관리체계를 향상시킬 수 있는 기법으로서 최근 주목받고 있는 인적신뢰성분석기법과 위험도정보교환에 대한 기본 개념을 제시한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2015년도 제51차 동계학술대회논문집 23권1호
• /
• pp.263-265
• /
• 2015

안전하지 않은 네트워크에서 정당한 사용자를 인증하여 접근을 허가하는 사용자 인증 기법은 매우 중요한 기술이다. 스마트카드를 이용한 사용자 인증 기법은 연산의 효율성과 사용의 편리성, 저장 공간 등의 이유로 최근까지 많은 연구가 진행되고 있다. Huang 등은 Awasthi 등이 제안한 기법의 취약점을 개선하고 연산 효율성 및 편리성을 증대시킨 새로운 기법을 제안하였다. 그러나 Huang 등이 제안한 기법 역시 비밀키가 노출되고 위장 공격, 서비스 거부 공격 등에 취약하다는 것이 확인되었다. 본 논문에서는 Huang 등이 제안한 기법을 살펴보고 안전성을 분석한다.