• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (C)
• /
• pp.313-315
• /
• 2003

국내 철도신호설비들이 점차 전자화 되어감에 따라 이러한 신호제어장치간 인터페이스를 위한 표준 통신 프로토콜의 필요성이 점점 증대되고 있다. 본 논문에서는 이러한 기존의 철도신호용 프로토콜에 대한 분석을 하였다 그리고 철도신호용의 새로운 프로토콜의 설계를 위한 데이터 링크 프로토콜의 성능평가 모델을 설명하고, 이를 바탕으로 새롭게 설계된 철도신호용 통신 프로토콜에 대한 구조를 제시하고 성능평가 모델에 의한 기존의 프로토콜과 비교분석을 수행하였다. 프로토콜 평가모델에 의한 기존 프로토콜과 설계한 프로토콜의 비교결과 많은 성능개선이 있음을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.793-795
• /
• 2001

IPSec은 IETF에 의해 IP 레이어 보안을 위한 개방형 구조로 설계된 것으로 인터넷에서의 정보보호를 대표한다. 그리고 ISKMP는 인터넷에서 요구되는 정보보호를 설정하기 위한 인증, 키 관리 및 보안협상등을 담당하는 프로토콜로써 IPSec으로 보다 체계화된 인터넷 정보보호를 제공하기 위해 포함되어야 하는 IKE에서 사용하는 프로토콜이다. 이러한 IPSec을 이용한 보안 시스템을 개발하기 위해서는 시스템에서 사용하고 있는 프로토콜들에 대한 평가 방법도 같이 제시되어야 하나, 기존의 프로토콜 분석 도구들은 IPSec에서 제공하고 있는 프로토콜들을 분석하지 못할 뿐만 아니라 개발단계에서의 구현 평가를 하지 못한다. 본 논문에서는 IPSec을 구현하는데 필요한 AH 및 ESP 프로토콜과 ISAKMP 프로토콜을 실시간으로 분석하고, 이들 프로토콜들이 얼마나 잘 구현되었는지를 평가할 수 있는 프로토콜 분석 도구를 설계하고 구현하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.712-714
• /
• 1999

본 논문은 IEEE의 무선 LAN 표준안인 802.11 MAC 프로토콜의 동작을 구현하여 사용자가 구성한 무선 랜 환경의 성능을 측정할 수 있는 망 시뮬레이터의 구현 내용을 기술한다. 구현한 시뮬레이터는 무선 LAN 환경을 구성하는 기능, 성능 평가에 영향을 미치는 인자의 변경 및 성능평가를 위한 그래픽 차트의 출력 기능을 제공한다. 또한 MAC 프로토콜 모듈과 시뮬레이터의 의존성을 최소화하여 새로운 MAC 프로토콜을 쉽게 이식할 수 있도록 설계하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (하)
• /
• pp.953-956
• /
• 2001

인터넷에서 정보보호 서비스를 제공하는 시스템은 일반적인 시스템보다 보안성 유지의 필요성이 더욱 중요하다. 그렇기 때문에 시스템의 안전성, 즉 시스템의 구현상의 적합성과 보안성을 평가하는 기술이 필요하다. 특히 고도로 발전하는 해킹기술에 대해 시스템이 얼마만큼의 정보보호 서비스를 제공하는지에 대해 평가할 수 있어야 그 시스템의 적합성과 보안성을 확인할 수 있다. 이러한 보안성 평가 기술은 정보보호 서비스를 제공하는 시스템에 독립적으로 구동 되어야 하고, 고도로 발전하는 해킹기술에 대해 유연히 대처할 수 있어야 한다. 본 논문에서는 프로토콜 레벨의 정보보호 서비스를 제공하는 시스템에 대해 다양한 규칙을 적용하여 시스템의 적합성 및 보안성을 객관적으로 평가할 수 있는 규칙기반 프로토콜 보안평가 시스템을 설계한다.

• 한국통신학회:학술대회논문집
• /
• 한국통신학회 1991년도 추계종합학술발표회논문집
• /
• pp.196-198
• /
• 1991

분산 시스팀 환경하에서 여러 다양한 구성요소사이의 상호작용과 통신을 관장하는 규칙들인 프로토콜을 설계하는데 있어서 컴퓨터 과학 및 공학 영역의 형식방법과 소프트웨어 공학기법이 적용되고 있다. 그 결과로서 새로운 영역인 프로토콜 공학(Protocol Engineering)의 중요성이 점차 대두되고 있다. 본 연구에서는 프로토콜 공학 사이클(프로토콜과 서비스 명세, 프로토콜 검정과 검증, 프로토콜 종합, 프로토콜 변환, 성능 평가, 자동 구현, 그리고 적합성 시험) 중에서 적합성시섬 즉, 적합성 시험언어인 TTCN(Tree and Tabular Combined Notation) 특성, 시험시나리오, 그리고 추상적 시험 시나리오를 수행하는 시험언어 번역기(TTCN2C)에 관해서 논하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권4호
• /
• pp.500-512
• /
• 1999

본 연구에서는 CDMA 기술에 기반한 IMT2000 시스템을 연구중인 cdmaOne 3세대 CDMA MAC을 이용한 무선 패킷 음성 서비스 프로토콜(WPVCP : Wireless Packet Voice Convergence Protocol)을 설계하고 성능을 평가하였다. 설계한 WPVCP 프로토콜은 회선형 서비스 중심인 이동 통신의 음성 서비스 구조를 패킷형 서비스 개념에서 지원하도록 하였으며, 이를 통하여 제한된 무선자원의 활용을 극대화하였다. 아울러, 묵음 구간으로 인한 기존 회선형 방안의 음성 서비스와 제안한 패킷형 음성 서비스를 비교 분석한 결과 제안한 방안의 성능이 end-to-end 의 음성 품질을 지원하는 구조에서 최대 250% ~280% 수준의 가입자 증대효과를 나타내는 것으로 확인하였다.

• 한국통신학회논문지
• /
• 제25권11A호
• /
• pp.1748-1757
• /
• 2000

인터넷 관련 라우팅 프로토콜이나 시그날링 프로토콜들을 개발한 후에 구현된 프로토콜의 기능 시험 및 성능 평가가 이루어져야 한다. 이를 위해서 기능 시험 및 성능 시험을 자동으로 행할 수 있는 시험 시스템의 필용성이 널리 인식되고 있다. 또한 이런 시스템은 시험 환경의 구성 및 각 시험 요소의 제어가 용이해야 함과 동시에 시험 요소 및 시험 대상 프로토콜이 지리적으로 분산되어 있는 상태에서 시험이 가능해야 한다. 본 논문에서는 인터넷 프로토콜의 기능 및 성능을 시험하는 시스템의 설계 및 구현 방법에 초점을 맞추고 있으며, 프로토콜 시험을 위해서 분산된 시험 스크립트를 기술하는 환경, 한 지점에서 지리적으로 분산되어 있는 여러개의 시험 시스템의 구성 요소들을 제어하는 방법, 시험 시스템의 각 요소들의 구성을 쉽게 할 수 있는 시험 시스템 구조, 웹 브라우저 상에서 다운로드 및 실행하도록 함으로서 시험 시스템의 각 요소들의 이식성을 달성 할수 있는 방법에 대해서 소개한다. 또한 이 시험 시스템에의 적용을 위해서 RSVP를 대상 프로토콜하여 시험 시스템의 구조 및 필요한 시험 스크립트에 대해서 기술한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (3)
• /
• pp.349-351
• /
• 2004

본 논문에서는 이더넷의 네트워크 진단과 분석을 위해 필수적인 트래픽 발생기를 IPv6주소체계를 지원하는 네트워크 환경을 고려하여 설계하고 구현한다. 인터넷주소의 고갈과 IPv4프로토콜의 비효율성을 개선하기 위해 IPv6프로토콜에 대한 연구가 활발하게 진행되고 있다. 또, 이더넷 트래픽은 패킷의 양과 프로토콜의 종류 그리고 패킷의 길이에 영향을 받는다. 본 연구에서 설계하고자 하는 트래픽 발생기는 이 세가지 항목을 조정하여 다양한 네트워크 트래픽을 발생하는 것을 목표로 한다. 설계된 트래픽 발생기는 허브, 라우터등의 네트워크 장비의 성능 명가와 패킷을 모니터링하는 소프트웨어들인 네트워크 진단 시스템과 침입탐지 시스템 등의 성능 평가 및 검증을 위해 사용될 수 있다.

• 인터넷정보학회논문지
• /
• 제4권3호
• /
• pp.47-55
• /
• 2003

멀티캐스트 기술을 인터넷과 같은 거대한 네트워크에 적용하기 위해서는 멀티캐스트 데이터그램을 수신자 그룹에게 효율적이고 신뢰성있게 전달하는 것이 필수적이다. 따라서 본 논문에서는 IETF를 중심으로 연구중인 RMT프로토콜의 취약점을 제시하고 망의 혼잡으로 인해 재전송이 발생하는 경우 이를 개선하기 위해 구성요소의 기능을 재 설계함으로써 라우터에서 복구 및 재전송 처리를 할 수 있는 신뢰적 멀티캐스트 프로토콜을 설계하고 구현 및 평가하였다. 손실을 겪은 수신자가 보낸 재전송 요청을 지역으로 제한하고 멀티캐스트 라우터를 통해 손실을 복구하도록 하여 NACK신호와 재전송이 전역 멀티캐스트 그룹으로 폭주하는 것을 방지하였다. 멀티캐스트 라우터에 버퍼링 기능을 가지도록 하여 재전송 요청시 이를 포워딩함으로써 재전송에 따른 지연 시간을 기존의 복구 방식보다 감소시킬 수 있도록 하였다. 이와 같은 기능에 적합한 신뢰적 멀티캐스트 프로토콜의 메시지와 동작절차를 설계하였으며, 이를 토대로 제안한 멀티캐스트 프로토콜을 유닉스 환경에서 C 언어를 사용하여 구현하고 시험하여 기존의 방식보다 우수한 성능을 나타냄을 확인하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 하계학술대회 논문집 B
• /
• pp.1418-1420
• /
• 2004

비정형적인 방법에 의해 설계되어진 프로토콜은 불확실성과 오류를 내포하고 있을 수 있으며, 이러한 특성은 프로토콜의 안전성에 매우 심각한 영향을 미치게 된다. 또한 구형되어진 프로토콜 명세에 만족하게 구현되어졌는지를 확인하는 것 또한 프로토콜 엔지니어링에서 매우 중요한 부분이다. 즉, 프로토콜 명세의 정형검정과 적합성 시험은 프로토콜 개발 과정에서 매우 중요한 부분이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델에 대한 적합성 시험을 위하여 프로토콜 제어흐름을 IOFSM으로 모델링하였으며, 이 명세로부터 UIO 방법에 의한 적합성 시험계열 생성방법을 제시하였다. 또한, 프로토콜 검정 및 적합성 시험 방법을 실제 프로토콜의 정확성을 분석하는 데 사용할 수 있도록 프로토콜 검정기와 시험기를Windows 환경하에서 GUI기능에 의해 Window상에 구현되도록 하여 프로토콜 명세의 정확성을 평가할 수 있게 하였다.