• 대한전자공학회논문지TC
• /
• 제44권5호
• /
• pp.54-62
• /
• 2007

본 논문에서는 무선 메쉬 네트워크에서 사용자의 편의를 위하여 패스워드에 기반한 방식의 인증 프로토콜을 제안한다. 제안하는 프로토콜의 성능 분석을 위해서 GNY Logic 분석, Security 분석, 전송지연시간 분석을 하였다. 우선 GNY logic 분석을 통하여 프로토콜의 신뢰성을 증명하였으며, 다양한 공격에 대한 Security 분석을 통하여 인증 프로토콜이 여러 가지 공격에 대하여 강한 면모를 가지고 있는 것을 보였다. 또한 전송지연시간 분석으로 제안하는 인증 프로토콜이 무선 메쉬 네트워크 내에서 데이터 전송 지연에 큰 영향을 미치지 않음을 증명하기 위해 Linux 시스템에서 구현하여 전송지연시간을 측정하였다. 이러한 세 가지 분석 결과 제안하는 인증 프로토콜은 무선 메쉬 네트워크의 성능에 큰 영향을 미치지 않으면서도 안전한 무선 메쉬 네트워크 환경을 제공한다는 것을 보였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.466-468
• /
• 1998

인터넷의 발달과 멀티미디어 서비스에 대한 요구 확대는 분산 환경에서의 멀티미디어 서비스를 증대시키고 있다. 분산 환경에서의 멀티미디어 서비스를 지원하기 위해서는 각 시스템 사이에서 멀티미디어 데이터의 전송을 지원해 주는 멀티미디어 스트림에 대한 프로토콜이 필요하다. 이러한 멀티미디어 스트림 프로토콜은 첫째, 재생을 위해 요구되는 데이터를 적절히 공급하고, 둘째, 처리할 수 있는 속도 이상으로 데이터가 전송되는 것을 막아 데이터가 손실되는 것을 방지하기 위해서는, 시간을 적절히 고려하며 동작하여야 한다. 이처럼 복잡한 행위는 갖는 멀티미디어 스트림 프로토콜은 오류의 가능성이 기존의 프로그램보다 크기 때문에, 오류를 개발 초기에 인식, 수정하는 것이 중요하다. 본 연구에서는 정형적 명세 및 분석 도구인 SPIN을 멀티미디어 스트림 프로토콜의 개발에 적용, 프로토콜에 대한 명세 기술과 이에 대한 분석 및 검증을 지원하였다. 이러한 정형적 명세 및 분석 기법은 멀티미디어 스트림 프로토콜 개발 초기에 오류 인식을 가능케하여 요구되는 개발 노력을 감소시킬 수 있을 것이다.

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

이더넷 프로토콜을 분석하는 것은 다양한 프로토콜 사양을 정확하게 해석하고 프로토콜의 확장성이 고려되어야 한다. 본 논문에서는 XML의 DOM 기술을 이용하여 이더넷 프로토콜을 분석할 수 있는 파서를 제안한다. 제안된 파서는 이더넷을 이용하는 각종 프로토콜 사양을 쉽게 기술할 수 있는 틀을 제공하고, 새로운 프로토콜이 추가되면 XML 언어의 확장성을 이용하여 유지 및 보수에 드는 비용을 최소화 할 수 있는 장점이 있다. 본 논문에서는 XML을 이용한 이더넷 파서를 PDA상에서 무선 LAN 패킷을 분석할 수 있도록 Win CE 기반 개발에 사용되는 EVC++ 언어로 구현되었다.

• 대한전자공학회논문지TE
• /
• 제37권3호
• /
• pp.86-92
• /
• 2000

본 논문에서는 윈도우 환경에서 객체지향언어(Object-Oriented Programming)를 사용하여 LAN(Local Area Network) 기반의 TCP/IP(Transmission Control Protoco/Internet Protocol) 프로토콜을 분석할 수 있는 프로토콜 분석기를 개발하였다. TCP/IP 프로토콜 분석기는 윈도우 98/NT 환경에서 VC++ 6.0을 사용하여 프로토콜을 분석할 수 있도록 인터페이스 카드, 모니터 및 에뮬레이션 소프트웨어와 GUI(Graphic User Interface)를 개발하였다. 프로토콜 분석 소프트웨어는 네트워크에서 수집(capture)되는 정보를 실시간으로 분석할 수 있도록 실시간 객체(Real-Time Object)를 사용하였고, 모니터링 기능과 에뮬레이션 기능을 제공하도록 설계하였다. 성능시험 결과 LAN 기반에서 프레임 에러(frame error) 없이 TCP/[P 프로토콜 데이터를 실시간으로 수집하고 분석할 수 있음을 보였다. 본 연구에서 개발된 프로토콜 분석기는 기존의 프로토콜 분석기보다 안정적이고 다양한 결과를 보였으며, 통신 및 네트워크 분야의 개발용으로 사용될 수 있으므로 수입대체 효과를 가져 을 수 있다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2002년도 종합학술발표회논문집
• /
• pp.64-67
• /
• 2002

본 논문에서는 이동통신용 인증 및 키 교환 프로토콜을 분석하였다. Forward secrecy나 signcryption 성질을 만족하기 위해서 프로토콜의 변형이 필요하였고 이 때문에 원래의 보안요구사항이 훼손되지도 않았다. 또한, 클라이언트의 연산능력을 고려한 최근에 제안된 프로토콜에 관해서도 연구하여 연산량과 통신 오버헤드 관점에서 기존의 프로토콜보다 우수함이 분석되었다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2001년도 춘계학술발표논문집
• /
• pp.471-476
• /
• 2001

본 논문에서는 Y. Watanabe et al.에 의해 제안된 서명부가문서를 이용한 부정자 추적기법을 분석하여 PKI(Public Key Infrastructure)기반에서 구현 가능하도록 프로토콜을 재구성하고, 그 안전성을 분석한다. 그리고 변형된 Signcryption을 이용한 프로토콜을 제안하여 기존의 유사 프로토콜과 비교·분석하여 제안된 프로토콜이 더욱 효율적임을 보인다.

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

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (3)
• /
• pp.46-48
• /
• 2004

무선 이동 시스템을 기반으로 안전한 키 교환 및 사용자 인증을 위한 다양한 보안 프로토콜이 제시되고 있다. 무선 이동 시스템 기반 보안프로토콜은 유선기반 보안프로토콜과 다르게 공개키와 대칭키가 혼합된 암호화 방식을 사용하고 있다. 본 논문에서는 이동 시스템 환경에서 동작하는 BCY 프로토콜의 안전성을 분석하기 위한 기술에 대해 언급하고, Casper/CSP 언어 및 FDR 도구를 이용하여 보안 취약성을 분석하고자 하였다.

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

BAN 논리와 같은 논리를 사용한 암호학적 프로토콜의 형식적 검증 방식은 프로토콜들의 다양한 결점들을 분석할 수 있다. 그러나 BAN 논리와 BAN의 확장된 논리들은 명시적 가정과 목적을 통해 프로토콜의 목적 성취 유무만을 추론할 수 있다. 본 논문에서는 기존의 논리들을 비교 분석하여 메시지 의미를 추론하는 규칙에 대한 정확한 해석에 대해 살펴본다. 그리고 암호학적 프로토콜의 보안 요구사항 중 하나인 메시지 무결성(message integrity)을 논리(logic) 범위에서 추론할 수 있는 방법을 제안한다.

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

인터넷의 비약적인 발전과 더불어, 인터넷을 활용한 각종 온라인 서비스가 활성화되어 가고 있는 추세이다. 온라인 쇼핑몰, 온라인 뱅킹과 같은 전자 상거래 서비스는 이용자와 서비스 제공자간의 상호 신뢰를 기반으로 동작해야만 하는 서비스이다. 해당 서비스에 대한 적합한 사용자를 인증하고 인가하기 위한 다양한 인증 프로토콜(EKE, S/KEY, Kerberos 등)에 대한 다양한 연구가 진행되어 오고 있다. 본 논문에서는 FDR, Casper과 같은 보안 프로토콜 분석 및 검증 도구를 이용하여 SSH 프로토콜의 위험성을 분석하여 보안 프로토콜의 안전성을 향상시키고자 한다.