56
Wireless LAN Security Protocols - A tutorial 윤종호 한국항공대

Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Wireless LAN Security Protocols- A tutorial

윤종호한국항공대

Page 2: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Biograph• 윤종호 교수

• 한국과학기술원 전기 및 전자공학과 졸업(공학박사)

• 한국항공대학교 항공전자정보통신공학부 교수

• 주요활동

– 1995 ~ 1996 : U. of Arizona 방문교수– 1996 ~ 1998 : 한국항공대학교 전자계산소 소장– 1991 ~ 현재 : OSIA LAN-TG 의장– 2001 ~ 현재 : 한국이더넷포럼 부의장– 2003 ~ 현재 : IEEE802.3 Voting Member

• 유무선통신망 설계 및 성능분석 연구

Page 3: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Pre-Robust Secure Network

Page 4: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Open System 인증방식

Page 5: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Shared-Key 인증방식

Page 6: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

암호화된 데이터 메시지 상세

Page 7: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

802.1x/EAP/LEAP

Page 8: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP 인증 프로토콜

Page 9: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

802.1x 시스템의 구성과 동작

EAP-MD5의 경우

Page 10: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

기존 무선LAN 인증방법과 EAP인증방법의 비교

Page 11: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP 패킷 형식

Page 12: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP-MD5인증방식의 문제점

Page 13: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Lightweight EAP(LEAP)* – Old cisco AP

Page 14: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

IEEE802.11i

Page 15: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Robust Secure Network(RSN)의암호방식 및 인증방식

Page 16: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

무선 LAN의 보안 방법 비교

Page 17: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

802.11i 동작절차 개요

Page 18: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

802.1x/EAP 계층구조

Page 19: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

WPA-EAP: 상호인증 및 키 확보 절차

Page 20: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

WPA-EAP: 키 관리 및 그룹키 분배절차

• AP와 STA간 무선링크 보호용 암호키의 확보여부 검증

• 그룹키 분배. • 4-way handshaking

Page 21: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

4-way 핸드쉐이킹절차(1)

Page 22: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

4-way 핸드쉐이킹 절차(2)

Page 23: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

WPA-PSK : 키 관리 및 그룹키 분배절차

Page 24: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

802.11i의 불법 AP 공격 탐지 절차의 예

Page 25: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP-TLS/-TTLS

Page 26: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

TLS기반의 상호 인증방식

Page 27: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Recall : TLS의 기본 동작절차

Page 28: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP-TLS 인증방식

Page 29: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP-TLS 인증절차 (1)

Page 30: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP-TLS 인증절차 (2)

서버인증

*TEK=Transient EAP Key

Page 31: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP-TLS 패킷의 예(Client Hello,Server Hello)

Page 32: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

간략한 TTLS/EAP-MD5-Challenge 인증절차(1)

Page 33: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

간략한 TTLS/EAP-MD5-Challenge 인증절차(2)

Page 34: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP-TTLS 계층구조*

Page 35: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP-TTLS 패킷 형식*

Page 36: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Tunneled TLS 인증방식의 공통적인 문제점(1)

Page 37: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Tunneled TLS 인증방식의 공통적인 문제점(2)

Page 38: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

해결책 : CryptoBinding 사용

• 2단계의 키

– outer session key : 단계 1의 TLS연결 설정시 사용한 TLS_master_secret(TMS)

– inner session key(ISK) : 단계 2에서 사용자 인증시 사용된 사용자 패스워드

• 2단계의 키 결합 CMK,CSK생성

– Compound MAC Key(CMK)• 무결성 검증용 키

• 각각 20바이트 길이의 CMK_B1[20]와 CMK_B2[20]으로 구성됨.– Compound Session Key(CSK)

• 무선구간 암호전송용 키

• 128바이트

Page 39: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Crypto-Binding 절차에 의한 키 분배 절차(1)

Page 40: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Crypto-Binding 절차에 의한 키 분배 절차(2)

Page 41: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Crypto-Binding절차*

Page 42: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Crypto-Binding절차에 의한 불법 AP문제점 해결의 예

Page 43: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Crypto-Binding절차에 의한 불법 AP문제점 해결의 예(계속)

Page 44: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

AP/단말설정*

Page 45: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Protected EAP/EAP-FAST

Page 46: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

Recall: TLS기반의 상호 인증방식

Page 47: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

PEAP-MS-CHAPv2의 동작절차(1)

Page 48: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

PEAP-MS-CHAPv2의 동작절차(2)

Page 49: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

PEAP-MS-CHAPv2설정*

• 단말설정

Page 50: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP-FAST 프로토콜

• EAP-Flexible Authentication via Secure Tunneling • Cisco• No Certificate required

• EAP(EAP-Cisco)의 개량형

• 단말과 인증서버간에 설정된 패스워드인Protected Access Credential (PAC)키 사용

Page 51: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

PAC의 구성

Q.어떻게 단말이 이것을 확보하는가?

Page 52: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP-FAST 동작절차 상세(1)

Page 53: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP-FAST 동작절차 상세(2)

Page 54: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP-FAST 동작절차 상세(3)

Page 55: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

EAP-FAST 계층구조*

Page 56: Wireless LAN Security Protocols -A tutorialold.hsn.or.kr/workshop/hsn2006/document/2.22.Wed/Special... · 2014-04-03 · Biograph • 윤종호교수 • 한국과학기술원전기및전자공학과졸업(공학박사)

끝.