• 제목/요약/키워드: control flow integrity

검색결과 61건 처리시간 0.027초

LLVM CFI 와 비교한 Windows CFG 의 한계점 (Limitations of Windows CFG compared with LLVM CFI)

  • 박상민;최형기
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2022년도 추계학술발표대회
    • /
    • pp.225-227
    • /
    • 2022
  • CFI(Control Flow Integrity)는 제어 흐름을 검증해 프로그램을 보호하는 기법이다. Windows에서는 CFG(Control Flow Guard)란 이름으로 CFI 를 지원하고 LLVM 에서는 동일하게 CFI 란 이름으로 지원한다. 본 논문에서는 Windows CFG 의 몇 가지 한계점을 LLVM IFCC 와 비교해서 찾아보고 대안책을 제안한다. CFG 에 성능, 확장성, 보안 측면에서 LLVM IFCC 와 비교하여 한계점이 존재한다는 것을 확인하였다. 본 논문에서는 각 항에 대한 이론적 근거를 제시하고 문제를 해결할 수 있는 몇 가지 대응책을 소개한다.

국내 안전등급 배관에 대한 손상사례 분석 (Piping Failure Analysis In Domestic Nuclear Safety Piping System)

  • 최선영;최영환
    • 대한기계학회:학술대회논문집
    • /
    • 대한기계학회 2003년도 춘계학술대회
    • /
    • pp.617-621
    • /
    • 2003
  • The purpose of this paper is to analyze piping failure trend of safety pipings In domestic nuclear power plants. First, database for the piping failure was constructed with 105 data fields. The database includes plant population data, event data, and service history data. 7 kinds of piping failures in domestic NPPs were investigated. Among the 7 cases, detailed root causes were investigated for 3 cases. The first one is pipe wall thinning in main feedwater pipings of Westinghouse 3 loop type plants. The root cause of the wall thinning was flow accelerated corrosion near welding area. The next one is leak event in chemical and volume control system(CVCS) due to vibration. Some cracks occurred in socket welding area. The events showed that the integrity or socket weld is very vulnerable to vibration. The last one is also a leak event in primary sampling line in Korean standard reactor due to thermal fatigue. Although the structural integrity was not maintained by the events, there was no effect on nuclear safety in the above 3 piping failure eases.

  • PDF

Effect of Nicotinic Acid on Fresh Semen Characteristics in Miniature Pigs

  • Lee, Yeon-Ju;Lee, Sang-Hee;Lee, Eunsong;Lee, Seung Tae;Cheong, Hee-Tae;Yang, Boo-Keun;Lee, Seunghyung;Park, Choon-Keun
    • 한국수정란이식학회지
    • /
    • 제29권4호
    • /
    • pp.385-391
    • /
    • 2014
  • Objective of this study was to investigate the effect of nicotinic acid (NA) on the characteristics in fresh semen of miniature pig. We evaluated viability, acrosome reaction and mitochondrial integrity of sperm on 0, 3, 7 and 10 days during storage period with nicotinic acid. As results, the survival rate of sperm in 15 mM NA (day 3, $87.8{\pm}1.2%$; day 5, $84.0{\pm}2.7%$; day 7, $82.2{\pm}0.9%$) and 30 mM NA (day 3, $87.7{\pm}0.3%$; day 5, $84.4{\pm}2.5%$; day 7, $82.3{\pm}0.7%$) groups were higher than control and 5 mM NA groups in 3, 7 and 10 days of semen storage. The NA-treated sperm on 10 day was used day for observing acrosome integrity. The survival sperm with acrosome reaction was higher in 30 mM NA group (day 3, $2.7{\pm}0.2%$; day 5, $3.3{\pm}0.6%$; day 7, $11.4{\pm}0.3%$) than in the control, significantly (P<0.05). Moreover, the live sperm with mitochondrial integrity was higher in whole treatment groups of NA than control group, significantly (P<0.05). Specially, most mitochondrial integrity on 10 day of semen storage was significantly higher in 30 mM NA group ($90.2{\pm}1.6%$) than other treatment groups (control, $81.8{\pm}3.1%$; 5 mM NA, $83.4{\pm}3.0%$; 15 mM NA, $89.1{\pm}0.7%$, P<0.05). In conclusion, supplement of NA in liquid semen of miniature pig can improve and maintain semen quality, such as viability, acrosome reaction, and mitochondria integrity.

TCST : 신뢰실행환경 내에서 스마트 컨트랙트의 제어 흐름 무결성 검증을 위한 기술 (TCST : A Technology for Verifying Control Flow Integrity for Smart Contracts within a Trusted Execution Environment)

  • 박성환;권동현
    • 정보보호학회논문지
    • /
    • 제32권6호
    • /
    • pp.1103-1112
    • /
    • 2022
  • 블록체인 기술은 일상생활을 비롯한 여러 산업 분야에서 활용도가 증가하고 있으며, 이는 분산원장 기술을 통하여 네트워크 참여자들 간의 거래 내역에 대한 정보의 무결성과 투명성을 보장한다. 무결성과 투명성을 보장하는데 가장 중요한 요소인 분산원장은 스마트 컨트랙트를 통하여 수정, 관리된다. 그러나, 스마트 컨트랙트 또한 블록체인 네트워크의 구성요소인 만큼 참여자들에게 투명하게 공개되고 있었으며 이로 인해 취약점이 쉽게 노출될 수 있었다. 이러한 단점을 보완하기 위하여 신뢰실행환경을 활용하여 기밀성을 보장하는 연구가 다양하게 진행되었으나, 실행된 스마트 컨트랙트의 무결성을 보장하기에는 어려움이 따른다. 해당 논문에서는 이러한 문제를 해결하기 위하여 신뢰 실행환경내에서 실행되는 스마트 컨트랙트의 제어 흐름 무결성을 검증 함으로써 스마트 컨트랙트의 기밀성과 무결성을 동시에 제공하는 것을 목표로 한다.

안전한 직무 기반 접근 제어에 대한 연구 (A Study on Secure Role-Based Access Control)

  • 이호
    • 한국컴퓨터정보학회논문지
    • /
    • 제6권4호
    • /
    • pp.119-124
    • /
    • 2001
  • 본 논문에서는 실제적인 접근 제어 시스템에 적용이 가능하도록 기존의 검증된 접근 제어 메커니즘을 적용하여 보안성, 무결성 및 흐름제어 보안 기능을 제공하며 직무 중심조직의 접근 제어 요구를 용이하게 수용할 수 있는 안전한 직무 기반 접근 제어 모델을 제안한다. 제안한 모델은 주로 인터넷 상에서 웹을 기반으로 하는 응용 시스템에 적용할 수 있는 간단하면서도 안전한 접근 제어 모델이다.

  • PDF

웹 기반 응용을 위한 직무 기반 접근 제어 모델의 설계 (Design of a Role-Based Access Control Model for Web-based Applications)

  • 이호
    • 융합보안논문지
    • /
    • 제2권2호
    • /
    • pp.59-66
    • /
    • 2002
  • 접근제어는 컴퓨터 운영체제, 워크플로우 시스템, 정보 보안 시스템 등에서 보편적으로 사용하고 있는 기술이다. 본 논문에서는 보안성 무결성 및 흐름제어 보안 기능을 제공하면서 동시에 직무 중심 조직의 접근 제어 요구를 용이하게 수용할 수 있는 직무 기반 접근 제어 모델을 제안한다. 제안한 접근제어 모델은 주로 웹을 기반으로 하는 응용 시스템에서 간단하면서도 안전한 방법으로 직무 기반 접근 제어를 수행하도록 설계되어있다.

  • PDF

연성해석을 이용한 CNG 차량 압력 용기용 밸브의 안전성 평가 (Safety Evaluation of a Cylinder Valve for Compressed Natural Gas Vehicle Pressure Vessels using Fluid-structure Interaction Analysis)

  • 이효렬;안중환;김복만;김화영
    • 한국생산제조학회지
    • /
    • 제23권2호
    • /
    • pp.103-108
    • /
    • 2014
  • Growing concerns about environmental pollution have led to an increase in the demand for compressed natural gas (CNG) vehicles in recent years. CNG vehicles are equipped with a cylinder valve installed in a high-pressure vessel to control the CNG flow. The cylinder valve must meet high quality safety standards because the pressure vessel stores high-pressure CNG. Therefore, safety evaluation of the cylinder valve is necessary to ensure the safety of CNG vehicles. In this study, fluid-structure interaction analysis for the structural integrity of the cylinder valve were conducted using a commercial finite element analysis code(ANSYS WORKBENCH V14). The CFD analysis was performed using a steady-state technique according to the inlet and outlet pressures in order to predict the pressure distribution. Structural analysis was performed by a static structure technique at the maximum working pressure to evaluate the structural integrity of the cylinder valve. From the results, the safety factor of the valve component is between 1.57 and 21.5.

표면파 기법에 의한 콘크리트 사방댐의 콘크리트 강도 등급 평가 (Quality Grading of Concrete Soil Erosion Control Dam in the Aspect of Unconfined Concrete Strength by Surface-Wave Technique)

  • 이창우;조성호;박기형;김민식;윤호중;하사눌
    • 한국산림과학회지
    • /
    • 제101권3호
    • /
    • pp.412-425
    • /
    • 2012
  • 산지계곡부의 토석류 유출을 저지하는 콘크리트 사방댐은 콘크리트의 재료 및 시공 불량, 콘크리트의 열화로 인한 내구성 저하, 국부적으로 발생한 균열 등의 이유로 인하여 사방댐의 일부 또는 전체 구조물이 붕괴되어 그 기능을 손실하는 경우가 있다. 본 논문에서는 이러한 콘크리트 사방댐의 구조적 문제점과 안전성을 파악하여 사전에 대책을 강구하고 효율적인 유지관리를 할 수 있는 방안을 제안하였다. 그 방안은 콘크리트 사방댐 구조물의 콘크리트 압축강도를 비파괴적으로 평가하여 품질등급을 평가하는 것으로, 등급평가 단계에서 비파괴 콘크리트 압축강도 평가를 위해 SASW 기법이라고 하는 표면파 기법을 도입하였다. 또한 SASW 기법을 콘크리트 사방댐의 안정성 가에 활용할 수 있도록 SASW 시험의 현장적용방안, 콘크리트 결함에 따른 자료분석 기법, 평가기준에 대한 제안등에 대한 연구를 수행하였다. 제안된 기법의 적용성과 신뢰성을 평가하기 위하여, 20년 이상 경과된 노후 콘크리트 방댐 5곳에 제안된 표면파 기법의 적용방안을 적용하여 보았다. 그 결과 콘크리트 사방댐의 여러 가지 콘크리트 함에 대해서도 SASW 기법에 의한 품질평가는 신뢰성 있게 수행될 수 있음을 확인할 수 있었고, 본 연구에서 제 안한 품질등급 평가 결과는 사방협회에서 실시한 사방댐 점검결과와 일치하는 결과를 제시하였다.

Analysis of steam generator tube rupture accidents for the development of mitigation strategies

  • Bang, Jungjin;Choi, Gi Hyeon;Jerng, Dong-Wook;Bae, Sung-Won;Jang, Sunghyon;Ha, Sang Jun
    • Nuclear Engineering and Technology
    • /
    • 제54권1호
    • /
    • pp.152-161
    • /
    • 2022
  • We analyzed mitigation strategies for steam generator tube rupture (SGTR) accidents using MARS code under both full-power and low-power and shutdown (LPSD) conditions. In general, there are two approaches to mitigating SGTR accidents: supplementing the reactor coolant inventory using safety injection systems and depressurizing the reactor coolant system (RCS) by cooling it down using the intact steam generator. These mitigation strategies were compared from the viewpoint of break flow from the ruptured steam generator tube, the core integrity, and the possibility of the main steam safety valves opening, which is associated with the potential release of radiation. The "cooldown strategy" is recommended for break flow control, whereas the "RCS make-up strategy" is better for RCS inventory control. Under full power, neither mitigation strategy made a significant difference except for on the break flow while, in LPSD modes, the RCS cooldown strategy resulted in lower break and discharge flows, and thus less radiation release. As a result, using the cooldown strategy for an SGTR under LPSD conditions is recommended. These results can be used as a fundamental guide for mitigation strategies for SGTR accidents according to the operational mode.

Using structural intensity approach to characterize vibro-acoustic behavior of the cylindrical shell structure

  • Wang, Yuran;Huang, Rong;Liu, Zishun
    • Coupled systems mechanics
    • /
    • 제7권3호
    • /
    • pp.297-319
    • /
    • 2018
  • In this paper, the vibro-acoustic behaviors of vibrational cylindrical shells are investigated by using structural intensity approach. The reducing interior noise method for vibrating cylindrical shells is proposed by altering and redistributing the structural intensity through changing the damping property of the structure. The concept of proposed novel method is based on the properties of structural intensity distribution on cylindrical shells under different load and damping conditions, which can reflects power flow in the structures. In the study, the modal formulas of structural intensity are developed for the steady state vibration of cylindrical shell structures. The detailed formulas of structural intensity are derived by substituting modal quantities, in which the effect of main parameters such as weight coefficients and distribution functions on structure intensity are analyzed and discussed. Numerical simulations are first carried out based on the structural intensity analytical solutions of modal formulas. Through simulating the coupling vibration and acoustical radiation problems of cylindrical shell, the relationship between vibro-acoustic and structural intensity distribution is derived. We find that for cylindrical shell, by properly arranging damping conditions, the structural intensity can be efficiently changed and further the noise property can be improved. The proposed methodology has important implications and potential applications in the vibration and noise control of fuselage structure.