• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.811-813
• /
• 2004

IPv6는 IPv4 기반의 인터넷의 주소고갈과 새로운 부가 기능 등의 필요성 때문에 IETF에서 IPv4를 대체하기 위해 채택 된 프로토콜이다. 하지만 IPv4를 어느 한순간에 IPv6로 대체하는 것은 불가능하기 때문에 기존 IPv4와의 호환 및 연동을 위한 여러 메커니즘이 연구되었다. 그 중 NAT-PT(Network Address Translation-Protocol Translation)는 IPv4/IPv6 헤더 변환기술을 적용한 대표적인 변환 메커니즘이며, IP 패킷을 통과하는 망의 IP버전에 맞게 변환 시켜서 전송하는 방식이다. 그러나 모든 패킷들이 하나의 NAT-PT 노드로 집중되므로 병목현상이 발생하며, 이로 인해 성능저하가 발생한다. 본 논문은 NAT-PT 병목현상을 줄이기 위한 방안으로 DNS-ALG 기반된 서버를 이용하여 다중 NAT-PT를 사용한 방법을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.535-537
• /
• 2001

IPv6 초기 도입단계에서는 IPv4와 IPv6 (Internet protocol version 6)의 혼용이 예상됨에 따라 초기 IPv6 네트워크는 기존 IPv4와의 연동 및 호환을 위해 트랜지션 (transition) 메커니즘과 상호공존 (coexistence mechanism) 메커니즘을 필요로 한다. 이를 위해 다양한 트랜지션 메커니즘들이 제안되고 있는데 크게 터널링 (tunneling)과 변환 (translation) 방식으로 구분할 수 있다. 본 논문은 이러한 메커니즘 중에서 터널링을 이용한 DSTM (dual stack transition mechanism)을 분석한 후 제안된 DSTM의 각 연결별 임시 IPv4 주소할당에 대한 비합리적인 문제점을 개선한 모델을 제시하였다. 본 논문예서 제안한 모델은 기존의 NAT (network address translation) 방식과 유사하게 단일 IPv4 주소와 포트 넘버를 이용하여 각 연결을 식별할 수 있도록 한다. 그리고 DSTM 시스템 구현을 위한 효율적인 알고리즘 설계를 통해 IPv4 패킷을 IPv6 패킷으로 캡슐화 (encapsulation)하여 전송할 수 있는 인터페이스를 구현하여 결과를 분석하였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(2)
• /
• pp.353-356
• /
• 2002

Due to the increased complexity and size of digital system and the need of the H/W-S/W co-design, C/C++ based system design methodology gains more Interests than ever in EDA field. This paper suggests the methodology in which handshake module corresponding to each basic statement of C is provided of the form of STG(Signal Transition Graph) and then, C statements is synthesized into asynchronous circuit through syntax-oriented translation. The 4-phase handshaking protocol is used for the communications between modules, and the modules are synthesized by the Petrify which is asynchronous logic synthesis CAD tool.

• 한국통신학회논문지
• /
• 제28권3B호
• /
• pp.217-223
• /
• 2003

인터넷을 기반으로 하는 정보방송 서비스가 널리 확대되고 있으나, 인터넷 프로토콜 고유의 한계로 인해 사용상에 제한이 있다. 본 논문에서는 기지국에 IP 주소변환 기능을 도입한 억세스망에서의 인터넷 방송 기술이 제안되었다. 수신기에 IP 주소가 할당되지 않아도 되며, 사전에 서버의 주소를 몰라도 정보를 수신할 수 있으며, 서버의 부하나 통신망 트래픽이 대폭 감소되는 장점이 있다. 본 기술은 특히 무선 인터넷 지역방송에 매우 적합하다.

• 한국컴퓨터정보학회논문지
• /
• 제6권2호
• /
• pp.116-122
• /
• 2001

기존의 멀티캐스트 보안 프로토콜은 DVMRP, CBT와 같이 비교적 규모가 큰 라우팅 프로토콜에 적합하도록 설계되어 있어서 사용자가 비교적 적고 호스트들간의 지역적인거리가 멀고 최단경로 라우팅 특성을 가지는 PIM-SM(Protocol Independent Multicast-Sparse Mode) 라우팅 프로토콜을 지원하는데 무리가 있다. 본 연구에서는 모든사용자간의 가입/탈퇴시 또는 서비스 사용 중에 사용자의 정당한 서비스 보호를 위해 서브그룹을 RP단위로 나누고, 송신자만의 비밀키를 따로 관리하는 보안 구조를 설계하였다. 그결과 데이터 전송 시 그룹 키에 의한 자료 변환 작업이 불필요하여 키 분배시간이 단축되고, 다른 보안 구조에 비해 구조가 보다 간단해졌다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권1호
• /
• pp.58-67
• /
• 2000

엔터프라이즈 네트웍의 크기가 커지고 그 관리 범위가 넓어짐에 따라 분산 망 관리 시스템의 수용을 요구하게 되었고 또한 표준 프레임웍들간의 상호 연결 및 작용이 필요하게 되었다. 이 논문에서는 네트웍 관리 프레임웍인 SNMP도메인과 분산 객체 기술의 하나인 CORBA도메인간의 통합 관리를 위한 구현 방안을 제시한다. 표준에서 사용하는 직접 변환은 객체 지향적인 특성을 표현하고 있지 않으며, action을 위한 속성의 정의가 다른 속성과 구별되지 않는 등의 한계를 지니고 있다. 이러한 한계점은 추상적 변환 방법을 통해 새로운 클래스의 정의, 명확한 메쏘드 정의라는 방법으로 충분히 극복될 수 있다. 직접 변환의 편리함과 추상적 변환의 효율적인 관리 정보의 구축이라는 장점을 이용한 직접 변환과 추상적 변환의 혼용을 통한 정보 모델 변환 방법을 이용한 게이트웨이의 개발 방법을 제시한다. 이러한 통합 관리 시스템 구축은 CORBA/SNMP 간의 효율적인 통합 관리를 제공한다.

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

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

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.1545-1549
• /
• 2005

According as computer is supplied in a lot of homes and offices and Internet use increases, various service based on the Internet. Including wireless PDA in the future, many devices such as Internet telephone, TV, refrigerator and oven will be connected on the Internet and Internet address exhaustion will be raised to serious problem gradually. Today, the IPv4 address exhaustion problem has been solved partially using NAT (Network Address Translation) however, the transition to next Generation Internet will be accelerated because of advantages such as mobility, security service, QoS, and abundant IP addresses. In IPv6, all hosts are designed to create and set their address automatically without manager's intervention using Neighbor Discovery Protocol. But, when an IPv6 host sets its address automatically, there are serious security vulnerabilities. In this paper, we analysis security vulnerabilities in auto-configuration and provide security requirements for secure auto-configuration.

• 한국정보처리학회논문지
• /
• 제6권10호
• /
• pp.2740-2751
• /
• 1999

Critical to more widespread use of Internet telephony are the smooth interoperability with the existing telephone network and the improved quality of voice connections. Of these requirements, this interoperability comes through the use of Internet Telephony Gateway's which perform protocol translation between an IP network and the Public Switched Telephone Network. In this paper, we have focused on the necessity and possibility of interoperability, and furthermore derives the necessary requirements for interoperability between IP networks and PSTN. For this purpose, we have analyzed the signaling protocols for gateway system. Then, we have modelled the inter-working part using the Petri-Net model. Through reachability trees of the Petri-Net model, we have confirmed that interoperability is possible, and that characteristics of deadlock, liveness, and boundness are satisfied.

• 한국멀티미디어학회논문지
• /
• 제1권1호
• /
• pp.109-119
• /
• 1998

본 논문은 형식기술기법으로 기술된 차세대지능망 응용프로토콜(INAP: Intelligent Network Application Protocool)로부터 추상시험스위트 (Abstract Test Suite) 자동생성에 대한 연구 결과를 기술한다. 시험 자동생성을 위해 RCP tour(Rural Chinese Postman tour) 개념과 UIO 시퀀스 (UIO:Unique Input Output Sequence) 개념을 응용하였다. SDL(System Description Language) 형식기술 기법으로 명세화된 INAP명세로부터 생성한 I/O FSM(Input/Output Finite State Machine)을 중간모델로 하여 UIO 시퀀스를 정의하고, 정의된 UIO 시퀀스를 RCP tour 개념과 결합하여 최적의 시험 시퀀스를 생성하였다. 본 논문에서는 또, 생성된 시험 스위트의 오류커버영역 예측방법을 제시하고, 마지막으로 표준화된 시험 표기법인 TTCN(Tree and Tabular Combined Notation)으로 생성된 시험스위트의 변환방법도 제시한다.