• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.7
• /
• pp.4863-4870
• /
• 2015

Currently, as a priority to secure the safety of the railway signalling system, verification for satisfy of the safety integrity requirements(SIR) is required to the essential elements. Safety Integrity Requirements(SIR) verification is performed based on the system safety analysis. But the probability of securing basic data for system safety analysis significantly dropped because there is no experience yet performed in the country. Therefore we are had to rely on a qualitative analysis. There are methods such as qualitative risk analysis matrix, and risk graphs. The qualitative analysis is wide, the width of the accident. However, the reliability of the result is significantly less has a disadvantage. Therefore, it should be parallel quantitative safety analysis of the system/products in order to compensate for the disadvantages of the qualitative analysis. This paper presents a quantitative safety analysis method to overcome the disadvantages of the qualitative analysis. And through a result, highly reliable Safety Integrity Requirements(SIR) verification measures proposed. Verification results, the dangerous failure incidence for vital data processing device was calculated to be $1.172279{\times}10^{-9}$. The result was verified to exceed the required safety integrity targets more.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2012.06a
• /
• pp.62-64
• /
• 2012

개선된 정확도 성능을 확보하기 위하여 보강 시스템을 이용한 많은 연구가 진행되고 있다. Network RTK는 다중 기준국의 반송파 측정치 보정정보를 이용하여 시공간 오차를 보강한 측위성능을 얻기 위한 기법으로 현재에도 꾸준히 연구되고 있다. 그러나 성능개선을 목적으로 한 알고리즘 개선안에 대한 연구는 지속적으로 연구되었지만, 무결성 확보를 위한 연구는 아직 연구된 바가 없다. 본 논문에서는 Network RTK에서의 무결성 확보를 위한 기초연구로 위성이상이 발생한 경우에 이상을 검출하고 이상 위성을 식별할 수 있는 알고리즘을 제안하였다. 그리고 시뮬레이터를 사용하여 오차 시나리오가 인가된 위성 신호를 생성하고, 이중주파수용 상용 수신기를 사용하여 수신한 데이터를 사용하여 제안한 알고리즘의 성능을 검증하였다.

• KIISE Transactions on Computing Practices
• /
• v.23 no.8
• /
• pp.504-509
• /
• 2017

Preserving the integrity of the booting process is important. Recent rootkit attacks and subverting OS attacks prove that any post-OS security mechanism can be easily circumvented if the booting process is not properly controlled. Using an actual case as an example, the hacker of the Se-jong government office simply bypassed the user's password authentication by compromising the normal booting process. This paper analyzes existing pre-OS protection using secure boot and measured boot, and proposes another bootloader that overcomes the limitations. The proposed bootloader not only guarantees the integrity of all the pre-OS binaries, bootloaders, and kernel, it also makes explicit records of integrity in the booting process to the external TPM device, so that we can track modifications of BIOS configurations or unintended booting process modifications.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.11a
• /
• pp.506-509
• /
• 2000

현대 사회는 컴퓨터와 인터넷을 이용한 정보 교환이 필수적이다. 이러한 정보 교환은 기본적으로 해킹 및 불법적인 접근으로 보호되어야 하며, 이러한 불법적인 접근으로부터 정보를 보호하기 위해 정보보안 제품들이 많이 개발되어 있다. 본 연구에서는 기존의 개발된 보안 제품들이 UNIX 혹은 Windows 계열에서 개발되었다 할지라도 TCP/IP를 기반으로 하는 제품들에 대해서 내부적으로 전송되는 데이터들에 대해 보안 기능 및 무결성 기능을 실시간 및 자동으로 탐지하는 도구를 개발하는데 있다. 기존의 보안 제품들은 응용 계층 및 IP 계층에서 인증 및 보안 기능을 수행하는 제품들이 많이 개발되었는데, 본 연구에서는 응용계층과 IP 계층 모두에서 개발된 보안 제품들에 대해 자동으로 탐지하는 모듈을 Linux 환경에서 구현하였다. 그리고 관리자의 편리한 검증을 위해 다양한 인터페이스 환경을 제공하는 모듈을 추가하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.37-39
• /
• 2014

최근 무선 통신 및 반도체 기술이 발전하면서 다양한 응용 분야에서 센서를 활용하는 시스템이 증가하는 추세이다. 이러한 센서 시스템은 전력 공급이 제한적이고 저전력 전원 공급 장치를 사용하기 때문에 불안정한 전력 공급 상황에서 시스템의 비정상 종료 시 데이터의 무결성을 보장할 수 없는 문제가 있다. 이를 해결하기 위해 시스템 내부에 추가 전원 장치를 제공하거나 비휘발성 메모리에 연산장치를 추가하는 등의 방안이 제안되었지만, 이는 물리적, 비용적 오버헤드를 초래한다. 본 논문에서는 이러한 오버헤드를 최소화하면서 센서 시스템의 신뢰성을 높이는 방안을 제시한다. 제안하는 방법을 ARM 프로세서와 FPGA를 기반으로 구현하고 그 효용성을 검증하였다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.4
• /
• pp.462-469
• /
• 2019

According to the survey of Ministry of the Interior and Safety in Korea, The number of public and private CCTV reached over ten million and is still increasing. Also with improving Image Processing Technology, it is possible to obtain diverse information. Recently, various services using CCTV are being provided. Therefore it is necessary to ensure CCTV image integrity. However there is no system to prove events in film yet. In this paper, we suggest system model that can manage, use and authenticate CCTV. This model allows a CCTV film to be verified by other nearby CCTVs' data. This model ensures film's integrity by using blockchain. And also, It addresses privacy problem in CCTV and file size problem in blockchain by using not large film data but much smaller analyzed data.

• The KIPS Transactions:PartC
• /
• v.9C no.4
• /
• pp.481-488
• /
• 2002

Guarantee of the data integrity is important to the Virtual Private Network (VPN) which can be improved cost decreasing and effective work by applying on Internet as the private network. Thus, the integrity function in the VPN must be maintained and the security manager must be check it occasionally. In this paper we propose the VPN Integrity Evaluation System (VIES) which is collecting, and evaluating automatically the vulnerable data of VPN against current hacking mechanisms in information security system. And this VIES obtain to the results which have objectivity and fairness of evaluation by driving off the evaluation scenario based on Common Criteria (CC), and general users or non-specialist can utilize easy the security evaluation of organization.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2024.01a
• /
• pp.331-334
• /
• 2024

하이퍼레저 패브릭(Hyperledger Fabric)은 참여자의 신원을 확인하고, 정보교환(트랜잭션)의 유효성을 검증하는 허가형 블록체인 모델이다. 기존의 대표적인 블록체인 모델인 비트코인, 이더리움과 대비하여 효율적인 데이터 검증 방안이 가능한대, 체인코드와 채널, 그리고 피어를 중심으로 구성되어 있기 때문이다. 먼저 본 블록체인 모델은 '체인코드'라는 스마트 계약(컨트랙트)를 실행하며 허가된 사용자만 네트워크에 참여할 수 있다. 또한, '채널' 기능이 있어 서로 다른 조직 간의 데이터 공유와 검증에 대한 새로운 접근방식을 보여줄 수 있으며, 특정 네트워크 내에서 데이터를 분리할 수 있다. 이를 통해 특정 데이터에 대한 접근권한을 제어하는 기능을 제공하며 동시에 데이터의 신뢰성과 보안성을 높일 수 있다. 마지막으로 '피어'는 체인코드를 통해 들어온 트랜잭션을 검증하고, 유효한 데이터만 원장에 추가하는 기법으로 무결성을 유지하는 데 중요한 역할 담당하고 있다. 본 연구결과를 기반으로 하이퍼레저 패브릭을 효과적으로 활용하여 데이터 검증 프로세스가 산업계에 널리 적용될 수 있기를 기대한다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2005.05a
• /
• pp.87-93
• /
• 2005

다양한 정보의 교환 및 공유가 이루어지는 물류분야에서는 정보의 통합관리가 필요하다. 본 논문에서는 서로 다른 물류주체 간의 정보 교환 및 공유가 원활히 이루어지는 RFID에 기반을 둔 물류환경에 적합한 물류정보 통합관리 모형을 제시한다. 본 논문에서 제시하는 물류정보 통합관리 모형은 웹 서비스를 기반으로 물류정보를 저장/관리하는 시스템 모형으로 애플리케이션과의 데이터교환을 위한 인터페이스, 물류데이터 저장, 검색을 위한 모듈, 물류정보의 데이터 무결정과 의미추론을 위한 온톨로지 모듈, XML Repository 및 Respository access 모듈로 구성된다. 데이터 교환을 위한 인터페이스는 SOAP을 이용하며 애플리케이션 및 RFID 미들웨어와 물류정보를 주고 받는다. 데이터 처리모듈은 물류 데이터의 유형에 따라 데이터를 저장/관리하며, 애플리케이션의 정보요청에 대한 결과를 제공한다. 또한 물류정보의 데이터 무결성 검증, 의미추론을 위한 온톨로지 모듈을 포함한다. 본 논문은 XML형식의 물류정보 저장관리 및 시맨틱웹 개념 중심의 모형을 설계한다.

• Smart Media Journal
• /
• v.8 no.3
• /
• pp.53-61
• /
• 2019

In this paper, designing and implementing multi-communication middleware in multi-thread environmet through event-based synchronization method are proposed for stable data transmission of electronic optical equipment, which requires combining camera and various sensors to process multiple high-speed data. To verify the performance of the implemented communication middleware, image data and sensor data were sent to compare differences in reception-based and transmission-based cycles, and the maximum number of communication possibilities to transmit and process multiple was measured and analyzed. In addition, the proposed communication middleware's performance was verified through experiments such as validating the integrity of the transmitted data and measuring the Round Trip Time.