• The Transactions of the Korea Information Processing Society
• /
• v.2 no.3
• /
• pp.406-416
• /
• 1995

This paper is concerned with a routing protocol for cost-effective communications between mobile hosts on computer networks in which mobile hosts can move freely their physical positions. The proposed routing protocol consists of two protocols : one is called location registration protocol performing registration of the location information as the mobile host does move; the other one is called message transfer protocol which actually delivers a message to the destination mobile host. The detailed protocol's operational behavior and major characteristics are presented. And it is shown that our protocols are superior to previous ones, in terms of the communication cost(i.e, number of messages) required for routing a message, and are functionally improved ones.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.999-1002
• /
• 2006

RFID 시스템의 보안적 취약점을 보안하기 위해 많은 프로토콜이 제안되었지만, 아직까지 완벽하게 보안성과 경제성을 모두 만족시키지 못하였다. 본 논문에서는 RFID 시스템의 보안적 취약점을 보안하기 위해 제안된 보안 프로토콜의 안전성 만족 여부를 정형기법을 이용하여 검증을 실시하고, 발전방향에 대해 제시하였다.

• Korean Chemical Engineering Research
• /
• v.61 no.4
• /
• pp.611-618
• /
• 2023

The purpose of the refueling protocol and the contents of SAE J2601, which is used as the basis for hydrogen vehicles refueling around the world, were investigated, and research contents related to domestic protocols were also investigated. In addition, the components of the hydrogen refueling performance evaluation device developed in Korea and the method for evaluating the performance and safety of hydrogen refueling stations were reviewed. And, the result were analyzed by applying it to the hydrogen refueling stations currently operating in Korea. In addition, an economic feasibility analysis was conducted using data collected from domestic hydrogen refueling stations. In order to secure the safety and economy of a hydrogen refueling station, the protocol must be satisfied, and in order to satisfy the protocol, it is necessary to evaluate whether the refueling temperature, refueling pressure, and refueling flow are controlled within a safe range.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.597-599
• /
• 1998

기존의 공중전기통신망들이 B-ISDN으로 통합, 발전되어 가는 과정에서 경제성 및 효율성 등의 이유로 인해 필연적으로 기존망과 새로 구현하는 망 사이의 연동과정이 필요하게 되며 가능한 기존망의 기능을 수용하면서 구현될 수 있는 방안이 마련되어야한다. 본 논문에서는 B-ISDN과 Internet의 망간 프로토콜인 B-ISUP와 TCP/IP의 연동 프로토콜을 설계하고 연동 프로토콜을 검증하기 위해 페트리네트(petrinet)의 확장인 프레디키디(predicate)/액션(action) 네트를 이용하여 모델링하였다. 또한 동작성 확인을 위해 도달트리(reachability tree)를 이용하여 설계한 프로토콜이 교착상태(deadlock)없이 정상적으로 수행됨을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.400-402
• /
• 2002

최근 IT 산업의 발달로 인터넷 이용자가 폭발적인 성장에 따라 인터넷을 통한 전자 상거래가 새로운 경제 활동으로 등장과 동시에 무선 인터넷 시장이 급속한 성장을 하고 있다. 이에 따라 기존에 사용되어지고 있는 on-line상에서의 전자 지불 방식보다 실용적인 무선 인터넷상의 전자 지불 방식이 요구되고 있다. 이에 따라 본 논문에서는 무선 인터넷 상에서 전자상거래를 통한 결제대금 지급을 할 때 부정 사용자에 대한 사용자 추적, 즉 익명성 제어가 가능한 프로토콜을 제안한다. 본 논문에서 제안한 프로토콜의 특징은 기존의 on-line 상에서의 제공되어지고 있는 전자지불 프로토콜의 추적기능을 무선 인터넷 환경에서 보다 효율적이며 안전하게 사용할 수 있는 프로토콜을 제시한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.10a
• /
• pp.179-184
• /
• 1998

기존의 공중전기 통신망들이 B-ISDN으로 통합, 발전되어 가는 과정에서 경제성 및 효율성 등의 이유로 인해 필연적으로 기존망과 연동과정이 필요하게 되며, 이러한 B-ISDN 통신망의 연동계획은 가능한 최적의 통신망 진화전략에 부합되어야 하고, 다양한 기술의 응용 가능성을 제한하지 않도록 수립되어야 하며, 또한 기존망의 기능을 수용하면서 구현될 수 있는 방안이 마련되어야 한다. 따라서 본 논문에서는 B-ISDN과 N-ISDN의 망간 연동 프로토콜을 설계하고 설계한 프로토콜을 워크스테이션 상에서 구현하였으며, 구현한 프로토콜이 표준 규격과 일치하게 동작하는지 테스트하기 위하여 적합성 테스트 중 오류 검출 능력이 우수한 국부시험 방법을 이용하여 구현된 프로토콜이 정상적으로 동작함을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.301-303
• /
• 2006

RFID기술은 RF를 이용하여 자동적으로 사물의 정보를 획득할 수 있는 매우 편리한 기술이다. 하지만 악의적인 공격자에 의해 사물의 의도적으로 노출이 될 수 있는 문제를 지니고 있다. 이러한 RFID 시스템의 보안적 취약점을 보안하기 위해 많은 프로토콜들이 제안되었지만, 아직까지 완벽하게 보안성과 경제성을 모두 만족시키지 못하였고, 직관적인 방법에 의해 제안 프로토콜들을 검증하여 명확한 검증이 이뤄졌다고 할 수 없다. 본 논문에서는 새로운 RFID 인증 프로토콜을 제안하고 직관적인 검증이 아닌 정형기법을 이용하여 프로토콜의 보안성을 검증하였다.

• Proceedings of the Korean Society of Marine Engineers Conference
• /
• 2005.11a
• /
• pp.206-207
• /
• 2005

해상에서 인터넷을 사용하는 데 많은 기술적, 경제적 제약이 따른다. 육상의 인터넷 서비스를 바다 위에서 실현하기 위해서는 기지국과 같은 중앙 통제 시스템이 없는 MANET을 기반으로 하는 해상통신망이 새롭게 구축되어야 한다. 본 논문에서는 해상환경과 선박 내 단말장치의 특성을 최대한 고려한 해상 MANET 모델을 새롭게 설계하였다. 원양에서 선박들이 주로 주어진 항로를 기준으로 항해하는 특성을 고려하여, 개별적 이동노드(선박)를 대상으로 경로를 찾는 것이 아니라 정적 정보인 항로와 동적 정보인 선박을 복합적으로 활용하여 최단경로를 찾아내는 복합적 항로기반 라우팅(HCBR) 프로토콜을 제안하였다. 지리 정보를 이용하는 LAR 프로토콜과 성능 비교에서 경로 발견 시 제어패킷을 전혀 쓰지 않으면서 최단 경로를 훨씬 더 잘 찾아내는 특성을 실험적으로 파악하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.133-141
• /
• 2005

Digital contents can be distributed via internet without qualify defect and this will bring a great loss to the contents provider. Therefore, it is necessary to investigate on the key exchanging protocol to protect the digital contents effectively. In this study we propose the key exchanging protocol based on password to send the digital contents efficiently. The stability suggested here is based on the difficulty of the discrete algebra and Diffie-Hellman problem and also it provides a secure safety against various attacks such as a guess attack on the password.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04b
• /
• pp.1595-1598
• /
• 2002

최근 정보통신기술의 발달과 인터넷 이용의 폭발적인 성장에 따라 인터넷을 통한 전자 상거래가 새로운 경제 활동으로 등장과 동시에 off-line을 기반으로 하는 전자 상거래 시장이 급속한 성장을 하고 있다. 이에 따라 기존의 on-line 상의 전자 지불 방식을 보다 실용적인 off-line 상의 전자 지불 방식이 요구되고 있다. 전자 지불 방식의 하나인 전자 화폐는 효과적인 응용을 위해 실물 화폐와 유사한 여러 가지 성질을 갖고 있기는 하지만, 이러한 성질 중에서 사용자의 프라이버시를 보장하는 경우 발생하는 부정적인 문제 즉 돈 세탁, 약탈, 그리고 자금의 해외 유출의 용의 등을 문제점을 해결하기 위해 익명성 제어 익명성 취소 등의 다양한 프로토콜의 개발이 연구되고 있다. 이에 따라 본 논문에서는 off-line 상에서 전자상거래를 할 때 부정 사용자에 대한 사용자 추적, 즉 익명성 제어가 가능한 프로토콜을 제안한다. 제안한 프로토콜의 특징은 기존의 on-line 상의 시스템 구현의 효율성을 고려하여 RSA와 Hash 함수만을 사용하여 사용자 은닉이 가능하도록 하였으며, 또한 익명성 제어가 가능하지만 어느 기관 단독이 아는 은행과 인중기관이 협조 할 경우에만 추적이 가능하다.