• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.126-128
• /
• 2012

소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 기본적인 검증기법인 테스팅을 이용하여 시스템이 만족하는지 확인하는 방법을 제안하고 핸드폰의 카메라 컨트롤러 예제를 이용한 사례 연구를 진행하였으며 이를 지원 위한 도구인 TC2SMV를 개발하였다. TC2SMV는 UML의 state chart diagram에서 생성된 test case들을 SMV 입력 프로그램으로 자동으로 변환하여 사용자가 SMV 모델체킹을 수행할 수 있는 환경을 제공한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.4
• /
• pp.843-853
• /
• 2017

In the case of electronic payment, the obligation to use the certificate-based authentication was abolished. As Fin-tech service providers gain autonomy, various authentication methods are provided. SMS, ARS, PIN, Text-passwords, Fingerprints are popular authentication methods in the mobile Fin-tech services. In this study evaluate the usability and security of authentication methods in a unified mobile environment. We evaluate the usability through SUS and interview. Also we evaluate the security level of authentication methods through NIST guideline. At the result of the usability evaluation, Fingerprint authentication method had been determined as the highest usability, also Fingerprint authentication method had been determined as the safest authentication method by obtaining Security Level 4.

• Review of KIISC
• /
• v.19 no.2
• /
• pp.87-98
• /
• 2009

국내 외 IT 제품은 그 제품이 가지고 있는 안전성 및 신뢰성에 대한 검증을 통해 국가 및 공공기관에 제품 공급 및 이용 촉진을 도모하고 있다. 또한 각 국가마다 보안제품 특징과 성격에 맞는 평가라 인증을 수행하기 위한 보안성 평가 서비스를 제공하고 있으며, 시스템 평가 기준과 방법론이 개발 및 운영되고 이에 따라 캐나다에서는 정보기술보안 제품의 안전성을 사전에 검증하기 위한 제도를 시행하고 있다. 본 고에서는 캐나다의 정보기술보안 제품 사전 검증 제도에 대한 분석을 통해 국내 적용가능성에 대하여 분석한다.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2005.06a
• /
• pp.309-310
• /
• 2005

2007년 초 발간될 한국형기준처분시스템의 종합안전성 평가의 일환으로 수행될 자연 재해 사건들에 대한 평가를 위해 전체 안전성 평가 프레임워크 내에서 자연 재해 사건 평가 방법에 대한 접근론이 개발되고 이에 의거해 Process Model(PM)을 개발하기 위한 국내외적 자료가 분석 평가되었다. 이로부터 FEP, 평가 방법론 등 Analysis Model(AM)의 일부분이 개발되었으며 향후 이를 바탕으로 안전성 평가 계산이 수행될 예정이다. 연구 결과 지진과 관련된 자연 재해 사건의 국내외 사례를 종합해 볼 때 극히 보수적인 종합 안전성 평가를 위해서는 처분장 주변에 위치한 단층대가 지진 발생 시 단열이 최대 10 m 정도 변화할 것으로 예상하는 것이 타당할 것으로 판단된다.

• Review of KIISC
• /
• v.12 no.3
• /
• pp.67-76
• /
• 2002

인터넷의 발달로 사회의 기반구조가 종이사회에서 사이버 사회로 전환됨에 따라 정보보호제품이 중요한 역할을 담당하게 되었다. 이러한 정보보호제품의 안전한 선택 및 사용을 위한 기본적인 선택기준은 신뢰 기관의 안전성 평가 결과일 것이다. 이러한 안전성 평가는 현재 세계적으로 공통 평가를 위한 체계를 준비중에 있으며, 가장 대표적인 것이 CC(Common Criteria)기반의 정보보호제품 평가이다. 그러나 CC기반의 평가기준에서는 정보보호분야의 핵심기술인 암호알고리즘에 대한 평가는 수행하지 않고 각 국이 독자적으로 하도록 규정하고 있으며, 이를 구현한 암호모듈에 대한 평가 또한 독자적으로 하도록 하고 있다. 암호모듈에 대한 안전성 평가로 가장 널리 참조되는 것은 미국의 NIST(National Institute of Standards and Technology)가 수행하는 CMVP(Cryptographic Module Validation Program)이며, 세계적으로 인정받고 있다. 본 고에서는 현재까지 수행되고 있는 정보보호제품에 탑재된 암호모듈의 평가체계에 대해 비교 분석하여 정리 하고자 한다.

• Journal of Aerospace System Engineering
• /
• v.14 no.spc
• /
• pp.31-38
• /
• 2020

The aircraft system safety assessment, which is emphasized in the development and certification of aircraft, is a systematic and comprehensive evaluation process to determine that all relevant failure conditions have been identified and that all significant combinations of failures cannot result in unacceptable hazards. As the aircraft systems become more complex and require integrated function and performance, proper safety objectives must be established and appropriate assessments are need to be accompanied. This paper has prepared to propose the efficient probabilistic analysis of failure data to evaluate the risk level over the entire aircraft lifecycle through the safety assessment and to review the considerations for aircraft certification and safety improvement.

• The Journal of Pediatrics of Korean Medicine
• /
• v.20 no.2
• /
• pp.129-137
• /
• 2006

목적 : 본 연구를 통하여 아토피 피부염 환아의 한약치료 후 임상 효능, 안전성을 평가하고, 나아가 효능과 안전성을 종합적으로 평가함으로써 아토피 피부염에 대한 한약치료의 유용성을 평가하고자 한다. 방법 : 경희대학교 한의과대학 부속한방병원 한방소아과에 내원한 아토피 피부염 환아 39명의 한약치료 전후의 의무기록을 검토하였다. 아토피피부염 치료에 대한 한약의 효능을 평가하기 위하여 치료 후 아토피 피부염의 개선정도에 대한 부모의 평가를 VAS를 사용하여 분석하였다. 아토피 피부염에 패한 한약치료 후 안정성의 평가를 위하여 치료 전후 혈중 AST, ALT, BUN, creatinine 변화를 검토하여 한약치료의 간신독성 여부에 대해 조사하였고, 보호자에 대한 설문조사를 통하여 한약치료 후 발생한 부작용 및 불편한 증상의 종류 및 정도를 평가하였다. 나아가 한약의 효능 및 안정성을 종합적으로 평가하여 아토피 피부염에 대한 한약 치료의 유용성을 분석하였다. 결과 및 결론 : 환아 39명 중 27명 (69%)의 부모가 한약치료가 아토피 피부염의 개선에 효과가 있다고 보고하였다. 안정성의 평가에 있어서, 39명의 환자에게서 한약 치료 후 간장과 신장에 미치는 독성이 발견되지 않았다. 2명의 환아가 일시적이고 경미한 복부 불쾌감을 호소하였으나, 한약투여와의 관련성은 관찰되지 않았다. 1명의 환아에서 경미한 복통이 발견되었으나, 의학적 치료 없이 증상은 소실되었으며, 치료 과정의 중단 없이 계획되었던 모든 치료 과정을 종료하였다. 치료 후 상기 환아는 아토피 피부염의 증상 개선 뿐 아니라 변비증상의 완화, 만성적 어지러움의 개선 등 제반 신체 조건의 호전을 보고 하였다. 임상적 효능과 안전성을 종합적으로 고려할 때, 환아 39명 중 27명 (69%)의 사례에서 한약치료가 아토피 피부염의 유용한 치료수단으로 평가되었다. 이를 근거로 한약치료가 아토피 피부염에 대하여 안전성을 가진 유용한 치료방법이라 사료되며, 향후 임상적 효능과 안전성을 객관적으로 평가할 수 있는 대규모의 임상연구가 필요하리라 사료된다.

• Proceedings of the Korean Reliability Society Conference
• /
• 2000.04a
• /
• pp.161-168
• /
• 2000

고리 3,4호기 및 영광 1,2호기의 원자로보호계통 및 공학적안전설비작동계통의 정기점검주기와 허용정지시간에 대하여 계통의 신뢰도와 노신손상빈도를 평가하여 안전성이 저해되지 않는 범위에서 합리적인 정기점검주기와 허용정지시간을 도출하였다. 이를 위하여 원자로보호계통의 17개 원자로정지신호와, ESFAS계통의 11개의 안전설비작동신호에 대해서 고장수목을 작성하였고, 정기점검주기 변화에 따른 신뢰도를 평가하였다. 또한 계통의 신뢰도가 발전소의 안전성에 어떤 영향을 미치는가를 파악하기 위하여 노심손상빈도를 분석하였다. 분석 결과 현행 1개월의 점검주기를 3개월로 연장한다 하더라도 신뢰도는 20%미만 노심손상빈도는 2%정도 저하되는 것으로 나타났다. 이런 정도의 신뢰도와 위험도가 변화는 원자력발전소의 안전성에 거의 영향을 주지 못하기 때문에 점검주기를 연장하는 안이 타당한 것으로 나타났다.

• Review of KIISC
• /
• v.16 no.4
• /
• pp.34-46
• /
• 2006

정보보호 시스템에 사용되고 있는 암호적 난수발생기의 현황을 조사하고 안전성 분석에 대한 최신 기술 동향을 살펴본다. 하드웨어를 기반으로 하는 난수발생기의 종류 및 사용 실태와 안전성 분석 기술을 조사 분석하며, 소프트웨어 기반 난수발생기에 대한 최신 설계 기술을 정리해 본다. 또한, 난수발생기의 출력 수열에 대한 통계적 안전성 평가 방법과 난수발생기 알고리즘에 대한 이론적 안전성 분석 기술에 대해서 논한다.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.24 no.4
• /
• pp.64-71
• /
• 2020

In recent years, many infrastructure have been rapidly aging around the world, which grows interest in the maintenance of the infrastructure. Among the social infrastructure, bridge is a very important structure to transport lots of human and various products. The performance evaluation of bridge can be divided into the condition evaluation and safety evaluation, proposed by Korea Infrastructure Safety and Technology Corporation. However, there are no separate criteria for the performance evaluation of three-class bridges. In general, the performance of bridge is dominated by the results of the condition evaluation, which is lower than that of the safety evaluation. Therefore, this study assessed the correlation between the condition evaluation of superstructure and bridge and also between the condition evaluation and the safety and load-carrying capacity of bridge. The results of the study would provide a basic data for the more quantitative and higher relevant performance evaluation of the existing bridges, particularly for three-class bridges.