An ninh mạng máy tính - Bài 6: Xác thực danh tính
Xác thực danh tính là tạo ra liên kết giữa định danh và đối
tượng, thực thể: 2 bước
Chủ thể cung cấp một định danh trong hệ thống
Chủ thể cung cấp thông tin xác thực có thể chứng minh sự liên kết
giữa định danh và chủ thể
• Các phương pháp xác thực chính:
Cái chủ thể biết (What the entity knows)
Cái chủ thể có (What the entity has)
Chủ thể là gì (What the entity is)
Vị trí của chủ thể (Where the entity is)
• Xác thực đa yếu tố: sử dụng >1 yếu tố xác thực

Trang 1

Trang 2

Trang 3

Trang 4

Trang 5

Trang 6

Trang 7

Trang 8

Trang 9

Trang 10
Tải về để xem bản đầy đủ
Bạn đang xem 10 trang mẫu của tài liệu "An ninh mạng máy tính - Bài 6: Xác thực danh tính", để tải tài liệu gốc về máy hãy click vào nút Download ở trên
Tóm tắt nội dung tài liệu: An ninh mạng máy tính - Bài 6: Xác thực danh tính
1BÀI 6.
XÁC THỰC DANH TÍNH
Bùi Trọng Tùng,
Viện Công nghệ thông tin và Truyền thông,
Đại học Bách khoa Hà Nội
1
Nội dung
• Khái niệm chung
• Xác thực dựa trên mật khẩu
• Các giao thức xác thực dựa trên mật khẩu
• Giao thức zero-knowledge
• Giới thiệu một số phương pháp xác thực khác
2
1
2
21. KHÁI NIỆM CHUNG
3
Xác thực danh tính là gì?
• Xác thực danh tính là tạo ra liên kết giữa định danh và đối
tượng, thực thể: 2 bước
Chủ thể cung cấp một định danh trong hệ thống
Chủ thể cung cấp thông tin xác thực có thể chứng minh sự liên kết
giữa định danh và chủ thể
• Các phương pháp xác thực chính:
Cái chủ thể biết (What the entity knows)
Cái chủ thể có (What the entity has)
Chủ thể là gì (What the entity is)
Vị trí của chủ thể (Where the entity is)
• Xác thực đa yếu tố: sử dụng >1 yếu tố xác thực
4
3
4
3Các thành phần của hệ xác thực
• A: Tập các thông tin đặc trưng mà chủ thể sử dụng để
chứng minh định danh của anh ta
• C: Tập các thông tin mà hệ thống lưu trữ và sử dụng để
xác minh sự đúng đắn của thông tin trong tập A
• F: Tập các hàm sinh C từ A
∈ , : →
• L: Tập các hàm xác thực
∈ , : × → { , }
• S: Tập các hàm lựa chọn cho phép các thực thể tạo hoặc
thay thế các thông tin trong A và C
5
Một ví dụ - Hệ xác thực bằng mật khẩu
• Hệ xác thực mật khẩu, giả sử mật khẩu lưu dưới
dạng rõ
A: tập các chuỗi ký tự được chấp nhận là mật khẩu
C = A
F: hàm đồng nhất thức I
L: hàm so sánh =
S: hàm thiết lập, thay đổi mật khẩu
6
5
6
42. HỆ XÁC THỰC BẰNG MẬT KHẨU
7
2. Hệ xác thực bằng mật khẩu
• Mật khẩu: một chuỗi ký tự hoặc một nhóm từ được sử
dụng để xác thực danh tính của thực thể nào đó
Thực thể(Entity) cần xác thực (người dùng, thiết bị, ứng dụng...)
Người thẩm tra(Verifier): kiểm tra tính hợp lệ của mật khẩu
• Một số điểm yếu trên hệ thống xác thực bằng mật khẩu:
Lưu trữ mật khẩu trong CSDL không an toàn
Truyền mật khẩu trên kênh không an toàn
Người dùng không cẩn trọng:
Sử dụng mật khẩu yếu
Ghi chép mật khẩu vào văn bản
Chia sẻ mật khẩu cho người khác (vô tình hoặc cố ý)
Nhưng
8
7
8
5Không đổ lỗi cho người dùng
• Thông thường, chúng ta thường đổ lỗi cho người dùng
khi họ sơ ý bị kẻ tấn công khai thác
• Chúng ta cần xây dựng hệ thống có khả năng hỗ trợ
người dùng không hành động sai
• Ví dụ, thư giả mạo (phising email)
9
Người dùng có thể bị đánh cắp tài khoản
như thế nào?
• Con người không thể nhớ được nhiều mật khẩu được
cho là “mạnh”
10
9
10
6Người dùng có thể bị đánh cắp tài khoản
như thế nào?
• Vì vậy, người dùng thường dùng lại mật khẩu cho các tài
khoản khác nhau
Với hy vọng sẽ không xảy ra điều gì tồi tệ
• Khi một trong những tài khoản bị lộ?
Kẻ tấn công có mật khẩu của người dùng
Và đăng nhập vào các tài khoản khác
• Thực tế: Hacker đã thử tấn công đánh cắp các tài khoản
vận hành mạng lưới điện của Mỹ theo hướng tiếp cận
này
Gửi email giả mạo chia sẻ tài liệu Dropbox
Tấn công vào website có yêu cầu xác thực người dùng
11
Giải pháp cho người dùng
• Phần mềm quản lý mật khẩu: Password Manager.
Ví dụ: KeePassX, 1password
Có thể tạo ra các mật khẩu “mạnh” và quản lý tài khoản sử dụng
mật khẩu này
Người dùng chỉ cần nhớ 1 mật khẩu (Master Password) để mở
“kho mật khẩu”
• Thẻ xác thực 2 yếu tố U2F Security Keys
Người dùng cần kết nối thẻ này với máy tính khi đăng nhập
Có khả năng giảm thiểu nguy cơ bị tấn công phishing
• Kích hoạt tùy chọn xác thực hai yếu tố (2FA) trên các hệ
thống dịch vụ
12
11
12
7Lưu trữ mật khẩu
• Lưu mật khẩu dưới dạng rõ:
Nguy cơ mất an toàn cao nhất
• Lưu mật khẩu dưới dạng bản mã:
An toàn khi sử dụng hệ mật mã tốt, bảo vệ khóa giải mã an toàn
Hạn chế: cần thao tác giải mã bất cứ khi nào cần xác thực
• Lưu mật khẩu dưới dạng mã băm:
Chi phí thấp hơn
Hạn chế: nguy cơ bị tấn công dò đoán dựa trên từ điển. Có thể hạn
chế bằng cách đưa thêm “salt” vào mật khẩu trước khi băm
• Sử dụng máy chủ lưu trữ:
Giải pháp 1: Người thẩm tra yêu cầu máy chủ chuyển mật khẩu để
xác thực
Giải pháp 2: Người thẩm tra đưa cho máy chủ thông tin người
dùng. Máy chủ xác thực và thông báo lại kết quả
13
Tấn công vào hệ xác thực bằng mật khẩu
• Tấn công thụ động: nghe lén, quan sát quá trình nhập
mật khẩu
Nhìn trộm
Sử dụng chương trình key logging
Tấn công kênh bên
Chặn bắt gói tin
• Tấn công chủ động:
Giải mạo chương trình cung cấp dịch vụ (server)
Giả mạo chương trình khách (client)
Tấn công man-in-the-middle
Tấn công vào máy chủ vật lý cung cấp dịch vụ
14
13
14
8Tấn công dạng online
• Kẻ tấn công biết tập hàm xác thực L
• Mục đích: dò thử lần lượt các mật khẩu dựa trên kết quả
xác thực hệ thống trả lại
• Đặc điểm:
Tương tác trực tiếp với hệ xác thực
Có thể thử trên 1 hoặc đồng thời nhiều tài khoản
• Xác suất tấn công thành công: ≥ ( × )/
G: Tốc độ kẻ tấn công dò thử
T: Thời gian kẻ tấn công dò thử
N: Số mật khẩu hệ thống có thể tạo ra
Giảm thiểu:
Tăng độ dài của mật khẩu
Quy định số lần thử xác thực tối đa trong một khoảng thời gian
15
Tấn công dạng off-line
• Kẻ tấn công biết:
Tập thông tin C hệ thống dùng để xác thực
Tập các hàm biến đổi F
• Mục tiêu: tìm các thông tin ∈
• Đặc điểm: không tương tác với hệ xác thực
• Ví dụ: kẻ tấn công biết có cơ sở dữ liệu chứa mã băm
của mật khẩu và hàm băm sử dụng
• Nguy cơ: người dùng sử dụng các mật khẩu dễ đoán, kẻ
tấn công có một bộ từ điển chưa mã băm tương ứng
• Giảm thiểu nguy cơ: Hash(Password, Salt)
16
15
16
9Băm mật khẩu với “salt”
• Lưu trữ [salt,Hash(password || salt)
• Ví dụ: Hệ điều hành Linux
• Lưu trữ trong CSDL
17
bkcs:$1$J54g/weK$aAVR2Nd6opPl9kcUuTTgk.:17422:0:99999:7:::
username salt hash
algorithm
1: MD5-based
2: Blowfish
5: SHA-256
6: SHA-512
Lần cuối thay đổi(tính từ ngày 1/1/1970)
Số ngày tối thiểu trước khi đổi
Số ngày tối đa trước khi đổi
Số ngày trước khi hết hạn sẽ cảnh báo
Ngày hết hạn (tính từ 1/1/1970)
username salt hash
levn iU9KjTeD 5myyo4W7zppTOEdVUeP8/E6Km
tungbt r.PhJ0HG Y.xOpTBqJbWpc3f0uri.g8ErCu4wIiUGq
Băm mật khẩu với “salt” – Nâng cao an toàn
• Kẻ tấn công có thể tạo ra từ điển mới với các giá trị “salt”
• Băm nhiều lần: hash(hash(..hash(password || salt)))))
Mục đích: làm chậm thời gian tính toán giá trị xác thực làm
chậm thời gian tấn công dò tìm
nhưng kẻ tấn công có thể kiên nhẫn hơn nữa tạo ra từ điển mới
• Băm mật khẩu với một giá trị “pepper” bí mật
Mục đích: ngăn chặn kẻ tấn công tạo ra từ điển mới
• Sử dụng một trong thuật toán bcrypt, scrypt, PBKDF2
thay cho các hàm băm thông thường
18
17
18
10
Khôi phục mật khẩu
• Làm thế nào để người dùng có thể khôi phục mật
khẩu khi họ quên?
Gửi trực tiếp qua email
Reset qua email
Câu hỏi bí mật
Sử dụng tin nhắn SMS
...
• Lưu ý: xây dựng giao thức an toàn
19
Sử dụng câu hỏi bí mật còn an toàn?
• Năm 2008, ứng viên Phó Tổng thống Hoa Kỳ Sarah Palin
bị đánh cắp tài khoản Yahoo Mail
• Năm 2012, ứng viên Tổng thống Mitt Romney bị đánh cắp
tài khoản Hotmail
20
19
20
11
Một số chính sách sử dụng mật khẩu
• Mục đích: tăng cường an toàn cho hệ xác thực dựa trên
mật khẩu
• Quy định độ dài tối thiểu
• Quy định các ký tự bắt buộc phải sử dụng
• Thay đổi mật khẩu định kỳ
• Hạn chế sử dụng lại mật khẩu cũ trong một khoảng thời
gian nhất định
• Hạn chế số lần thử xác thực
• Tăng thời gian chờ thử xác thực lại
• Yêu cầu đổi mật khẩu sau lần đăng nhập đầu tiên
• Tuy nhiên, luôn phải cân nhắc sự trả giá cho tính tiện lợi
21
3. MỘT SỐ GIAO THỨC XÁC THỰC
22
21
22
12
Giao thức PAP
• Password Authentication Protcol
• Được sử dụng trong giao thức mạng PPP trước đây
• Nội dung:
(1) U S: ID || Password
(2) Server kiểm tra trong CSDL
S U: ACK/NAK
• Không an toàn
23
Xác thực 1 chiều dựa trên hệ mật mã KĐX
• Giả sử 2 bên đã trao đổi một giá trị khóa bí mật KS
(1) U S: Request
(2) S U: Challenge
(3) U S: f(Pass, Challenge)
Hàm f: có thể là các hàm mã hóa KĐX, hàm băm
Pass : mật khẩu
• Bài tập: Phân tích các điểm yếu của sơ đồ này
24
23
24
13
Xác thực 1 chiều dựa trên hệ mật mã KCK
(1) A B: Request
(2) B A: TokenID || NB
(3) A B: TokenID || CertA || TokenAB
TokenID: chứa thông tin của phiên
TokenAB = NA || NB || E(KRA, NA || NB)
25
ISO/IEC 9798-3 / FIPS-196
Giao thức CHAP
• Challenge Handshake Authentication Protocol
(1) U S: Request
(2) S U: Challenge
(3) U S: ID || Hash(ID || Hash(Password) || Challenge)
(4) Server kiểm tra
S U: ACK / NAK
• Challenge: chuỗi ký tự ngẫu nhiên
• Hash: MD5
26
25
26
14
Giao thức EAP
• Extensible Authentication Protocol
• Có khoảng 40 biến thể kết hợp thêm nhiều cơ chế khác
nhau:
EAP-MD5: tương tự CHAP
EAP-TLS, EAP-TTLS, PEAP: kết hợp TLS
EAP-POTP: kết hợp One-Time-Password
EAP-PSK: kết hợp pre-shared key
...
27
Xác thực 2 chiều sử dụng hệ mật mã KĐX
• Giả sử A và B đã chia sẻ khóa KS
(1) A B: IDA
(2) B A: NB
(3) A B: f(KS, NB) || NA
(4) B A: f(KS, NA)
Hàm f: có thể là các hàm mã hóa KĐX, hàm băm
KS : khóa hoặc mật khẩu
28
27
28
15
Bài tập
• Xem xét tính an toàn của giao thức xác thực sau:
(1) A B: IDA || NA
(2) B A: f(KS, NA) || NB
(3) A B: f(KS, NB)
• Nhận xét: người bắt đầu giao dịch phải là người chứng
minh trước
29
Xác thực 2 chiều sử dụng hệ mật mã KCK
(1) A B: Request
(2) B A: TokenID || NB
(3) A B: TokenID || CertA || TokenAB
(4) B A: TokenID || CertB || TokenBA
TokenAB = NA || NB || E(KRA, NA || NB)
TokenBA = NA || NB || E(KRB, NA || NB)
30
ISO/IEC 9798-3 / FIPS-196
29
30
16
Giao thức dạng zero-knowledge (ZKP)
• Giữa hai hành lang có một cánh
cửa bị khóa
• Peggy biết mật khẩu để mở cánh
cửa (VD. “Vừng ơi, mở ra!” )
• Victor muốn bỏ tiền để mua lại
mật khẩu
• Làm thế nào để Peggy chứng
minh với Victor có thể đi qua hành
lang mà không làm lộ mật khẩu?
31
Giao thức ZKP
• Là các giao thức cho phép một bên chứng minh được thông
tin của mình mà không làm lộ nội dung thông tin đó cho các
bên còn lại (bên thứ 2 hoặc kẻ tấn công)
• Các bên tham gia giao thức:
Peggy-Người chứng minh: Peggy nắm được một số thông tin nào đó
và muốn chứng minh cho Victor nhưng không muốn để lộ thông tin
này
Victor-Người thẩm tra: Được quyền hỏi một số câu hỏi đến khi chắc
chắn Peggy nắm thông tin. Victor không thể đoán thông tin từ câu trả
lời của Peggy, hoặc do cố tình lừa Peggy tiết lộ thông tin
Eve-Kẻ nghe lén: Giao thức cần chống lại việc Eve nghe lén thông tin
Mallory: có nhiều quyền hơn Eve, có thể nghe lén, sửa đổi bản tin
hoặc phát lại bản tin
32
31
32
17
Một ví dụ - Giao thức Feige–Fiat–Shamir
• Khởi tạo: Peggy chọn p, q là 2 số nguyên tố:
Tính = ×
Chọn s sao cho UCLN(s, n) = 1, sao cho =
Công bố (n,v). Peggy cần chứng minh cho Victor biết mình nắm
giữ giá trị s
• Giao thức:
(1) P V: = r: số ngẫu nhiên
(2) V chọn ngẫu nhiên ∈ {0, 1}
V P: b
(3) P V: = ×
(4) V kiểm tra phương trình đồng dư ≡ × ( )
Hoặc viết dưới dạng khác = ×
33
Giả mạo
• Mallory có thể giả mạo bằng 2 cách:
(1) Bắt các cặp giá trị (x, y) và phát lại
(2) Phán đoán giá trị của bit b mà Victor thử thách:
Đoán b = 0, Mallory gửi = và =
Đoán b = 1, Mallory chọn y trước và tính x sao cho
≡ × ( )
• Xác suất thành công của Mallory là bao nhiêu?
• Làm thế nào để giảm xác suất thành công của
Mallory trong 1 vòng kiểm tra?
34
33
34
18
Nhận xét
• Vì Peggy nắm được giá trị của s nên có thể qua được vô
số vòng kiểm tra (Tính đầy đủ - Completeness)
• Nếu Mallory không biết s, thì xác suất giả mạo thành công
lớn nhất là 2−n với n là số vòng kiểm tra (Tính vững chãi-
Soundness)
• Mallory không thể sử dụng lại bộ số (x,y) để lừa Victor
• Victor không biết gì về s vì bài toán tính căn bậc 2 rời rạc
là khó
• Tương tự, Eve nghe trộm được mọi bộ số (x,y,b) cũng
không thể đoán được s
35
Các nguy cơ
• Peggy không thay đổi r sau mỗi vòng kiểm tra
• Chess Grandmaster Problem
• Mafia Problem
• Terrorist Problem
36
35
36
19
Giao thức ZKP dựa trên hệ mật mã RSA
(Một ví dụ khác)
• Peggy có khóa công khai KU = (e,n) cần chứng minh anh
ta có bí mật m
• Khởi tạo: Peggy tính c = me mod n
• Giao thức:
(1) P V: = r: số ngẫu nhiên
(2) V chọn ngẫu nhiên ∈ {0, 1}
V P: b
(3) P V: = ×
(4) V kiểm tra phương trình đồng dư ≡ ×
Tự kiểm tra tính đầy đủ và bền vững của giao thức.
Hãy đọc thêm lý thuyết tổng quan về ZKP trong tài liệu.
37
4. ONE TIME PASSWORD (OTP)
38
37
38
20
Xác thực đa yếu tố
• Phương pháp xác thực sử dụng mật khẩu không đủ an
toàn (Nguyên nhân chủ yếu từ người dùng!)
• Sử dụng mật khẩu một cách an toàn:
Đủ dài và khó đoán
Không dùng chung cho nhiều tài khoản
Thay đổi thường xuyên
hầu hết người dùng không thực hiện được
cần thêm các yếu tố xác thực an toàn hơn, không phụ
thuộc vào thói quen của người dùng
• Xác thực đa yếu tố (thông thường là 2 yếu tố)
Cái người dùng biết: mật khẩu
Cái người dùng có: (thường) thiết bị phần cứng
39
One Time Password
• Mật khẩu chỉ dùng để xác thực cho 1 phiên hoặc 1 giao
dịch
• Phân loại:
S/Key OTP
Hash-based OTP (HOTP)
Time-based OTP (TOTP)
• Cách thức phân phối:
SMS
Ứng dụng
Email
Token
40
Event-based OTP
39
40
21
S/Key OTP(RFC 1760)
• Sử dụng trong một số hệ điều hành
Unix
• Pha sinh mật khẩu:
(1) Server chọn một giá trị bí mật S
(2) Áp dụng hàm băm (hoặc HMAC) n
lần lên S
(3) Lưu Hn trong CSDL
(4) Cung cấp cho client Hn, Hn-1,, H1
(5) Client hủy giá trị Hn
41
S/Key OTP(tiếp)
• Xác thực lần đầu
(1) Client gửi Hn-1
(2) Server so sánh HMAC(Hn-1) với Hn trong CSDL
(3) Nếu bước 3 xác thực đúng, thay Hn bằng Hn-1. Gửi
thông báo xác thực thành công
(4) Client xóa Hn-1 nếu đăng nhập thành công
• Xác thực các phiên kế tiếp: tương tự
42
41
42
22
HOTP (RFC 4226)
• Bộ đếm: C (8 byte)
• Giá trị bí mật: K đã chia sẻ trước với client
• Hàm HOTP(K, C)
(1)Tính HS = HMAC-SHA-1(K,C)
(2)Trích xuất 4 bytes từ HS bằng hàm Dynamic Truncation
Sbits = DT(HS)
(3) Chuyển Sbits sang dạng thập phân. Lấy giá trị HOTP
với số chữ số k tùy ý.
Snum = StToNum(Sbits)
D = Snum mod 10k
43
Hàm DT
• Đầu vào: Chuỗi 20 byte S
• Xử lý:
Lấy OffsetBits = 4 bit thấp của S[19]
Biến đổi sang dạng thập phân Offset = StToNum(OffsetBits)
Trích xuất 4 byte trong chuỗi S bắt đầu từ vị trí Offset được chuỗi
P
• Đầu ra: Xóa bit đầu tiên của P
44
43
44
23
Sử dụng HOTP trong giao thức xác thực
• Yêu cầu: Chia sẻ khóa K và C một cách an toàn
• Server: C C + 1. Tính HOTP(K, C) và lưu trong CSDL
• Client: C C + 1. Tính HOTP(K, C) và người dùng gửi
cho server
• Server:
Nếu OTP nhận được là hợp lệ tạo OTP mới thay cho giá trị cũ
trong CSDL
Nếu OTP nhận được không hợp lệ, thực hiện đồng bộ lại với tham
số đồng bộ s. Yêu cầu xác thực lại.
Sau T lần xác thực lại không hợp lệ, khóa tài khoản
45
Đồng bộ trong HOTP
• Khi sử dụng HOTP trên thiết bị OTP Hardware Token, mã
OTP được sinh ra theo yêu cầu người dùng
• Tính trạng mất đồng bộ: người dùng yêu cầu mã OTP
nhưng không xác thực giá trị bộ đếm của Token và
Server khác nhau
• Đồng bộ hóa:
Server tính toán HOTP cho s lần kế tiếp
Yêu cầu người dùng gửi một chuỗi (2-3, hoặc hơn) các giá trị
HOTP sinh được từ Token
So sánh chuỗi HOTP của người dùng với chuỗi HOTP đã sinh và
thực hiện đồng bộ
46
45
46
24
TOTP(RFC 6238)
• Thực hiện tương tự HOTP
• Thay thế bộ đếm C bằng giá
trị thời gian:
T = (Current UnixTime – T0)/X
T0: Mốc thời gian
X: Bước thời gian (time step)
• Vấn đề trễ xử lý
• Client có thể gửi cùng 1
TOTP trong 1 bước thời
gian, nhưng server chỉ chấp
nhận cho 1 lần xác thực
47
Client Server
Tạo
và gửi
TOTP
Nhận
và kiểm
tra
Mất đồng bộ trong TOTP
• Đồng hồ của 2 bên có sai số khác nhau sau một thời
gian có thể mất đồng bộ
• Phía kiểm tra cho phép chấp nhận một giá trị OTP nằm
trong khoảng sai số cho phép
• Miền chấp nhận [TOTP(Tp) , TOTP(Tf)]
Tp = (Current UnixTime – 2X + 1 – T0)/X
Tf = (Current UnixTime + X – 1 – T0)/X
Lưu ý: Nếu xác thực thành công có thể tinh chỉnh lại việc
mất đồng bộ đồng hồ thời gian tại server
48
tThời điểm
kiểm tra
Tp Tf tb tf
47
48
25
SMS OTP
• Giá trị OTP được sinh ở server và gửi cho người dùng
qua tin nhắn SMS
• Không đảm bảo an toàn:
Điện thoại người dùng bị nghe lén
Giả mạo trạm BTS
Tấn công lợi dụng lỗ hổng của giao thức SS7
49
Tấn công lợi dụng lỗ hổng của SS7
• SS7(Signaling System 7): bộ giao thức điều khiển truyền
dữ liệu giữa các cell trong mạng đi động
• Không có cơ chế xác thực
• IMSI: Định danh của thẻ SIM
• IMEI: Định danh của thiết bị
• MSISDN: Số thuê bao
• HLR(Home Location Register): CSDL thuê bao
• MSC(Mobile Switching Center): Bộ chuyển mạch
• MAP(Mobile Application Part): giao thức điều phối truyền
dữ liệu giữa các thành phần trong phiên dịch vụ
50
49
50
26
Tấn công SS7 – Bước 1
(1) Kẻ tấn công gửi thông
điệp
SendRoutingInfoForSM
chứa MSISDN tới HLR
(2) HLR gửi thông điệp trả
lời chứa:
• Số thuê bao
• Địa chỉ của MSC đang xử
lý kết nối của nạn
nhân(Bob)
• IMSI của nạn nhân
51
Tấn công SS7 – Bước 2
(1) Kẻ tấn công đăng ký
thông tin của Bob trên MSC
giả mạo (Fake MSC)
(2) HLR cập nhật vị trí mới
của Bob
(3) HLR yêu cầu MSC cũ
giải phóng thông tin
52
51
52
27
Tấn công SS7 – Bước 3
(1) Alex gửi tin nhắn SMS
cho Bob
(2) MSC chuyển tiếp tin
nhắn tới SMS-C
(3)SMS-C gửi thông điệp
tới HLR yêu cầu vị trí của
Bob
(4) HLR trả lại địa chỉ của
Fake MSC
(5) SMS-C chuyển tiếp tin
nhắn tới Fake MSC
53
Một vụ việc tấn công xác thực người
dùng
54
53
54
28
Một vụ việc tấn công xác thực người
dùng
Kịch bản sử dụng dịch vụ:
• B1: Khách hàng đăng nhập vào hệ thống eBanking
• B2: Khách hàng nhập lệnh chuyển tiền
• B3: Hệ thống eBanking gửi mã OTP qua tin nhắn SMS tới
số điện thoại mà khách hàng đã đăng ký
• B4: Khách hàng nhập mã OTP nhận được vào hệ thống
để xác nhận chuyển tiền
Xác thực đa yếu tố:
(1) Mật khẩu truyền thống
(2) SMS OTP
55
Một vụ việc tấn công xác thực người
dùng
• Vietcombank cung cấp ứng dụng di
động Vietcombank Smart OTP cung
cấp mã xác thực OTP
• B1: Mở ứng dụng và điền số ĐT đăng
ký SMS Banking
• B2: Hệ thống gửi mã xác thực OTP tới
số điện thoại
• B3: Người dùng nhập mã xác thực vào
ứng dụng
• B4: Nếu mã OTP đúng, ứng dụng
được kích hoạt
56
55
56
29
5. XÁC THỰC SỬ DỤNG SINH TRẮC
57
Xác thực bằng sinh trắc (biometric)
58
57
58
30
Dấu vân tay
59
Vân lòng bàn tay
60
59
60
31
Cấu trúc bàn tay
61
Khuôn mặt
62
61
62
32
Mống mắt
63
Vành tai
64
63
64
33
Mạch máu
65
Xác thực bằng sinh trắc
66
ServerUser Tấn công
nghe lén
ServerUser
H( , nonce)
nonce
h= H( , nonce)h=
?Mẫu sinh trắc
không ổn định
65
66
34
Những khó khăn khi sử dụng hệ xác thực
bằng sinh trắc
• Chi phí tính toán
• Giá thành cao
• Tính không ổn định
• Không bền vững
• Lo ngại của người dùng liên quan đến sức khỏe
67
5. SINGLE SIGN ON(SSO)
68
67
68
35
Khái niệm
• SSO là một cơ chế xác thực yêu cầu người dùng đăng
nhập vào chỉ một lần với một tài khoản và mật khẩu để
truy cập vào nhiều ứng dụng trong 1 phiên làm việc
(session).
69
Single Sign On
• CAS (Central Authentication Service) là một giải pháp
SSO mã nguồn mở được phát triển bởi đại học Yale
• CAS hỗ trợ nhiều thư viện phía máy khách được viết bởi
nhiều ngôn ngữ: PHP, Java, PL/SQL
• Các thông tin phiên đăng nhập đặt trong cookie do CAS
sinh ra(Ticket Granting Cookie)
• Hỗ trợ xác thực đa yếu tố
70
69
70
36
Single Sign On
71
• Người dùng chưa
được chứng thực
trên CAS
• TGC: Ticket
Granting Cookie
• ST: Session Token
Single Sign On
72
• Người dùng đã
chứng thực trên
CAS
71
72
37
Các giải pháp SSO khác
• Open SAML
• OpenID Connect
• CA Single Sign On
• Java Open Single Sign On
• Google Sign-In
• Facebook Login
73
73
File đính kèm:
an_ninh_mang_may_tinh_bai_6_xac_thuc_danh_tinh.pdf

