• 제목/요약/키워드: verifications

검색결과 269건 처리시간 0.022초

타이젠 용 데스크톱 버스 (D-Bus) 권한 우회 취약점 분석 및 자동 탐지 (Automatic Detection and Analysis of Desktop Bus'(D-Bus) Privilege Bypass in Tizen)

  • 김동성;최형기
    • 정보보호학회논문지
    • /
    • 제30권6호
    • /
    • pp.1023-1030
    • /
    • 2020
  • 스마트워치로 대표되는 웨어러블 기기들은 시스템 내에서 민감한 개인정보를 처리하고 저장하기 때문에 높은 보안 기능이 요구된다. 타이젠 운영체제는 애플리케이션에서 특별한 권한을 요구하는 서비스에 접근 시 시스템 데스크톱 버스(D-Bus)를 통하여 요청하는데, 시스템은 해당 애플리케이션의 권한을 검증하여 서비스 접근 허용 여부를 결정한다. 본 논문에서는 타이젠 웨어러블 운영체제의 권한 정책과 접근 제어에 취약한 서비스들을 검출하기 위해 데스크톱 버스 분석 자동화 도구를 소개한다. 자동화 도구는 타이젠 시스템 내 다양한 서비스들에서 권한 검증을 우회할 수 있는 다수의 취약한 호출 메소드들을 발견하였다. 상용 애플리케이션을 제작하여 무선랜 위치 추적, 푸시 알림 수집 등 최소 5개의 취약점에 대한 시연을 하였다.

Moving reactor model for the MULTID components of the system thermal-hydraulic analysis code MARS-KS

  • Hyungjoo Seo;Moon Hee Choi;Sang Wook Park;Geon Woo Kim;Hyoung Kyu Cho;Bub Dong Chung
    • Nuclear Engineering and Technology
    • /
    • 제54권11호
    • /
    • pp.4373-4391
    • /
    • 2022
  • Marine reactor systems experience platform movement, and therefore, the system thermal-hydraulic analysis code needs to reflect the motion effect on the fluid to evaluate reactor safety. A moving reactor model for MARS-KS was developed to simulate the hydrodynamic phenomena in the reactor under motion conditions; however, its applicability does not cover the MULTID component used in multidimensional flow analyses. In this study, a moving reactor model is implemented for the MULTID component to address the importance of multidimensional flow effects under dynamic motion. The concept of the volume connection is generalized to facilitate the handling of the junction of MULTID. Further, the accuracy in calculating the pressure head between volumes is enhanced to precisely evaluate the additional body force. Finally, the Coriolis force is modeled in the momentum equations in an acceleration form. The improvements are verified with conceptual problems; the modified model shows good agreement with the analytical solutions and the computational fluid dynamic (CFD) simulation results. Moreover, a simplified gravity-driven injection is simulated, and the model is validated against a ship flooding experiment. Throughout the verifications and validations, the model showed that the modification was well implemented to determine the capability of multidimensional flow analysis under ocean conditions.

Trusted and Transparent Blockchain-based Land Registration System

  • Fatmah Bayounis;Sana Dehlavi;Asmaa Azimudin;Taif Alghamdi;Aymen Akremi
    • International Journal of Computer Science & Network Security
    • /
    • 제23권10호
    • /
    • pp.214-224
    • /
    • 2023
  • Fraudulence, cheating, and deception can occur in the commercial real estate (CRE) industry, besides the difficulty in searching for and transferring properties while ensuring the operation is processed through an authoritative source in a trusted manner. Nowadays, real estate transactions use neutral third parties to sell land. Indeed, properties can be sold by the owners or third parties multiple times or without a proper deed. Moreover, third parties request a large amount of money to mediate between the seller and buyer. Methods: We propose a new framework that uses a private blockchain network and predefined BPMN instances to enable the fast and easy recording of deeds and their proprietary transfer management controlled by the government. The blockchain allows for multiple verifications of transactions by permitted parties called peers. It promotes transparency, privacy, trust, and commercial competition. Results: We demonstrated the easy adoption of blockchain for land registration and transfer. The paper presents a prototype of the implemented product that follows the proposed framework. Conclusion: The use of Blockchain-based solutions to resolve the current land registration and transfer issues is promising and will contribute to smart cities and digital governance.

Influence of high axial compression ratios in RC columns on the seismic response of MRF buildings

  • Sergio Villar-Salinas;Sebastian Pacheco;Julian Carrillo;Francisco Lopez-Almansa
    • Structural Engineering and Mechanics
    • /
    • 제90권1호
    • /
    • pp.51-70
    • /
    • 2024
  • Poorly designed reinforced concrete (RC) columns of actual moment-resisting frame (MRF) buildings can undergo Axial Compression Ratios (ACR) so high as their demand exceeds their capacity, even for serviceability gravity load combinations, this lack commonly leads to insufficient seismic strength. Nonetheless, many seismic design codes do not specify limits for ACR. The main contribution of this research is to investigate the need to limit the ACR in seismic design. For this purpose, three prototype 6 and 11-story RC MRF buildings are analyzed in this paper, these buildings have columns undergoing excessive ACR, according to the limits prescribed by standards. To better that situation, three types of alterations are performed: retrofitting the abovementioned overloaded columns by steel jacketing, increasing the concrete strength, and reducing the number of stories. Several finite element analyses are conducted using the well-known software SAP2000 and the results are used for further calculations. Code-type and pushover analyses are performed on the original and retrofitted buildings, the suitability of the other modified buildings is checked by code-type analyses only. The obtained results suggest that ACR is a rather reliable indicator of the final building strength, hence, apparently, limiting the ACR in the standards (for early stages of design) might avoid unnecessary verifications.

수치해석 기법을 활용한 FAC 예측 프로그램 보완 (Supplementation of Flow Accelerated Corrosion Prediction Program Using Numerical Analysis Technique)

  • 황경모;진태은;박원;오동훈
    • 대한기계학회논문집B
    • /
    • 제34권4호
    • /
    • pp.437-442
    • /
    • 2010
  • 고온, 고압의 유체가 흐르는 탄소강 배관에서는 유동가속부식으로 인한 배관감육 현상이 발생할 수 있다. 화력 및 원자력발전소에서 유동가속부식으로 인한 배관 손상시 고비용의 보수와 발전 정지를 유발할 뿐 아니라 발전소 신뢰도 및 안전성에 영향을 미칠 수도 있다. CHECWORKS 프로그램은 국내 발전소에서 유동가속부식에 의한 배관 손상을 예방하기 위하여 배관 두께검사 데이터를 평가하고 검사 계획을 수립하는데 이용되어 왔다. 그러나 상기 프로그램은 원전 2차측 배관 모두를 데이터베이스화한 후에 배관라인 그룹별로 유동가속부식 손상을 예측하기 때문에 국부적으로 감육에 민감한 부위를 찾는데 어려움이 있다. 본 논문에서는 CHECWORKS 프로그램을 이용하여 해석을 수행하고 수치해석을 통하여 검증할 수 있는 방법론을 기술하였다. 또한 국내 원전 2개의 배관 라인그룹에 대하여 CHECWORKS 프로그램을 이용한 유동가속부식 민감 부위를 FLUENT를 이용한 수치해석 결과와 비교하였다.

개수로 내 식생구간의 흐름저항 및 흐름특성에 관한 실험적 고찰 (Experimental Study of Flow Resistance and Flow Characteristics over Flexible Vegetated Open Channel)

  • 여홍구;박문형;강준구;김태욱
    • 한국환경복원기술학회지
    • /
    • 제7권6호
    • /
    • pp.61-74
    • /
    • 2004
  • Hydraulic engineers and scientists working on river restoration recognize the need for a deeper understanding of natural streams as a complex and dynamic system, which involves not only abiotic elements(flow, sediments) but also biotic components. From this point of view, the role played by riverine vegetation dynamics and flow conditions becomes essential. Hydro-mechanic interaction between flow and flexible plants covering a river bed is studied in this paper and some previous works are discussed. Measurements of turbulence and flow resistance in vegetated open channel were performed using rigid and flexible tube. Measuring detailed turbulent velocity profiles within and above submerged and flexible stems allowed to distinguish different turbulent regimes. Some interesting relationships were obtained between the velocity field and the deflected height of the plants, such as a reduced drag coefficient in the flexible stems. Turbulent intensities and Reynolds stresses were measured showing two different regions : above and inside the vegetation domain. In flexible vegetated open channel, the maximum values of turbulent intensities and Reynolds stresses appear above the top of canopy. Method to predict a flow resistance in flexible vegetated open channel is developed by modifying an analytical model proposed by Klopstra et al. (1997). Calculated velocity profiles and roughness values correspond well with flume experiments. These confirm the applicability of the presented model for open channel with flexible vegetation. The new method will be verified in the real vegetated conditions in the near future. After these verifications, the new method should be applied for nature rehabilitation projects such as river restorations.

구조물 및 기기의 한계성능 평가를 위한 고진동수 지진 특성을 반영한 응답스펙트럼 형상 (A Shape of the Response Spectrum for Evaluation of the Ultimate Seismic Capacity of Structures and Equipment including High-frequency Earthquake Characteristics)

  • 임승현;최인길
    • 한국지진공학회논문집
    • /
    • 제24권1호
    • /
    • pp.1-8
    • /
    • 2020
  • In 2016, an earthquake occurred at Gyeongju, Korea. At the Wolsong site, the observed peak ground acceleration was lower than the operating basis earthquake (OBE) level of Wolsong nuclear power plant. However, the measured spectral acceleration value exceeded the spectral acceleration of the operating-basis earthquake (OBE) level in some sections of the response spectrum, resulting in a manual shutdown of the nuclear power plant. Analysis of the response spectra shape of the Gyeongju earthquake motion showed that the high-frequency components are stronger than the response spectra shape used in nuclear power plant design. Therefore, the seismic performance evaluation of structures and equipment of nuclear power plants should be made to reflect the characteristics of site-specific earthquakes. In general, the floor response spectrum shape at the installation site or the generalized response spectrum shape is used for the seismic performance evaluation of structures and equipment. In this study, a generalized response spectrum shape is proposed for seismic performance evaluation of structures and equipment for nuclear power plants. The proposed response spectrum shape reflects the characteristics of earthquake motion in Korea through earthquake hazard analysis, and it can be applied to structures and equipment at various locations.

수정 IWAN 모델을 이용한 사질토의 반복경화거동에 대한 연구(I): 모델 개발 (A Modified Parallel Iwan Model for Cyclic Hardening Behavior of Sand(I) : Model Development)

  • 이진선;김동수
    • 한국지진공학회논문집
    • /
    • 제7권5호
    • /
    • pp.47-56
    • /
    • 2003
  • 본 논문에서는 기존 IWAN 모델을 수정하여 사질토 지반의 반복경화 현상을 나타낼 수 있는 지반의 반복경화모델을 개발하였다. 일반적으로 동적하중을 받는 지반재료는 하중 반복회수에 따라 동적 거동특성이 변화하게 되며 이는 반복 경화 및 연화현상으로 나타난다. 본 논문에서는 등방 경화 또는 등방 연화 거동을 하는 스프링슬라이더 요소를 기존 병렬 IWAN 모델에 추가함으로써 지반의 동적 변형특성 표현이 가능하였다. 등방 경화 거동을 보이는 요소들의 항복 응력은 각각 반복 경화함수에 의하여 증가하도록 정의되었으며, 반복 경화함수는 대칭 한계를 가지는 동적 비틂전단 시험결과로부터 정의되었다. 이렇게 정의된 반복 경화함수는 지반의 동적 변형 특성을 묘사하기 위하여 하나의 독립 변수를 가지게 되며, 사용된 독립변수는 지반의 동적 한계 변형률의 특성을 포함하는 누적전단변형률로 사용되었다. 누적 전단변형률은 반복 전단한계 변형률 이상의 변형률의 누적으로 정의되며, 역재하 및 재재하 곡선에서는 Masing의 법칙을 적용하여 계산될 수 있다. 본 논문에서는 모델의 개발과정을 서술하였고, 모델에 대한 검증은 동반논문인 검증편에 설명하였다.

한우 myostatin 유전자의 SNP 및 발현분석 (SNP and Expression Analyses of Myostatin Gene in Korean Cattle (Hanwoo))

  • 유성란;정기철;상병찬;이준헌
    • 농업과학연구
    • /
    • 제31권2호
    • /
    • pp.97-104
    • /
    • 2004
  • 주로 근섬유에서 발현되는 Myostatin 유전자는 근육의 발달 및 성장과 관련하여 근육이 발달하는 것을 조절하는 유전자로서 성장 분화와 관련된 TGF-${\beta}$ family에 속한다. 소에서 이중 근육(double muscling) 표현형을 보이는 개체를 조사한 결과, myostatin 유전자가 돌연변이 되어 있음을 확인하였다. 소의 중요한 경제형질인 육질과 육량을 포함한 근육의 발달과 밀접한 관련이 있는 myostatin 유전자의 SNP와 발현특성을 분석함으로서 한우의 개량을 위한 기초 자료를 얻기 위하여 본 연구를 수행하였다. 그 결과, 한우에서 유용한 marker로 사용이 가능한 nt2385부위에 SNP가 존재함이 확인되었다. 또한 여러 근육 및 기관에서의 myostatin 발현양상도 비교하여 본 바 myostatin 유전자는 근육에서만 발현하며, 근육간 발현양의 차이를 보임을 알 수 있다.

  • PDF

비등방경화 구성모델을 적용한 연약 지반의 비배수 거동 해석: I. 구성모델 (Undrained Analysis of Soft Clays Using an Anisotropic Hardening Constitutive Model: I. Constitutive Model)

  • 오세붕
    • 한국지반공학회논문집
    • /
    • 제15권6호
    • /
    • pp.121-130
    • /
    • 1999
  • 본 연구는 전응력 개념에 근거한 비등방경화 구성관계를 적용하여 유한요소해석을 수행하는 데 목적이 있다. 이에 대상문제에 적합한 비등방경화 구성관계를 개발하여 수학적으로 정식화하고 실험적으로 검증하였다. 동반논문에서는 유한요소해법의 정확도와 수렴성을 확보하도록 정식화하여 해석코드에 구현한 후 실제문제를 해석한다. 제안된 구성관계는 von Mises 형태의 파괴규준과 일반 등방경화규칙에 의거한 비등방경화규칙을 채택하여 비선형성과 비등방성이 심한 응력-변형률 관계를 모델하였다. 결과적으로 UU 삼축시험, 과압밀 상태에 대한 CU 삼축시험, $K_0$ 압밀조건의 주응력축 회전시 비등방적 거동에 대하여 검증할 수 있었다.

  • PDF