• Title/Summary/Keyword: 안전기능분석

Search Result 1,442, Processing Time 0.026 seconds

Formal Modeling for Security System and the Development of Formal Verification Tool for Safety Property (보안시스템의 정형화설계 및 안전성 검증 도구 개발)

  • ;;;;;Dmitry P. Zegzhda
    • Proceedings of the Korea Institutes of Information Security and Cryptology Conference
    • /
    • 2003.12a
    • /
    • pp.533-537
    • /
    • 2003
  • 보안 시스템의 안전성을 분석하기 위해서는, 정형적 방법론을 사용하여 보안 시스템에 대한 이론적인 수학적 모델을 정형적으로 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 보안 시스템의 안전성을 검증하기 위한 보안모델의 구성요소와 안전성 검증방법을 설명한다. 그리고 보안모델을 설계하고 안전성을 분석하기 위한 SEW(Safety Evaluation Workshop)의 전체 구조와 SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

  • PDF

Common Business Analysis of Disaster and Safety Response Processes Based on Crisis Management SOP Manuals for Development of BRM (재난안전 분야 기능분류체계(BRM) 개발을 위한 위기관리 표준매뉴얼(SOP) 기반 공통업무 분석)

  • Gang, Ju-yeon;Han, Hui-jeong;Myung, Hyun;Oh, Hyo-jung
    • The Korean Journal of Archival Studies
    • /
    • no.58
    • /
    • pp.191-224
    • /
    • 2018
  • In order to effectively respond to repeated disasters, the most important thing is the systematic management of records which were produced from past disaster response processes. It is necessary to develope a business reference model(BRM) to incorporate scattered disaster safety record information resources into the record management system. In this regard, this study examined crisis management standard operation procedures(SOP) manuals and analyzed common businesses of disaster and safety response processes. Based on analysis of 28 manuals three times, 1,667 main business transactions are drawn, which are grouped by 5 middle functions and 20 small functions. Furthermore, by looking at forecast records by business type, several insight is proposed in terms of disaster and safety response business processes and of disaster and safety records management.

Safety Evaluation of Flashing Yellow Operation at Night (야간 황색점멸신호 운영에 따른 안전성 평가)

  • Beak, Tae Hun;Park, Byung Ho
    • Journal of Korean Society of Transportation
    • /
    • v.31 no.5
    • /
    • pp.16-25
    • /
    • 2013
  • This study deals with the relationships between flashing operation and traffic accident at signalized intersections. The objective of this study is to analyze safety effects of the yellow flashing operation at night. In pursuing the above, this study gives particular attention to evaluating the safety results from signal operation of Cheongju's 190 signalized intersections using before-after evaluation with comparison group that are categorized by highway function. The main results are as follow. First, the numbers of traffic accidents and of fatalities/injuries in two highway types (arterial and collector road) have increased after operating the yellow flashing signal at night. Second, the numbers of accidents, fatalities/injuries, severe accidents and of fatalities/severe injuries in group A(arterial) have increased by 19%, 36%, 15% and 14%, respectively. Finally, the numbers of accidents, fatalities/injuries, severe accidents and fatalities/severe injuries in group B (collector) have increased by 50%, 64%, 41% and 77%, respectively.

Safety Management Framework for Information Handover Effectiveness in the Construction Industry (건설 안전관리 개념적 틀 및 정보이양 효율성 분석)

  • JIN, Zhenhui;JUNG, Youngsoo
    • Korean Journal of Construction Engineering and Management
    • /
    • v.21 no.4
    • /
    • pp.50-61
    • /
    • 2020
  • Safety management has been one of the most critical issues in the construction industry for a long time. Despite continuous efforts, it still shows a higher accident rate than other sectors. To reduce the accident rate, a lot of studies have been performed, mostly focused on contractors or construction phase. Although the initial stage of the construction project has the most significant impact on construction safety and decision-makers at the initial stage play an important role, the safety management system throughout the project entire life-cycle is still insufficient. In addition, although a great deal of information is generated in the construction project and the value is increasing, while it shows an inefficient aspect. This is believed to be due to insufficient information exchange and a lack of standards. In this context, this study aims to analyze the efficiency of information handover in construction safety. For this purpose, a safety management framework for systematically and efficiently managing and utilizing for construction safety information is referred to as 'safety business functions', 'project life-cycle', and 'industrial hierarchy'. The 'safety business functions' are classified into three levels. And then, in order to analyze the efficiency of safety information handover, 'importance of safety business function' and 'efficiency of safety information handover' were evaluated by interviewing with experts. This study can be used as reference data for implementing systematical and efficient safety management, and can also increase construction safety competency.

안전한 자율운항선박 운용을 위한 기능요건 및 기준 개발 기초연구

  • 박혜리;박한선
    • Proceedings of the Korean Institute of Navigation and Port Research Conference
    • /
    • 2023.05a
    • /
    • pp.215-216
    • /
    • 2023
  • 자율운항선박은 제4차 산업혁명 시대의 핵심기술인 사물인터넷과 빅데이터, 인공지능 등이 집약된 미래 고부가가치 선박으로 주목 받고 있으며, 자율운항선박의 도입 및 상용화를 위한 국제적 제도 검토 작업이 활발히 진행되고 있다. 국제해사기구(IMO)는 2017년부터새로운 용어 정립과 함께 기존 협약 규정식별작업(RSE)을 수행했다. 그 결과 기존 협약의 개정과 함께 자율운항선박 운항을 위한 새로운 규정 개발 필요성을 인식하고, 지난해 4월 '자율운항선박 코드(MASS Code)' 개발 로드맵 개발과 함께 세부 기준 개발 작업을 본격화했다. 본 논문에서는 현재 국제해사기구(IMO)에서 개발 중인 자율운항선박 코드를 기반으로 안전한 자율운항선박 운용을 위한 기능요건을 분석하고 세부 기준 및 방향을 제시했다.

  • PDF

맥 포렌식을 통한 아이폰 아티팩트 분석 기법

  • Lee, Kyeongsik
    • Review of KIISC
    • /
    • v.26 no.5
    • /
    • pp.17-21
    • /
    • 2016
  • 아이폰은 애플컴퓨터에서 개발한 스마트폰으로 애플의 데스크톱 운영체제인 OS X를 스마트폰에 맞게 변형한 iOS 운영체제를 사용한다. iOS는 폐쇠성과 높은 보안성 기능을 내장함으로 사용자에게는 개인 정보를 안전하게 보호할 수 있는 장점을 제공하지만, 디지털 포렌식 분석가에게는 분석 시 많은 어려움을 주고 있다. 애플은 2013년 OS X 매버릭스(10.9)를 시작으로 iOS와 OS X간의 기밀 정보 동기화 및 통화/문자 메시지를 연동할 수 있는 기능을 제공하기 시작하였으며, 2016년에 공개된 시에라(10.12)에서도 클립보드 기능 공유 등의 다양한 연동 기능을 제공하고 있다. 이러한 편의 기능은 분석가에게 아이폰 분석이 어려운 상황에서 아이폰 소유주의 OS X 시스템을 분석하여 아이폰의 아티팩트를 확보할 수 있는 한가지 방법이 될 수 있다. 본 논문에서는 아이폰에서만 획득 가능했던 아티팩트인 통화 및 문자 메시지 내역, 패스워드 정보 등이 OS X와 어떻게 연동되는지 알아보고 OS X 분석 만으로 이러한 증거를 확보할 수 있는 기법을 알아보도록 한다.

Evaluation of Software Diagnostics for Secure Operational Environment in Nuclear I&C systems (원전 계측제어 시스템 보안성환경을 위한 진단기능 평가)

  • Yoo, Sung Goo;Seul, Namo
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.53 no.8
    • /
    • pp.107-112
    • /
    • 2016
  • Safety Critical Instrumentation and Control Systems perform those functions to maintain nuclear power plants' parameters within acceptable limits established for a design basis events and anticipated operating occurrence to ensure safety function. Those digitalized systems shall protect inadvertent and non-malicious behavior to ensure the reliable operation of systems, known as a Secure Development and Operational Environment(SDOE). SDOE would be established through managerial and technical controls. The objective of this paper is to evaluate the effectiveness of Cyclic Redundancy Checksum diagnostic, which is one of technical controls for SDOE, that can confirm the integrity of software of I&C systems to establish the secure environment. The results of this assessment would be the practical implementation of design and safety review of nuclear I&C systems.

Design of a Vulnerability Exploit Framework for Secure External Hard Disks (보안 외장 하드디스크 취약점 익스플로잇 프레임워크 설계)

  • Sejun Hong;Wonbin Jeong;Sujin Kwon;Kyungroul Lee
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2024.01a
    • /
    • pp.117-121
    • /
    • 2024
  • 기존의 외장 하드디스크는 보안 기능의 부재로 인하여, 비인가자로부터 디스크가 탈취되는 경우에는 저장된 데이터가 유출되거나 훼손되는 문제점이 존재한다. 이러한 문제점을 보완하기 위하여, 보안 기능을 제공하는 보안 외장 하드디스크가 등장하였지만, 보안 기능 중 패스워드나 지문 인증과 같은 사용자 인증을 우회하는 취약점이 지속적으로 발견됨으로써, 비인가자가 장치 내부에 안전하게 저장된 데이터에 접근하는 보안위협이 발생하였다. 이러한 보안위협은 국가사이버안보센터에서 공개한 보안 요구사항을 만족하지 못하거나, 만족하더라도 설계나 구현 과정에서 내포된 취약점으로 인하여 발생한다. 본 논문은 이와 같이 보안 외장 하드디스크에서 발생하는 취약점을 점검하기 위한 목적으로 보안 외장 하드디스크 익스플로잇 프레임워크를 설계하였다. 취약점을 점검하기 위한 전체 프레임워크를 설계하였고, 프레임워크에서 제공하는 각 기능 및 유즈케이스 다이어그램을 설계하였으며, 설계된 프레임워크를 활용한다면, 현재 상용화되었거나 추후 개발될 보안 외장 하드디스크를 대상으로 안전성을 평가할 것으로 판단된다. 그뿐만 아니라, 안전성 평가 결과를 기반으로, 보안 외장 하드디스크에 내재된 취약점을 보완함으로써 안전성을 더욱 향상시키고, 수동으로 분석하여야만 하는 보안 외장 하드디스크의 취약점 점검을 자동화함으로써, 안전성을 평가하는 시간과 비용 또한 절감할 것으로 사료된다.

  • PDF

Studies on Xylooligosaccharide Analysis Method Standardization using HPLC-UVD in Health Functional Food (건강기능식품에서 HPLC-UVD를 이용한 자일로올리고당 시험법의 표준화 연구)

  • Se-Yun Lee;Hee-Sun Jeong;Kyu-Heon Kim;Mi-Young Lee;Jung-Ho Choi;Jeong-Sun Ahn;Kwang-Il Kwon;Hye-Young Lee
    • Journal of Food Hygiene and Safety
    • /
    • v.39 no.2
    • /
    • pp.72-82
    • /
    • 2024
  • This study aimed to develop a scientifically and systematically standardized xylooligosaccharide analytical method that can be applied to products with various formulations. The analysis method was conducted using HPLC with Cadenza C18 column, involving pre-column derivatization with 1-phenyl-3-methyl-5-pyrazoline (PMP) and UV detection at 254 nm. The xylooligosaccharide content was analyzed by converting xylooligosaccharide into xylose through acid hydrolysis. The pre-treated methods were compared and evaluated by varying sonication time, acid hydrolysis time, and concentration. Optimal equipment conditions were achieved with a mobile phase consisting of 20 mM potassium phosphate buffer (pH 6)-acetonitrile (78:22, v/v) through isocratic elution at a flow rate of 0.5 mL/min (254 nm). Furthermore, we validated the advanced standardized analysis method to support the suitability of the proposed analytical procedure such as specificity, linearity, detection limits (LOD), quantitative limits (LOQ), accuracy, and precision. The standardized analysis method is now in use for monitoring relevant health-functional food products available in the market. Our results have demonstrated that the standardized analysis method is expected to enhance the reliability of quality control for healthy functional foods containing xylooligosaccharide.