• The Journal of the Korea institute of electronic communication sciences
• /
• v.9 no.8
• /
• pp.875-882
• /
• 2014

This paper aims to study on the relationship of u-Security service, usefulness and citizen satisfaction. Independence variable is u-Security service, a mediation parameter is usefulness, and dependent variable is citizen satisfaction. Using SPSS 18.0, a series of factor analysis, reliability analysis, multiple regression analysis and path analysis have been performed. The conclusion is as following. First, u-Security service affects usefulness. That is, as publicity safety, system quality, service quality increase, usefulness increases. Second, u-Security service affects citizen satisfaction. That is, as publicity safety, system quality, service quality increase, citizen satisfaction increases. Third, usefulness affects citizen satisfaction. That is, as economic usefulness and security usefulness increase, citizen satisfaction increases. Last, u-Security service has direct and indirect effect in usefulness and citizen satisfaction. That is, usefulness is an important variable that mediates u-Security service and citizen satisfaction.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.5
• /
• pp.420-427
• /
• 2013

Recently, for secure software development, static analysis tools have been used mostly to analyze the source code of the software and identify software weaknesses caused of vulnerabilities. In order to select the optimal static analysis tool, both weaknesses rules and analysis capabilities of the tool are important factors. Therefore, in this paper we propose the test codes developed for evaluating the rules and analysis capabilities of the tools. The test codes to involve 43 weaknesses such as SQL injection etc. can be used to evaluate the adequacy of the rules and analysis capabilities of the tools.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.21 no.3
• /
• pp.60-68
• /
• 2017

Since the bridge is the main facility of the road that is the core of the civil infrastructure, the bridge is constructed to ensure stability and serviceability during the traffic use. In order to secure the safety of bridges, evaluating the integrity of bridges at present is an important task in the maintenance work of bridges. In general, to evaluate the load carrying capacity of bridges, it is possible to confirm the superimposed behavior and symmetric behavior of bridges by estimating the lateral load distribution factor of the bridges through vehicle loading tests. However, in order to measure the lateral load distribution factor of a commonly used bridge, a static loading test is performed. There is a difficulty in traffic control. Therefore, in this study, the static displacement component of the bridge measured in the dynamic loading test and the ambient vibration test was extracted by using empirical mode decomposition technique. The lateral load distribution was estimated using the extracted static displacement component and compared with the lateral load distribution factor measured in the static loading test.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2017.11a
• /
• pp.6-7
• /
• 2017

무인선박의 출현 및 운항 시기가 도래하는 시점에서, 항해사들의 경험적, 정성적 방법으로 항로를 설정하던 기존의 방식이 아니라 정량적 항로 결정 방식 필요성이 제기된다. 본 연구에서는 위험물(HNS) 적재선의 해상교통사고 리스크 기반의 침로 설정을 통해 실시간 데이터 활용에 따라 변화 추정 및 인적 오류를 최소화하여 무인선박 운항 시 활용 가능한 항로 설정 기법을 제안하였다. 항로 주변의 정적 위험(Static Hazard)을 기반한 리스크 평가 방법을 제시하고, Contour map으로 시각화 통해 무인선박뿐 아니라 현존하는 선박에도 적용 가능하여, 사용자 결정에 따라 리스크 기반으로 침로 설정 통해 선박 운항 효율성 및 안전성 확보에 기여할 것으로 기대된다. 본 연구 내용을 토대로 정적 위험뿐 만아니라 선박을 포함한 동적 위험을 반영한 실시간 리스크 기반 항로 설정까지 확장하기 위한 연구가 요구된다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.605-615
• /
• 2018

Due to the rapid growth of the Internet of Things market, the use of the C/C++ language, which is the most widely used language in embedded systems, is also increasing. To improve the quality of code in the C/C++ language and reduce development costs, it is better to use static analysis, a software verification technique that can be performed in the first half of the software development life cycle. Many programs use static analysis to verify software safety and many static analysis tools are being used and studied. In this paper, we use Clang static analysis tool to check security weakness detection performance of verified test code. In addition, we compared the static analysis results of the test codes applied with the source obfuscation techniques, layout obfuscation, data obfuscation, and control flow obfuscation techniques, and the static analysis results of the original test codes, Analyze the detection ability impact of the Clang static analysis tool.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.315-317
• /
• 2016

소프트웨어의 활용 영역이 점차 넓어지면서 프로그램 코드에 대한 안전성이 훨씬 더 중요해지고 있다. 이에 따라 소프트웨어 품질을 높이기 위한 방법들이 다양하게 제시되어 왔고, 다양한 도구들을 활용한 소프트웨어 품질분석에 대한 관심도 증가하였다. 본 논문에서는 이러한 분석 도구들에 대하여 설명하고 소프트웨어 안전성 분석절차를 제시한다. 분석절차는 시험도구 준비, 시험 수행, 시험결과 검증, 시험결과 산출 단계로 구성되며, 안전성 검사에 효과적임을 확인할 수 있었다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2002.05a
• /
• pp.177-183
• /
• 2002

인명이나 물적 재산에 많은 손실을 가져주는 기계설비 및 구조물의 파괴현상에 대한 연구는 재해 원인을 분석하고 안전대책을 수립하기 위한 측면에서 대단히 중요하며, 지금까지 많은 연구가 행하여져 오호 있다 프랙탈기하학에 대한 연구는 Mandelbrot/sup l)/에 의하여 제안되어 20년 정도의 짧은 기간임에도 불구하고 여러 분야의 자연현상을 모델화하기 위하여 다양하게 발표가 되고 있다. 프랙탈 특성은 자연현상의 불규칙한 변화를 정량적으로 나타내기 위한 프랙탈차원으로 평가된다 프랙탈차원은 파면 및 균열의 불규칙성을 정량화함으로써 균열수명을 보다 더 정확히 예측하는데 적용될 수 있다.(중략)

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.9 no.2
• /
• pp.129-136
• /
• 2005

The vehicle loading test under the strict traffic control is generally carried out as a present practice in an evaluation process of the bearing capacity of a bridge. The quasi-static load test is recently proposed to mitigate the traffic condition of test, and analyze the disturbed acceleration time-history data of free vibration due to the ambient traffic on the bridge by Fourier transform to calculate only the natural frequencies of the bridge. The calculated frequencies have some errors due to the analysis technique as well as the influence of ambient traffic loads, and in addition to it is cumbersome to obtain the free vibration data during a quasi-static load test. In this study, the wavelet transform technique using Morlet wavelet is used to analyze the acceleration data recorded during a quasi-static load test on a bridge and calculate the natural frequencies and the modal damping ratios of the bridge. The study results show that the wavelet transform technique is a reliable and reasonable method to analyze test data and obtain the natural frequencies and the modal damping ratios of a bridge regardless of the data types i.e. free or forced vibrations.

• The Journal of the Korea Contents Association
• /
• v.10 no.5
• /
• pp.70-79
• /
• 2010

We perform static program analysis for the binary code. The reason you want to analyze at the level of binary code, installed on your local computer, run the executable file without source code. And the reason we want to perform static analysis, static program analysis is to understand what actions to perform on your local computer. In this paper, execution flow graph representing information such as the execution order among functions and the flow of control is generated. Using graph, User can find execution flow of binary file and calls of insecure functions at the same time, and the graph should facilitate the analysis of binary files. In addition, program to be run is ensured the safety by providing an automated way to search the flow of execution, and program to be downloaded and installed from outside is determined whether safe before running.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.11 no.1
• /
• pp.15-22
• /
• 2011

In this research, static load test is performed to verify the arch effect and structural performance of CFTA(Concrete-Filled and Tied steel tubular Arch) girder, and FE(Finite Element) analysis is performed to investigate validity of the test result. CFTA girder is designed to maximize the benefit of each material, such as steel plate, filled concrete and PS tendon. Static load test is performed based on the frame-analysis result of 12m sample miniature model. The result of static load test is that structural performance and safety of CFTA girder are confirmed and there is different deflection mode with other structural form result from arch effect. FE analysis with ABAQUS is also performed to show the validity of the truck collision safety and static load test.