• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.637-659
• /
• 2021

2009년 비트코인 블록체인이 처음 생성된 이후 암호화폐 사용자는 꾸준히 증가하고 있다. 하지만 이러한 사용자들의 암호화폐 지갑에 보관된 자산을 노리는 해킹 공격도 증가하고 있다. 따라서 우리는 시중에 나와 있는 암호화폐 지갑들이 안전하게 만들어졌는지를 점검하기 위해 각 지갑에 내재된 위험성을 평가한다. 우리는 위협 모델링을 통해 암호화폐 지갑에 내재된 위협을 식별하고 보안 요구사항을 도출한다. 그리고 도출된 보안 요구사항을 바탕으로 실제 지갑들의 보안성을 분석하고 공격트리와 베이즈 네트워크 등을 활용하여 각 지갑의 위험성을 정량적으로 측정한다. 위험성 평가 결과, 하드웨어 지갑보다 소프트웨어 지갑의 평균적인 위험성이 1.22배 높은 것으로 나타났다. 그리고 하드웨어 지갑 간 비교에서는 secure element를 내장한 Ledger Nano S 지갑보다 범용 MCU를 내장한 Trezor One 지갑의 위험성이 1.11배 높은 것으로 나타났다. 하지만 secure element를 사용하는 것은 암호화폐 지갑의 위험성을 낮추는 데에는 상대적으로 효과가 낮은 것으로 나타났다.

• 한국통신학회논문지
• /
• 제36권1B호
• /
• pp.29-36
• /
• 2011

NFC(Near Field Communication) 기술은 근접거리(Proximity) 무선 기술로서 다양한 모드에서의 서비스를 지원한다. 특히, NFC 기술은 유사한 RFID 기술에서의 단순한 태그 인식 서비스보다 복잡하고 상호연결 기술 지원으로 소액결제서비스, 티켓팅과 같은 금융서비스 지원이 가능하다. 그 결과로서 NFC 보안 기술은 보다 강력한 보안 기술을 정의하고 있다. 본 논문에서는 NFC 보안 기술에 대한 명세 및 분석하여 NFC 보안기술의 안전성 분석을 기반으로 NFC SE(Secure Element) 대안으로 UICC 카드의 가능성 및 효과에 대해 연구한다.

• 항공우주시스템공학회지
• /
• 제6권2호
• /
• pp.28-34
• /
• 2012

Structural integrity evaluation is important item in the aircraft certification. Recently, it is designed for limit load, material weakness about fatigue and corrosion, damage by bird strike in flight to evaluate structural integrity of aircraft. And static/fatigue analysis are performed to secure structural integrity, it was verified by static and fatigue tests. To evaluate the structural integrity of small aircraft tail, structural integrity was calculated by the finite element analysis. In the present study, finite element analysis are performed to pick out load cases in flight occurrence, and secure margin of safety to evaluate structural integrity of KC-100 tail unit. The proprieties of finite element analysis results are compared with the static structure test results. The estimation process of structural integrity for small aircraft tail may help the design.

• Journal of applied mathematics & informatics
• /
• 제41권4호
• /
• pp.839-848
• /
• 2023

Let G be a simple undirected graph. A planar graph known as a Halin graph(HG) is characterised by having three connected and pendent vertices of a tree that are connected by an outer cycle. A subset S of V is said to be a dominating set of the graph G if each vertex u that is part of V is dominated by at least one element v that is a part of S. The domination number of a graph is denoted by the γ(G), and it corresponds to the minimum size of a dominating set. A dominating set S is called a secure dominating set if for each v ∈ V＼S there exists u ∈ S such that v is adjacent to u and S₁ = (S＼{v}) ∪ {u} is a dominating set. The minimum cardinality of a secure dominating set of G is equal to the secure domination number γ_s(G). In this article we found the secure domination number of Halin graph(HG) with perfet k-ary tree and also we determined secure domination of rooted product of special trees.

• 한국안전학회지
• /
• 제31권6호
• /
• pp.1-5
• /
• 2016

A bicycle is one of the most popular sporting goods in view of a sport activity and a human health. Metallic materials such as steel, aluminum, etc. were mainly used to the bicycle fork in the past. Nowadays, the carbon fiber reinforced composite materials are widely used to the manufacturing of a bicycle fork to reduce the weight and to increase the efficiency. Safety is a most important design parameter of a bicycle fork even if the weight and cost reduction are important. Bicycle failure may happen at the critical spot of a bicycle fork and cause the accident. In this paper, the composite bicycle fork will be analyzed to secure the safety and detect a critical spot by using the finite element method with Tsai-Wu failure criterion. The stress data were obtained for the laminated composites with various number of plies and fiber orientation under the bending load. Thus, design concept of a bicycle fork was proposed to secure the safety of a bicycle. The finite element analysis results show that the connection area between a steer tube and a fork blade is critical spot, and 75 or more layers of 0 degree are needed to secure the safety of a bicycle fork.

• 한국산업융합학회 논문집
• /
• 제27권1호
• /
• pp.151-160
• /
• 2024

Artificial Neural Networks that enabled Artificial Intelligence are being used in many fields. However, the application to mechanical structures has several problems and research is incomplete. One of the problems is that it is difficult to secure a large amount of data necessary for learning Artificial Neural Networks. In particular, it is important to detect and recognize external forces and forces for safety working and accident prevention of mechanical structures. This study examined the possibility by applying the Current Neural Network of Artificial Neural Networks to detect and recognize the load on the machine. Tens of thousands of data are required for general learning of Recurrent Neural Networks, and to secure large amounts of data, this paper derives load data from ANSYS structural analysis results and applies a stacked auto-encoder technique to secure the amount of data that can be learned. The usefulness of Stacked Auto-Encoder data was examined by comparing Stacked Auto-Encoder data and ANSYS data. In addition, in order to improve the accuracy of detection and recognition of load data with a Recurrent Neural Network, the optimal conditions are proposed by investigating the effects of related functions.

• 정보보호학회논문지
• /
• 제32권6호
• /
• pp.1113-1120
• /
• 2022

최근 개인정보보호를 목적으로 데이터를 암호화해 저장하고 보안에 초점을 맞춰 종단 간 암호화 등의 서비스를 제공하는 메신저들이 등장하면서 수사에 어려움을 겪고 있다. 이에 보안 메신저를 악용하는 범죄사례는 늘고 있지만, 보안 메신저에 대한 데이터 복호화 연구는 필요하다. Element 보안 메신저는 대화 참여자만 대화 이력을 확인할 수 있도록 종단 간 암호화 기능을 제공하고 있으나 이를 복호화하는 연구는 미흡하다. 따라서 본 논문에서는 종단 간 암호화 기능을 제공하는 인스턴트 메신저 Element를 분석하고, 사용자의 패스워드 없이 Windows 자격 증명 관리자 서비스에 저장된 복호화키를 활용하여 암호화된 보안 채팅방의 이력을 평문으로 확인하는 방안을 제안한다. 또한, 디지털 포렌식 수사관점에서 유의미한 일반 및 보안 채팅 관련 아티팩트를 분석한 결과를 정리한다.

• 소성∙가공
• /
• 제17권6호
• /
• pp.429-435
• /
• 2008

In this paper, the serrated forming process is analyzed with finite element method. The seal should secure the overlapping portions of ligature, which has teeth for ligature to prevent from slipping each other after clamping. In the simulation, rigid-plastic finite element model has been applied to the serration forming process. Serration or teeth forming characteristics has been analyzed numerically in terms of teeth geometry based on different forming conditions. Analyses are focused to find the influence of different die movements and geometries on the tooth geometry, which is crucial for securing overlapping portions of ligature. Two major process variables are selected, which are the face angle and entry angle of punch, respectively. Extensive investigation has been performed to reveal the influences of different entry and face angles on the geometry of teeth formation in the simulation. Three different face angles of punch have been selected to apply to each simulation of serrated sheet forming process with every case of punch entry angles. Furthermore, tooth geometries predicted from simulation have been applied to the indention process for comparing proper tooth geometries to secure the sealing.

• 한국재난정보학회 논문집
• /
• 제19권4호
• /
• pp.958-967
• /
• 2023

연구목적: 본 연구는 화재위험도가 높은 플랜트 시설물에 적용하고 있는 국내 내화성능을 분석하고 적합한 내화저항성능을 확보하여 플랜트 시설물의 화재 안전성을 확보하고자 한다. 연구방법:유한요소해석 프로그램인 Ansys를 활용하여 화재하중과 내화피복을 변수로 열전달 해석과 구조해석을 수행하고 해석 결과에 따른 플랜트 시설물의 내화성능을 분석하였다. 연구결과: 국내 플랜트 시설물에 적용된 내화피복은 UL 1709에 제시된 탄화수소화재의 화재하중을 적용하였을 때 내화성능을 확보하지 못하였으며 화재 후 강재의 변형 또한 크게 나타남을 확인하였다. 결론:현재 플랜트 시설물에 적용된 국내의 내화성능은 석유화학 플랜트 등과 같이 급격한 화재성장과 큰 화재하중에서 내화성능을 확보할 수 없으며 플랜트 시설물의 성능평가를 통해 적합한 내화성능을 평가하여 화재 안전성을 확보하여야 한다.

• Journal of Mechanical Science and Technology
• /
• 제20권1호
• /
• pp.94-109
• /
• 2006

An improved meshfree method called the Petrov-Galerkin natural element (PG-NE) method is introduced in order to secure the numerical integration accuracy. As in the Bubnov-Galerkin natural element (BG-NE) method, we use Laplace interpolation function for the trial basis function and Delaunay triangles to define a regular integration background mesh. But, unlike the BG-NE method, the test basis function is differently chosen, based on the Petrov-Galerkin concept, such that its support coincides exactly with a regular integration region in background mesh. Illustrative numerical experiments verify that the present method successfully prevents the numerical accuracy deterioration stemming from the numerical integration error.