• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.15 no.4
• /
• pp.331-340
• /
• 1990

In communication protocol design, it is important that design procedure is simple and result protocol must be correct. This paper presents a communication protocol synth-sizing algorithm, which enhances productivity of protocol design, using CFSM. CFSM is defined as extended FSM for representing protocol information and simplification. In this method protocol designer descripts only one communication machine with out error consideration using FSM, then two communication machine M' and N' are generated. And then transformation rules for error-recovery converts M' and N' to EM' and EN' which are logically correct.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.673-675
• /
• 2002

본 논문에서는 신뢰성 있는 통신을 요구하는 철도신호용 정보전송을 위해 설계한 프로토콜과 이 설계된 프로토콜의 데이터 링크제어의 성능분석을 위한 시뮬레이터의 개발에 대해 설명한다. 우선 철도신호용 통신 프로토콜의 성능분석을 위해 Matlab／Simulink 윈도우상의 데이터 링크제어 시스템 화면에서 사용자 인터페이스 블록을 통해 통신 파라미터들을 선택하여 시뮬레이션을 행할 수 있는 시뮬레이션 툴과, Matlab이 제공하는 Rs232통신용API 기능을 이용하여 철도 신호장치간의 통신 프로토콜을 PC상에서 에뮬레이션 할 수 있는 시뮬레이터를 설계하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04d
• /
• pp.313-315
• /
• 2003

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

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.4
• /
• pp.509-518
• /
• 1993

Protocol conversion is to resolve the imcompatibility between networks so that users on different protocols can communicate with each other. This paper designs a formal model, EPN , to increase its modeling power and analyze conversion protocol and proposes a conversion algorithm using it. The conversion algorithm has two capabilities : synchronization and automatic error recovery function. Therefore burden of protocol converter design will be reduced, automatic protocol converter design can be possible and implementation for half-gateway will be easy.

• The Magazine of the IEIE
• /
• v.12 no.4
• /
• pp.1-7
• /
• 1985

컴퓨터 통신망과 정보처리기기의 급속한 발전에 따라 다양한 통신 프로토콜이 출현하였다. 이에 따라 다른 종류의 프로토콜 사이의 호환성이 심각한 문제로 대두하였으며, 그 해결 방안으로 OSI(Open Systems Interconnection)의 개념이 정립되었다. OSI는 시스템간의 통신 체계를 개념적으로 정립하고 관련된 프로토콜의 사양을 포함하고 있으나 실제적인 프로토콜 설계, 시험, 구현등의 중요한 부분이 제외되어 있다. 본 고에서는 프로토콜 설계로부터 마지막 시험에 이르기까지 한 통신 프로토콜이 거쳐야할 단계를 체계적으로 정리 분석 하였다. 이 분야는 프로토콜 엔지니어링 이라는 새로운 학문 분야로 컴퓨터 통신의 발전에 큰 기여를 할 것으로 보인다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.10 no.2
• /
• pp.21-30
• /
• 2000

본 논문에서는 이동통신환경의 특징과 기존의 키분배 프로토콜들에서 발생할 수 있는 공격들을 프로토콜 수행전 수행중, 수행후로 나누어서 살펴보고 이를 기반으로 이동통신환경에 적합한 키분배 프로토콜 설계에 필요한 요구사항 들을 제시한다 또한 제시된 요구사항을 기반으로 이동통신환경에 적합한 상호인증을 제공하는 키분배 프로토콜을 제안하고 제안한 프로토콜을 분석한다.

• The Journal of Korean Association of Computer Education
• /
• v.5 no.4
• /
• pp.31-42
• /
• 2002

In this paper, We set up the development methodology of communication protocols as well as the concrete design concept concerning for how to define and use the PDU, SDU, SAP, and service primitives using SDL, which is recommended by ITU-T, and other international standard languages such as ASN.l, MSC, and TTCN. This methodology covers the SDL design of extended lures protocol, a well known protocol example, insertion of ASN.1 message for transportation of bit string, generation of MSC for validation of design specification, generation of test cases using TTCN from validation, and performance of conformance test.

• Proceedings of the KIEE Conference
• /
• 2006.10d
• /
• pp.256-258
• /
• 2006

철도신호제어장치는 열차의 안전운행을 책임지는 매우 바이탈한 제어장치이다. 이러한 바이탈 제어장치는 최근 들어 컴퓨터 및 통신기술의 발달에 따라 각 장치들간 인터페이스를 통한 통합 시스템화 되어가고 있다. 이에 따라 이들 각 장치들간 인터페이스를 위한 통신 프로토콜 또한 높은 안전성이 요구된다 국내에서 몇 년간의 연구를 통한 이러한 철도신호설비들간 인터페이스를 위한 통신프로토콜에 대한 연구가 이루어 졌으며 이를 통해 표준으로 제정되어 현재 적용되고 있다. 본 논문에서는 이러한 바이탈한 제어장치인 철도신호설비들간 통신프로토콜의 설계, 검증 그리고 표준화 과정의 분석을 분석하였다. 이러한 프로토콜의 설계 및 표준화 과정의 분석을 통해 높은 안전성이 요구되는 국내 적용 중인 통신프로토콜이 가지고 있는 안전성 특성을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.482-484
• /
• 2003

본 논문에서는 안전한 데이터 통신을 제공하기 위하여 응용계층에서 새로운 프로토콜을 설계 및 구현한다. 인터넷의 급속한 전파와 더불어 웜, 바이러스, 해킹 등 이를 이용한 않은 보안상의 위협을 받고 있다. 이런 위협으로부터 두 노드간의 데이터 통신을 안전하게 보호하기 위한 연구는 반드시 행해져야만 하고 또한 많은 연구가 진행되고 있다. 이런 연구의 일환으로 본 논문에서는 보안성을 제공하고 있는 다른 프로토콜들의 문제점들을 보완하고 두 노드간의 안전한 데이터 통신을 제공하기 위하여 응용계층에서 새로운 프로토콜을 설계 및 구현한다.

• Convergence Security Journal
• /
• v.3 no.2
• /
• pp.33-40
• /
• 2003

The biggest problem for the oblivious transfer protocol is the rapid increasement of network traffic and computational complexity if the protocol is used as a sub-protocol compare to the case that when it is used as a standalone protocol. To fix such problems, in this paper, we propose a verifiable Non-interactive OT protocol that reduces the network traffic and computational complexity by preprocessing the necessary computations when the network traffic is low. The proposed protocol uses third root mechanism instead of square root mechanism that is used for the Fiat-Shamir signature mechanism and also uses 1-out-of-2 oblivious transfer based on signature mechanism. We also analyze the proposed protocol by comparing to the Lein Harn, YNIOT protocols.