• Review of KIISC
• /
• v.20 no.2
• /
• pp.78-84
• /
• 2010

키 교환 프로토콜은 대표적인 암호화 프로토콜로서 그 안전성 모델에 관한 연구가 꾸준히 진행되어 왔다. 최근에는 기존의 안전성 모델을 강화시키고 강화된 모델을 바탕으로 키 교환 프로토콜 설계가 이루어졌다. 본 논문에서는 강화된 새로운 안전성 모델 결과들을 정리해서 살펴보고 향후 연구 방향에 대해서 논한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2015.07a
• /
• pp.46-49
• /
• 2015

세월호 이후 안전교육의 중요성이 강조되고 있어 해양안전 기초교육 표준 모델을 정립 할 필요성이 제기되고 있다. 해양산업계에서는 선원법에 의해 기초안전교육, 상급안전교육으로 법정 교육으로 강제하고 있으며, 해기사에 대해서는 BRM 교육이 실시되고 있다. 이를 일반 국민에게 적용하기 위한 바다 물놀이 안전수칙, 선박 안전수칙, 재난선박 안전수칙에 대한 표준 교육 모델을 제시하여 교육 현장에 적용하고 해양안전 문화확산의 기초 자료로 사용하고자 한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.10
• /
• pp.410-417
• /
• 2018

System design errors are more likely to occur in modern systems because of their steadily increasing size and complexity. Failures due to system design errors can cause safety-related accidents in the system, resulting in extensive damage to people and property. Therefore, international standards organizations, such as the U.S. Department of Defense and the International Electrotechnical Commission, have established international safety standards to ensure system safety, and recommend that system design and safety activities should be integrated. Recently, the safety of a system has been verified by modeling through a model-based system design. On the other hand, system design and safety activities have not been integrated because the model for system design and the failure model for safety analysis and verification were developed using different modeling language platforms. Furthermore, studies using UML or SysML-based failure models for deriving safety requirements have shown that these models have limited applicability to safety analysis and verification. To solve this problem, it is essential to extend the existing methods for failure model implementation. First, an improved SysML-based failure model capable of integrating system design and safety verification activities should be produced. Next, this model should help verify whether the safety requirements derived via the failure model are reflected properly in the system design. Therefore, this paper presents the concept and method of developing a SysML-based failure model for an automotive system. In addition, the failure model was simulated to verify the safety of the automotive system. The results show that the improved SysML-based failure model can support the integration of system design and safety verification activities.

• Journal of Korean Society of Disaster and Security
• /
• v.16 no.2
• /
• pp.1-13
• /
• 2023

As interest in urban safety has increased since COVID-19, various institutions have developed and used indicators that evaluate the safety city model. Yongsan-gu was ranked No. 1 in 2021 by Social Safety Index evaluation and was selected as the safest city in Korea. However, the Itaewon disaster in Yongsan-gu in 2022 caused many casualties. The study of indicators for evaluating cities' safety was necessary. This study aims to examine domestic and foreign safe city models and review the differences between each model and the indicators used to evaluate safe cities. As a result of collecting 11 safe city models and analyzing each evaluation index, safe city models can be classified into program-based safe city models, such as the World Health Organization's International safe community and the UN Office for Disaster Risk Reduction's International Safe city. Considering the diversification of threats to safety, it is reasonable to comprehensively consider digital security, health safety, infrastructure safety, personal safety, environmental safety, traffic safety, fire safety, crime safety, life safety, suicide, and infectious diseases when evaluating safe cities as evaluation parameters.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2024.01a
• /
• pp.479-480
• /
• 2024

본 논문에서는 원자력 안전조치 용어를 미세조정(fine tuning) 알고리즘을 활용해 추가 학습한 공개 거대 언어모델(Large Language Model, LLM)이 안전조치 관련 질문에 대해 답변한 결과를 정성적으로 평가하였다. 평가 결과, 학습 데이터 범위 내 질문에 대해 학습 모델은 기반 모델 답변에 추가 학습 데이터를 활용한 낮은 수준의 추론을 수행한 답변을 출력하였다. 평가 결과를 통해 추가 학습 개선 방향을 도출하였으며 저비용 전문 분야 언어 모델 구축에 활용할 수 있을 것으로 보인다.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2023.11a
• /
• pp.182-184
• /
• 2023

본 논문에서는 안전한국훈련의 체계적은 포괄적 훈련 프로세스 모델을 개발하기 위해 국제표준인 ISO 22398과 미국의 국토안보훈련(Homeland Security Exercise and Evaluation Program, HSEEP)의 훈련 모델에 기반해 국내 안전훈련을 위한 훈련 모델을 개발하였다. ISO 22398에서는 훈련 프로그램, 훈련 프로젝트, 그리고 지속적 개선을 통한 환류 구조를 제시하고 있었고, 미국의 국토안보훈련에서는 대비 순환과 훈련 순환 구조를 서로 엮는 것으로 포괄적인 훈련 환류 구조를 완성하였다. 한국의 안전훈련이 연속성을 가지기 위해서는 두 훈련 모델을 통합해 지속적으로 환류지속이 가능한 훈련 모델의 개발이 필요해 이를 제시하였다.

• Journal of the Korean Society of Safety
• /
• v.4 no.1
• /
• pp.103-120
• /
• 1989

최근 도시교통계획분야에 있어서 교통수요의 예측모델 또는 교통정책의 평가 모델로서 비집계(非集計) 모델에 관한 연구가 진행되고 있다. 이 비집계모델은 개개의 의사결정단위에 있어서 선택행동을 영역마다 집계하는 것이 아니고 의사결정레벨의 데이터률 그대로 모델로 구성할 경우 이 데이터를 이용함으로써 의사결정단위의 선택행동을 모델화 할 수 있다는 특징을 갖고 있다. 한편 비집계모델의 사용목적은 여러가지로 생각되나 이것을 교통수요의 목적이나 교통정잭의 평가를 위한 모델로 이용할 때는 파라미터의 추정값이나 선택비율의 추정값에 대한 안정성이 매우 중요한 문제가 되고 있다.

• The Safety technology
• /
• no.34
• /
• pp.8-14
• /
• 2000

얼마 전부터 안전보건경영체제의 시행여부와 관련하여 최근 위험성 평가(Risk Assessme nt)가 각 방면에서 주목을 받고 있다. 우리나라에서는 위험성 평가가 96년부터 공정안전관리(PSM : Process Safety Management nt)가 시행되면서 특히 화학업종을 중심으로 해당 사업장에 적용되어 실시해왔으나 안전보건경영체제에서는 일반업종에도 위험성 평가를 요구하고 있다. 이러한 위험성 쳥가에 관한 국제적인 표준이 ISO 14121 등 여러 가지가 있는데 일본에서는 이미 위험성 평가에 대한 표준 모델을 발표하고 있다. 본 자료에서는 일반 기계기구업종에서의 위험성 평가에 대한 표준모델로서 영국규격 BS8800 부속서D를 일본에서 발표된 모델을 소개 하고자 한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.655-659
• /
• 2003

시스템의 안전성을 평가하기 위해 안전성 문제 해결 도구인 SPR［1］을 이용하여 보안 모델을 프롤로그 기반의 명세 언어인 SPSL로 기술하여 안전성을 검증한다. 보안 모델은 시스템의 3가지 컴포넌트, 시스템 보안 상태(system security states), 접근 통제 규칙(access control rules), 그리고 보안 기준(security criteria)으로 구성된다. 본 논문에서는 보안 모델의 보안 기준에 NTFS의 다중 사용 권한을 적용하여 명세하고 안전성 문제 해결방법을 제시하고자 한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.07a
• /
• pp.123-124
• /
• 2019

본 논문에서는 안전관리를 시나리오 모델의 환경을 고려한다. 안전관리에 대해서 보통의 경우 사고의 재발 환경이 높은 곳에서 그 필요성이 절실히 요구된다. 따라서 안전관리의 필요성이 제시된 곳에서 그 환경에 적용될 수 있는 시나리오의 모델을 추출해야 한다. 시나리오 모델들의 추출은 시나리오 적용 지역의 환경 분석을 통하여 대상 요소를 분석하여 구축하여야 한다.