필수 서비스의 침입감내를 위한 그룹관리 프로토콜의 신뢰성 분석

• 영문명: An Dependability Analysis of the Group Management Protocol for Intrusion Tolerance of Essential Service
• 발행기관: 한국시뮬레이션학회
• 저자명: 김형종(Hyung-Jong Kim) 이태진(Tai-Jin Lee)
• 간행물 정보: 『한국시뮬레이션학회 논문지』제16권 제1호, 59~68쪽, 전체 10쪽
• 주제분류: 공학 > 기타공학
• 파일형태: PDF
• 발행일자: 2007.03.30

국문 초록

침입감내 기술은 기존의 정보보호 기술이 방어하지 못하는 공격들이 있는 상황에서 일정 시간 동안 일정 수준의 서비스 품질을 유지시키기 위해 사용되는 기술을 일컫는 말이다. 침입감내 기술을 통해서, 서비스 혹은 이를 제공하는 시스템의 가용성 및 신뢰성을 높여 줄 수 있고, 공격으로 인한 피해를 줄일 수 있게 된다. 침입감내 기술의 핵심 기술 중 하나가 그룹관리 프로토콜 (GMP : Group Management Protocol) 및 투표 기능(Voting) 이다. 본 논문은 이 두 요소기술이 갖는 신뢰성을 수학적으로 검증하고 또한, 시뮬레이션을 통한 검증을 수행하였다. 이러한 분석이 갖는 의미는, 분석 결과를 활용한 보안 정책을 만들 수 있다는 것과, 다수개의 시스템의 결과를 기반으로 의사결정을 해야 하는 경우에 어떠한 분석절차를 가져야 하는 지에 대한 방법론을 제시한다는 것이다.

영문 초록

IT (Intrusion Tolerant) technology is for guaranteeing the availability of service for certain amount time against the attacks which couldn t be prevented by the currently deployed information security countermeasures. IT (Intrusion Tolerant) technology mainly makes use of the replication of service and system for enhancing availability, and voting scheme and GMP (Group Management Protocol) are used for the correctness of service. This paper presents a scheme to analyze dependability of IT (Intrusion Tolerant) technology through probabilistic and simulation method. Using suggested analysis scheme, we can analyze the robustness and make a sensible trade-offs in of IT (Intrusion Tolerant) technology.

목차

1. Introduction

2. Related Work

3. Dependability Analysis with the theoretical method

4. Simulation-based Dependability Analysis

5. Dependability Matrix for Intrusion Tolerant System

6. Conclusion

7. Reference

키워드

의존성 그룹 관리 투표 침입감내 시스템 가용성 Dependability Group management Voting Intrusion tolerance system Availability