• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2001년도 춘계학술대회 논문집
• /
• pp.586-589
• /
• 2001

This paper focuses on a method to connect mobile devices such as mobile robot, Automated Guided Vehicle(AGV) to a fieldbus. In this paper, the IEEE 802.11 wireless LAN is used to extend a Profibus-DP network for the mobile devices. In order to integrate these two networks, a protocol converter is developed with two process(i.e., master process of Profibus-DP and virtual master process of IEEE 802.11) and an transmission buffer. Futhermore, a virtual polling algorithm is developed at the protocol conveter in order to satisfy real-time requirements on data communication.

• 한국통신학회논문지
• /
• 제22권9호
• /
• pp.1854-1866
• /
• 1997

본 논문에서는 기존의 UIO순열을 이용하는 방법을 개선하여 비결정적 유한상태기계에서 시험 경우를 생성하는 방법에 대해서 소개하였으며, 시험 경우의 자동생성을 위해서 필수적인 사항인 적합성 관계의 형식적인 정의를 새롭게 정의하였다. 또한 프로토콜의 비결정적인 성질 때문에 시험기는 한 입력을 가했을 때 어떤 출력을 낼지 미리 시험기의 입장에서 알 수 없으므로 적응력있는 시험을 위해서 트리형태의 시험 경우를 생성하는 방법을 소개하였고 시험 경우를 입력과 출력을 분리해서 고려함으로써 시험 경우 기술 언어인 TTCN으로의 변환을 쉽게 하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.1671-1674
• /
• 2005

PCI 2.2 마스터 디바이스가 타겟 디바이스로부터 데이터를 읽어 오고자 할 때 타겟 장치는 내부적으로 데이터를 준비해야 함으로 인해 PCI 버스가 데이터 전송 없이 점유되는 상황이 발생한다. 이를 위해 PCI 2.2 사양에서는 지연전송을 제안하여 전송 효율을 향상시켰지만 이 역시 타겟 디바이스가 얼마의 데이터를 미리 준비 해둘지를 알 수 없어 인해 버스 사용 및 데이터 전송 효율을 떨어뜨리는 원인을 제공한다. 본 논문에서는 먼저 이를 해결하기 위한 새로운 방법을 제안한다. 그리고 이 방법을 지원하는 PCI 타겟 컨트롤러와 로컬 디바이스를 설계하였다. 설계되어진 PCI 타겟 컨트롤러는 PCI 2.2를 전혀 모르는 사용자도 쉽게 PCI 인터페이스를 지원할 수 있도록 한 프로토콜 변환기로 사용될 수 있다. PCI 타겟 컨트롤러와 로컬 디바이스는 먼저 행위 모델로 설계하였으며 또한 이들을 검증하기 위한 테스트벤치를 설계 하였다. 이를 통해 제안되어진 방법의 성능을 측정하였으며 후에 다시 실제 하드웨어로 설계하였다. 설계되어진 하드웨어를 효과적으로 검증하기 위해 참조모델, 랜덤발생기, 비교엔진으로 구성된 랜덤 테스트 환경을 제안하였다. 이 검증 환경에서 수행된 결과를 비교함으로써 일반적인 테스트 벡터에서 발견하기 어려운 에러들을 발견할 수 있었다.

• 한국통신학회논문지
• /
• 제30권6B호
• /
• pp.355-368
• /
• 2005

가정 내 디지털 정보 가전들 간에 데이터를 주고받을 수 있는 통로를 제공하고 동시에 외부 인터넷 망과의 접속을 통해 방송 콘텐츠를 서비스하는 방송통신 융합형 홈 네트워크에 관한 연구가 활발히 진행되고 있다. 본 논문에서는 방송통신 융합을 지원하는 홈 네트워크에서 다수의 이기종 단말로 멀티미디어 서비스를 효과적으로 분배할 수 있는 홈 게이트웨이의 구조를 제시한다. 제안한 홈 게이트웨이는 다양한 프로토콜을 지원하여 상호 통신 가능하게 하는 게이트웨이 기능과, 콘텐츠를 중개하는 미디어 서버기능, 그리고 콘텐츠를 변환해주는 미디어 변환기로서의 역할을 수행 한다. 홈 네트워크 내의 다양한 멀티미디어 전송 시나리오에서 제안한 홈 게이트웨이의 역할을 살펴보고 실효성을 판단한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.1112-1115
• /
• 2008

인터넷으로 대표되는 정보통신망 및 컴퓨터를 이용한 개인 정보 수집과 활용이 일반화됨에 따라 수집된 개인정보의 불법적인 접근 유출 사례가 증가하고 있다. 현재의 개인정보 이용 환경은 데이터 접근 시 사용자의 질의 내용과 그에 대한 결과가 그대로 노출되어 사용자의 프라이버시를 침해하는 문제를 안고 있다. 본 논문에서는 데이터베이스에서 개인정보보호를 위해 접근제어 정책 기반 쿼리 처리시스템인 보안 게이트웨이를 설계하고 구현한다. 이 시스템은 클라이언트가 TDS 프로토콜을 이용하여 DBMS에 접근해 정보를 요청할 때 보안 정책을 반영함으로써 단순한 차단은 물론 변환된 쿼리 응답을 한다. 본 시스템은 불법적인 접근에 대한 제어는 물론이고, 정당한 인증자의 실수나 고의적인 개인정보 유출로 인한 경제적, 사회적 손실을 방지할 수 있다. 또한 주민등록번호 등 보안 대상 정보를 제외한 기타 정보에 대한 접근을 허용함으로써 데이터베이스 가용성을 보장한다.

• 한국정보처리학회논문지
• /
• 제5권3호
• /
• pp.741-750
• /
• 1998

본 논문에서는 형식 기법을 이용하여 차세대 지능망 응용 프로토콜(INAP:Intelligent Network Application Protocool)적합성 시험 스위트를 생성하는 방법 및 IUT(Implenentation Under Test)시뮬레이터를 구축하여 시험을 수행함으로써 시험 스위트를 검증하는 방법에 관해 기술한다. SDL(Specification and Description Language)과 같은 형식 언어를 사용하여 INAP FSM(Finite State Machine)을 모델링하고 MSC(Message Sequence Chart)로 시험 목적을 기술한다. 기술된 FSM모델과 시험 목적을 검증하기 위해 모의 시험을 거치며, 검증이 완료된 후 시험 스위트로 변환이 된다. 형식 기법을 이용하여 INAP규격을 정확하게 기술할 수 있을 뿐 아니라 시험 스위트를 자동으로 생성함으로써 시간과 비용을 절감할 수 있다. 또한 생성된 시험 스위트를 시험기에 탑재하여 IUT시뮬레이터를 대상으로 시험을 수행함으로써 시험 스위트를 검증할 수 있는 방안을 제시하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.816-817
• /
• 2008

본 논문은 제주 택시 텔레매틱스 시스템에 축적되고 있는 택시들의 실제 이동 히스토리 정보를 이용하여 노변-차량 네트워크를 설계하는데 필요한 통신 분석기를 구현한다. 구현된 분석기는 지도처리, 좌표변환, 거리 환산 등 기본적인 사용자 인터페이스와 함께, DSRC 프로토콜에 따르는 전송 거리 등과 같이 노변-차량 통신에 있어서의 분석에 필요한 환경인자를 설정할 수 있다. 히스토리에 포함된 이동객체 위치 정보를 기반으로 현재의 RSU 배치에 대해 연결성을 계산함은 물론 각 객체의 시간적인 이동에 따라 객체들이 RSU에 연결되는 시간과 연결이 불가능한 시간 간격 등을 측정하여 현재의 배치가 시스템의 요구사항에 부합하는지 결정할 수 있다. 결국, 본 시스템은 RSU 들간의 연결성을 실제 데이터를 기반으로 분석할 수 있도록 하여 설계자로 하여금 효율적인 RSU 배치, 연결성 예측, 추후계획 등을 가능하게 한다.

• 정보보호학회논문지
• /
• 제12권1호
• /
• pp.33-42
• /
• 2002

본 논문에서는 약한 키를 가지는 대화식 영지식 증명을 이용한 인증 프로토콜의 안전성을 강화하는 방법을 제시한다. 일반적으로 대화식 영지식 증명을 이용한 인증 프로토콜은 충분히 길고 랜덤한 비밀키를 가정하고 그 비밀키에 대한 영지식 증명을 수행하게 된다. 하지만 때에 따라서 충분히 길지 않거나 랜덤하지 않은 비밀키가 선택될 수 있다. 즉, 좋지 않은 난수 발생기를 써야 하는 경우, 또는 패스워드처럼 의도적으로 약한 키를 사용하는 경우가 생기며, 대화식 영지식 증명은 이에 적합하지 않다고 알려져 있다. 본 논문에서는 비밀 동전 던지기(Secret Coin Tossing)라는 개념을 제시해서, 일반적인 영지식 증명을 이용한 인증 프로토콜을 약한 키를 가지는 영지식 증명 기반 인증 프로토콜로 쉽게 변환할 수 있는 프레임웍을 제안한다. 또한, 이 프레임웍을 이용해서 설계된 인증 프로토롤이 ideal cipher mode에서 안전함을 보인다.

• 한국정보통신학회논문지
• /
• 제15권5호
• /
• pp.1053-1059
• /
• 2011

DMX512 프로토콜은 LED 조명을 제어하는 대표적인 프로토콜로서, 간단하면서도 여러 분야에서 사용되고 있다. 이를 이용한 LED 제어 시스템의 경우 유선으로 연결함으로써, 많은 케이블이 필요하다는 한계를 가지고 있다. 무대 조명과 같이 복잡한 시스템의 경우, 유선 연결을 사용하여 구현하거나 유지 보수를 하기가 매우 어려우므로 무선으로 LED 조명을 개별로 제어할 수 있는 시스템이 필요하다. 이에 본 논문에서는 다수의 LED 조명에 대한 구성과 이동성을 용이하도록 하기 위해, 센서 기능이 내장된 LED 조명을 기존의 WLAN 환경에 연동하기 위해 필요한 WLAN-ZigBee 변환기를 구현하고 이를 통해 컬러 LED를 제어하는 시스템을 제안한다. 그리고 실험을 통해 이종 네트워크가 혼용된 환경에서 이 시스템의 처리 성능을 평가하였다.

• 정보보호학회논문지
• /
• 제19권5호
• /
• pp.105-118
• /
• 2009

현대사회는 IT 기술의 급속한 발달과 초고속망을 통한 인터넷 및 컴퓨터의 보급으로 인해 정보사회라는 새로운 문화적 변환기를 맞이하고 있으며, 다양한 서비스 및 디바이스의 발전을 가져오고 있다. 그러나 보안 측면에서 고려해야 할 요구사항은 더욱 복잡해지고 다양화되고 있으며, 기존의 매체나 프로토콜이 갖고 있는 보안 취약성을 그대로 내포하게 된다. 유비쿼터스 오피스 네트워크 환경에서 이동성을 제공하는 디바이스는 상대적으로 컴퓨팅 능력이 낮아 기존에 개발된 보안 기능의 탑재가 어려우므로 단말 해킹, 바이러스 공격, 정보유출 등 다양한 공격이 시도될 가능성이 높다고 할 수 있다. 이에 대한 대책으로 제안된 PKI 인증 기술은 유비쿼터스 오피스 네트워크 서비스 제공 구조인 멀티도메인 환경에 적용하기에 적합하지 않으며, 변형된 인증체계 개발이 필요하다. 따라서 본 논문에서는 아이디 기반 공개키 방식 및 인가 티켓을 이용하여 안전하고 효율적인 로밍과 Main 디바이스 인증/인가 기술 및 Sub 디바이스 티켓을 이용한 인증/인가 기술에 관한 연구를 통하여 안전성과 효율성을 제공할 수 있다.