• 한국정보통신학회논문지
• /
• 제14권2호
• /
• pp.351-359
• /
• 2010

본 논문에서는 선박의 통합정보처리를 위해 표준화된 IEC 61162-4 기반 TLI 프로토콜의 전송 알고리즘을 제안하고, 제안된 알고리즘을 기반으로 프로토콜을 설계 및 구현한다. 구현된 프로토콜은 TCP/IP 기반의 프로토콜로서 IEC 61162-4에서 제안하고 있는 MAU와 LNA의 표준에 따른 통신 프로토콜이며, 클라이언트/서버 모델을 기반으로 한 네트워크 구조에서 데이터 전송이 이루어진다. 개발된 TLI 프로토콜은 하나의 호스트 내에 MAU와 LNA간의 통신과 서로 다른 호스트의 LNA 간 통신이 이루어지며, 하나의 LNA에 대해 다양한 서비스를 제공하기 위해 멀티 MAU 구조로 구현된다. 표준 규격과 제안된 전송 알고리즘에 따라 객체지향 기법을 이용하여 프로토콜 설계 및 구현이 되었으며, 실제 선박에서 사용될 수 있는 간단한 네트워크 환경에서 실험을 하여 성공적으로 데이터 송수신이 됨을 확인할 수 있었다.

• 한국통신학회논문지
• /
• 제27권11C호
• /
• pp.1064-1073
• /
• 2002

본 논문에서는 프로토콜 개발 도구를 이용하여 Wireless Application Protocol (WAP) 포럼에서 제안하는 무선 트랜잭션 프로토콜(Wireless Transaction Protocol: WTP)을 구현하였다. 또한, 서버모델, coroutine 모델 및 activity-thread 모델에 따라 개발도구의 지원없이 직접 개발된 WTP 구현물들과 그 성능을 비교 분석하였다. 우선 Unified Modeling Language (UML)을 사용하여 프로토콜의 요구사항을 분석함과 동시에 프로토콜 엔진의 구조를 정의하였으며, 이를 기반으로 Specification and Description Language (SDL)을 사용하여 프로토콜 엔진을 상세 설계한 후, 코드 자동 생성기를 이용하여 WTP 구현물을 생성하였다. 구현물의 성능을 분석한 결과, 3,000개 이하의 클라이언트가 동시에 접속할 경우에는 트랜잭션 처리율(throughput)과 트랜잭션 처리 지연시간(system response time) 측면에서 기존의 세 가지 모델을 이용하여 직접 개발한 프로토콜 엔진과 그 성능이 대등함을 알 수 있었다. 그러나, 5,000개 이상의 클라이언트가 동시에 접속할 경우 트랜잭션 성공률은 약 10%까지 급격히 감소하고 트랜잭션 처리 지연시간은 1,500㎳까지 증가하였는데, 이는 프로토콜 개발도구를 사용한 경우에 구현물의 크기가 약 62% 증가하면서 프로토콜 처리시간 증가로 인한 것이다. 그러나, 이러한 실험 결과는 실험에 사용된 PC 서버의 사양을 고려할 때 호스트의 과부하로 인한 것이며, 부하분산 기능이 제공되는 실제 환경에서는 프로토콜 개발 도구를 사용하지 않고 직접 개발한 프로토콜 엔진과 거의 대등한 성능을 보였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권8호
• /
• pp.773-777
• /
• 2008

오늘날의 모바일 장비들은 무작위로 움직이는 이동성을 가지고 있어서 보안에 대한 다양한 요구사항을 가지고 있으며 이러한 요구사항을 충족시키기 위해 모바일 장비에 대한 보안기술과 인증기술에 대한 많은 연구가 진행 중이다. 이를 위하여 TCG(Trusted Computing Group)에서는 사용자의 프라이버시를 보호하는 동시에 강력한 인증방법을 제공하기 위하여 보안칩에 해당하는 TPM(Trusted Platform Module)을 설계하고 영지식 증명을 이용한 DAA(Direct Anonymous Attest처ion) 프로토콜을 제시하고 있다. 본 논문에서는 자바를 이용하여 DAA 프로토콜을 소프트웨어로 구현하고 이를 바탕으로 해서 모바일 환경에 적합한 모바일 DAA 모델을 제시한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1998년도 추계종합학술대회
• /
• pp.450-455
• /
• 1998

This paper proposes an enhanced transport protocol for multipeer communications. It is assumed that there exists a transport connection owner that takes the roles of the establishment, management and termination of a transport connection. The proposed protocol classifies the data transfer type into simplex, duplex and N-plex multicasts and provides several transport services to support various requirements in group communications. The general operations and reliability controls of each transfer type are different from one another and carried out by a shared control tree. The QoS negotiation is performed during the creation phase. The notification of negotiated values is followed by an acknowledgment procedure for confirmation. The four-way handshake is introduced. After negotiation, such a resource reservation protocol as RSVP can reserve system and network resources according to the arbitrated values. This paper suggests a conceptual model of the transport layer and its protocol behaviors over the IP multicast and RSVP network.

• Journal of information and communication convergence engineering
• /
• 제8권5호
• /
• pp.513-518
• /
• 2010

This paper proposes a medium access control protocol for integrated voice and data services in slotted CDMA systems. The proposed protocol, which is named as RCSSMA (Reservation Code and Status Sensing Multiple Access), adopts a code reservation and status sensing schemes. RCSSMA protocol gives higher access priority to the voice traffic than data traffic for reducing the packet dropping probability. The voice terminal reserves an available spreading code to transmit voice packets during a talkspurt, whereas the data terminal transmits a packet over one of the available spreading codes that are not reserved by the voice terminals. In this protocol, the voice packets never contend with the data packets. Packet dropping probability and average data packet transmission delay are analyzed using a Markov chain model.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제55권12호
• /
• pp.534-543
• /
• 2006

BACnet(Building Automation and Control networks) is a standard data communication network protocol designed specifically for building automation and control systems. BACnet provides BACnet/IP Protocol for data communication through the Internet. BACnet device uses BBMD(BACnet Broadcasting Management Device) to deliver BACnet broadcast messages. In this study, we propose a fault tolerant BBMD in the BACnet/IP protocol. The fault tolerant BBMD improves the connectivity of BACnet/IP networks by inheriting the operation of original BBMD in the networks. The fault tolerant BBMD is implemented with added functions to the original BACnet/IP protocol so that it can provide backward compatibility with the original BACnet/IP devices. We examined the validity of the fault tolerant BBMD using an experimental model.

• 한국통신학회논문지
• /
• 제15권5호
• /
• pp.434-445
• /
• 1990

OSI 모델에 입각한 기능확인 위주의 종래의 단순한 프로토콜 시험기법은 성능시험, 적합성시험, 상호접속시험으로 세분화되고 대상 프로토콜도 일대일, 일대다수(Point-to -multipoint)로 확장되었다. 본 논문에서는 시험항목 생성부분과 시험결과 분석기능을 공통 플랫폼으로 하고 시험 대상 프로토콜의 성격과 시험목적에 따라서 모듈화된 시험수행기부분을 선택적으로 변경하는 다기능 프로토콜 시험시스템을 제시하였다. 본 논문은 다기능 시험시스템 설계에 입각한 예로서 망루팅 프로토콜 시험시스템, 트랜스포트 프로토롤 시험시스템의 구조를 보인다.

• 한국통신학회논문지
• /
• 제19권9호
• /
• pp.1648-1657
• /
• 1994

본 논문은 우리별 소형위성에 탑재되어 사용될 KAX. 25 패킷 통신 프로토콜을 개발하기 위한 연구로서, KAX. 25프로토콜의 부분인 입출력 드라이버, 입출력 처리기 그리고 무선프로토콜인 AX. 25를 차세대 주 컴퓨터부에서 구현한다. 그리고 구현된 프로토콜은 위성국과 지상국을 연결한 시험모델에서 위성국에 탑재하여 데이터 링크 계층 프로토콜의 적합성 시험이 이루어 진다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2003년도 추계학술대회 논문집(III)
• /
• pp.581-586
• /
• 2003

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions. as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS(Labeled Transition System) with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification.

• 정보보호학회논문지
• /
• 제9권1호
• /
• pp.85-102
• /
• 1999

본 논문에서는 ECDLP(Elliptic Curve Discrete Logarithm Problem)를 이용한 EC-SRP (Elliptic Curve - Secure Remote Password) 프로토콜을 제안한다. 타원곡선 이산대수 문제를 SRP(Secure Remote Password) 프로토콜에 적용시킴으로써 타원 곡선이 갖는 높은 효율성과 보안성을 갖도록 하였으며, 이와 동시에 타원곡선의 스칼라 곱셈(scala. multiplication)의 회수를 최대한 줄임으로써 최적의 효율성을 갖도록 설계하였다. 또한 랜덤 오라클(random, oracle) 모델에서 EC-SRP 프로토콜이 안전한 AKC(Athenticated Key Agreement with Key Confirmation)프로토콜임을 증명하였다.