• 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) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

• 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.

• 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.

• 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)에서 개발 중인 자율운항선박 코드를 기반으로 안전한 자율운항선박 운용을 위한 기능요건을 분석하고 세부 기준 및 방향을 제시했다.

• 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 분석 만으로 이러한 증거를 확보할 수 있는 기법을 알아보도록 한다.

• 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.

• Proceedings of the Safety Management and Science Conference
• /
• 2013.04a
• /
• pp.437-444
• /
• 2013

• 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 C₁₈ 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.829-831
• /
• 2002

최근 들어 보안에 대한 관심이 높아지고 있으며, 많은 보안 관련 프로그램이 사용되고 있는 상황이다. 하지만 안전성을 예측하기 어려운 보안 기능을 완벽하게 구현하기 위해서 현재의 테스팅 방법론만으로는 완전성을 보장할 수 없으므로 보다 안전한 보안 기능을 구현하기 위해서 정형명세 방법은 반드시 필요하다. 또한 실제로 시스템들이 개발되는 과정에 있어서 설계될 당시와는 달리 결함을 가질 수 있다. 시스템에 대한 명세가 정확하다 하더라도 개발자인 사람의 개입으로 인해서 개발하는 도중에 명세와 다른 결과를 초래하여 결함이 발생할 수 있다. 이러한 결함은 개발자나 사용자에 의해 쉽게 발견되기 어렵다. 만일 보안 시스템이 알져지지 않은 결함이 있다면 비밀 정보가 쉽게 누설될 수 있다는 큰 문제가 발생할 수 있다. 통신망을 사용하는 인구의 확대와 더불어 다양한 형태의 통신 서비스가 제공됨에 따라 시스템의 특성이 복잡해지고 불법적인 자료 접근의 위험도 많이 노출되고 있다. 따라서 명확한 정형명세 보안기능으로부터 자동 코드 생성은 반드시 필요하다. 본 논문에서는 여러 정형 도구를 사용해서 보안기능에 대한 정형명세를 작성한 후에 소스코드 생성한 후, 정형명세를 이용하여 설계 및 구현한 프로그램에 대한 명세와 소스코드간 일치성 검토 방법을 개발하여, 정형명세를 통해 생성된 보안기능 소스코드의 보안성 측면과 성능적 측면의 Teade-Off 분석하는 것이다. 논문에서는 인증 관련 보안 기능인 S/KRY에 대해서 4개(STATEMATE MAGMUM, Rational Rose 98, SPEAR, VDM-SL)의 정형도구를 사용하여 명세 후, 소스 코드를 생성하여 생성된 각 코드에 대하여 비교하였으며, 현재 상용화 되어있는 Bellcore 의 S/KEY 시스템과의 비교를 수행하였다. 분석에서는 제품의 효율성뿐만 아니라 보안성을 중요하게 생각하였으며, 앞으로 보안 관련 소프트웨어 개발에 사용될 수 있는 도구들이 가이드 라인에 대한 정보를 제공한다.