• 한국통신학회논문지
• /
• 제15권4호
• /
• pp.331-340
• /
• 1990

통신 프로토콜의 설계에 있어 설계 과정의 단순화와 설계된 프로토콜의 논리적 정당성 입증은 중요한 과제이다. 본 논문에서는 FSM을 이용한 통신 프로토콜 설계 과정 효율화를 위한 합성방법을 제안한다. 통신 프로토콜의 속성 정보를 묵시적으로 표현하여 설계 과정이 단순화되도록 기존의 FSM을 확장시켜 CFSM 을 저의한다. 통신 프로토콜의 설계자는 FSM을 이용하여 오류를 고려하지 않은 한 통신 기계 M 만을 기술하며, 동기화를 보장받는 두 통신 기계 M'과 N'이 합성되며 M'과 N'이 오류 회복 기능을 갖도록 오류 회복용 변환 규칙을 적용하여 최종 프로토콜 EM'과 EN'을 얻는다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (3)
• /
• pp.673-675
• /
• 2002

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

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

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

• 한국통신학회논문지
• /
• 제18권4호
• /
• pp.509-518
• /
• 1993

서로 다른 프로토콜로서 운영되는 네트워크 간의 통신 문제를 해결하는 방법으로서 프로토콜 변환이라는 방법이 사용된다. 본 논문에서는 모형화 능력의 확장 및 변환 프로토콜의 성능 분석이 가능한 모형화도구 EPN을 제안하고 이를 이용한 프로토콜 변환 방식을 설계한다. 제안한 변환 방식은 프로토콜 변환기의 동기화를 보장하고 오류복구 기능을 자동으로 추가시킨다. 따라서 이 변환 방식은 프로토콜 변환기 설계자의 설계 부담을 경감시키고 프로토콜 변환기 설계의 자동화를 가능하게 하며, 게이트 웨이 설계가 용이해진다.

• 전자공학회지
• /
• 제12권4호
• /
• pp.1-7
• /
• 1985

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

• 정보보호학회논문지
• /
• 제10권2호
• /
• pp.21-30
• /
• 2000

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

• 컴퓨터교육학회논문지
• /
• 제5권4호
• /
• pp.31-42
• /
• 2002

본 논문에서는 통신 프로토콜 개발 시 사용되는 PDU, SDU, SAP, 서비스 프리미티브를 어떻게 정의하고 사용하는지에 대한 명확한 설계 개념과 검증 방법을 ITU에서 통신 규격 및 설계 언어로 권고하고 있는 SDL과 국제 통신 표준 언어인 ASN.1, MSC, TTCN을 사용하여 정립한다. 통신 프로토콜의 예로 잘 알려진 Inres 프로토콜을 확장하여 SDL로 설계하며, SDL의 설계 규격에 비트 스트링 전송을 위한 ASN.1 메시지의 삽입, 규격에 대한 설계 검증을 위한 MSC의 생성, 검증으로부터 TTCN을 이용한 시험 케이스의 생성 및 적합성 시험 등 프로토콜 개발 순기 전반에 걸친 개발 방법론을 정립한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 추계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.256-258
• /
• 2006

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

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

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

• 융합보안논문지
• /
• 제3권2호
• /
• pp.33-40
• /
• 2003

불확정 전송 프로토콜의 가장 큰 문제점은 단일 프로토콜로 사용될 경우에는 그 통신량과 계산량이 적지만 암호 프로토콜의 서브프로토콜로 사용될 경우 그 통신량과 계산량이 급증한다는 것이다. 이러한 문제점을 해결하기 위해 통신 트래픽이 적은 시간에 사전 계산을 실행함으로써 통신량과 계산량을 줄일 수 있도록 설계한 검증 가능한 비대화형 불확정 전송 프로토콜을 적용하여 기존에 Fiat-Shamir 서명 방식(Fiat 86)에서 평방 근을 사용하던 방식 대신에 third root를 사용하고 1-out-of-2 불확정 전송을 이용하는 에 관한 공정한 은닉 서명 기법에 사전 계산에 의한 검증 가능한 비대화형 불확정 전송 프로토콜을 적용하여 공정한 은닉 서명 프로토콜을 설계하였다. 또한 제안한 프로토콜을 Lein Harn, VNIOT 프로토콜 방식과 비교하여 분석하고, 프로토콜에 대하여 분석하였다.