Tổng quan về giáo trình (250-300 từ)

"Giáo trình Tiêu chuẩn Đánh giá An toàn Thông tin" do Tiến sĩ Trần Quang Kỳ chủ biên, được Học viện Kỹ thuật Mật mã thuộc Ban Cơ yếu Chính phủ phát hành năm 2006. Trong chương trình đào tạo đại học và sau đại học ngành an toàn thông tin, môn học này giữ vị trí cầu nối giữa lý thuyết thiết kế bảo mật và thực tiễn kiểm định chất lượng kỹ thuật của sản phẩm công nghệ thông tin (CNTT).

Mục tiêu học tập của giáo trình nhằm trang bị cho người học hiểu biết bản chất về hoạt động đánh giá an toàn thông tin (ATTT); phân biệt rõ giữa thuộc tính an toàn và độ tin cậy; nắm vững tiến trình phát triển của các bộ tiêu chí quốc tế; giải cấu trúc bộ Tiêu chí Chung (Common Criteria - CC / ISO/IEC 15408); hiểu rõ phương pháp luận đánh giá chung (Common Evaluation Methodology - CEM) và quy trình vận hành các sơ đồ đánh giá cấp chứng nhận như CCEVS, NIACAP.

Về cấu trúc và cách tiếp cận, văn bản gồm 6 chương và phụ lục thuật ngữ, triển khai theo logic kỹ thuật: đi từ lịch sử các tiêu chuẩn (TCSEC, ITSEC, CTCPEC, FC, chuẩn Liên bang Nga), xây dựng nguyên lý thiết kế hệ thống tin cậy (mô hình bảo mật, nhân an toàn, cơ sở tính toán tin cậy TCB), phân tích chi tiết các lớp yêu cầu của CC, đến phương pháp luận kiểm định CEM và thực tiễn tổ chức hạ tầng đánh giá quốc tế.

Điểm đặc sắc của giáo trình là sự phân tách rành mạch giữa yêu cầu chức năng an toàn (SFR) và yêu cầu đảm bảo an toàn (SAR), đồng thời cung cấp bảng quy đổi tương đương kỹ thuật giữa các hệ thống tiêu chuẩn lịch sử.


Nội dung kiến thức cốt lõi (500-600 từ)

Các chương/chủ đề chính

Giáo trình triển khai khối lượng kiến thức qua 6 chương chuyên đề:

  • Chương 1: Giới thiệu chung về đánh giá an toàn thông tin: Phân tích tính cấp thiết, thuật ngữ kỹ thuật (sản phẩm CNTT, TOE, PP, ST, EAL) và lịch sử tiêu chuẩn hóa từ TCSEC (Mỹ, 1983/1985), ITSEC (Châu Âu, 1991), CTCPEC (Canada, 1993), Federal Criteria (Mỹ, 1992), chuẩn GTK (Liên bang Nga, 1992) đến chuẩn mô-đun mật mã FIPS 140-1, FIPS 140-2.
  • Chương 2: Những nguyên lý đánh giá an toàn thông tin: Phân tích ranh giới giữa an toàn và tin cậy; chính sách quân sự (phân cấp, quy tắc cần thì mới biết) và thương mại (Clark-Wilson, phân chia nhiệm vụ, bức tường Trung Hoa); các mô hình kiểm soát truy cập (Lattice, Bell-LaPadula, Biba, Graham-Denning, Harrison-Ruzzo-Ullman, Take-Grant); cấu trúc nhân an toàn, cơ sở tính toán tin cậy (TCB), mô hình giám sát tham chiếu và phạm vi an toàn (Security Perimeter).
  • Chương 3: Giới thiệu về hệ thống tiêu chí chung CC (Phần 1 đến 4): Cấu trúc tổng quan; 11 lớp yêu cầu chức năng SFR (FAU, FCS, FCO, FDP, FIA, FMT, FPR, FPT, FRU, FTA, FTP); 10 lớp yêu cầu đảm bảo SAR (ACM, ADO, ADV, AGD, ALC, ATE, AVA, AMA, APE, ASE); cùng 7 mức đảm bảo đánh giá tích lũy (EAL1 đến EAL7).
  • Chương 4: Phương pháp luận đánh giá chung CEM: Cung cấp quy trình đánh giá Hồ sơ bảo vệ (PP), Đích an toàn (ST), quy trình kiểm tra theo mức EAL1 đến EAL4 và các tiểu hoạt động khắc phục sai sót.
  • Chương 5: Quy trình đánh giá ATTT: Mô tả 5 thành phần hạ tầng (pháp lý, tiêu chuẩn đo lường, tổ chức, nhân lực, thiết bị); sơ đồ đánh giá CCEVS qua 4 pha và sơ đồ NIACAP.
  • Chương 6: Đánh giá ATTT tại các quốc gia phát triển: Hiện trạng tại Mỹ, Hàn Quốc, Canada, Anh, Pháp, Đức, Nga, Trung Quốc, Nhật Bản, Australia/New Zealand và định hướng tại Việt Nam.

Kiến thức nền tảng được xây dựng

Giáo trình xác lập ba khối lý luận căn bản:

  • Lý thuyết mô hình hóa an toàn: Mô hình dòng thông tin Bell-LaPadula, mô hình toàn vẹn Biba, cấu trúc dàn thứ tự bộ phận (Lattice), cùng hệ thống quy tắc toán học trong mô hình Harrison-Ruzzo-Ullman và Take-Grant.
  • Nguyên lý kiến trúc hệ thống tin cậy: Ba yêu cầu kỹ thuật của cơ chế giám sát tham chiếu (biệt lập, đầy đủ, kiểm chứng được); kiến trúc phân tầng xác định phạm vi an toàn bao bọc TCB.
  • Khung chuẩn hóa kỹ thuật CC: Cấu trúc phân cấp từ lớp (class), họ (family) đến thành phần (component) của SFR và SAR, cùng nguyên lý tích lũy của các mức EAL.

Kỹ năng phát triển

Người học hình thành các năng lực chuyên môn:

  • Kỹ năng kỹ thuật: Phân tích và biên soạn đặc tả trong Hồ sơ bảo vệ (PP) và Đích an toàn (ST); xác định chỉ tiêu kiểm định mô-đun mật mã theo 4 mức an toàn của FIPS 140-2.
  • Kỹ năng phân tích: Xác định ranh giới phạm vi an toàn; phân tích các kênh thông tin ẩn (covert channels); đối sánh tính đúng đắn giữa thiết kế kiến trúc và mã nguồn thực thi.
  • Năng lực thực hành kiểm định: Vận dụng các tác vụ đánh giá của CEM để kiểm tra tính nhất quán của hồ sơ kỹ thuật và lập báo cáo kết quả kiểm định sản phẩm CNTT.

Phương pháp giảng dạy và học tập (300-350 từ)

Phương pháp sư phạm của giáo trình được thiết kế theo hướng diễn dịch kỹ thuật, kết hợp giữa lý thuyết tiêu chuẩn hóa quốc tế và phân tích cấu trúc hệ thống. Tài liệu dẫn dắt người học từ các khái niệm trừu tượng (nhân an toàn, cơ chế giám sát tham chiếu) sang các bộ chỉ số đo lường cụ thể hóa bằng mã ký hiệu (lớp chức năng SFR và lớp đảm bảo SAR).

Về bài tập và tình huống nghiên cứu (case studies), mỗi chương đều tích hợp mục tóm tắt lý thuyết và liên hệ thực tế. Điểm nhấn là các nghiên cứu tình huống điển hình từ dữ liệu thực nghiệm:

  • Bảng chuyển đổi đối sánh đa chiều giữa các hệ tiêu chí: Bảng 1.1 chuyển đổi mức ITSEC sang TCSEC; Bảng 1.2 chuyển đổi mức CTCPEC sang TCSEC; Bảng 1.3 đối chiếu tương quan giữa TCSEC, FC, CTCPEC và ITSEC.
  • Số liệu kiểm định thực tế từ Chương trình Kiểm tra hợp lệ mô-đun mật mã (CMV) do NIST và CSE phối hợp thực hiện năm 2002: dữ liệu 164 mô-đun (gần 50% có khiếm khuyết an toàn, hơn 95% có lỗi tài liệu) và 332 thuật toán (25% thiếu sót an toàn, hơn 65% sai sót tài liệu) minh họa sự cần thiết của kiểm định độc lập.
  • Tình huống áp dụng chính sách thương mại: mô hình giao dịch chính xác Clark-Wilson trong kế toán và quy tắc phân chia nhóm mâu thuẫn trong chính sách bức tường Trung Hoa.

Về phương pháp đánh giá và tự học, giáo trình định hướng các hình thức kiểm tra gồm: giải bài tập ma trận truy cập, chứng minh an toàn theo mô hình toán học, thiết lập tập tiêu chí ST thử nghiệm cho phần mềm. Người học tự học thông qua việc tra cứu chéo mã định danh lớp/họ trong phần Phụ lục thuật ngữ, đồng thời đối chiếu trực tiếp với các tiêu chuẩn gốc như ISO/IEC 15408, FIPS PUB 140-2 và bộ tài liệu Sách Cầu vồng của Bộ Quốc phòng Mỹ.


Điểm nổi bật và cập nhật (250-300 từ)

Giáo trình phản ánh các bước chuyển dịch quan trọng trong lịch sử tiêu chuẩn hóa an toàn thông tin thế giới:

  • Cập nhật tiến trình thay thế tiêu chuẩn cũ: Làm rõ sự dịch chuyển từ cấu trúc nguyên khối của TCSEC (Sách Da cam, 1983/1985) bị chi phối bởi yêu cầu quân sự sang các tiêu chuẩn mở rộng như ITSEC (Châu Âu, 1991), CTCPEC (Canada, 1993), Federal Criteria (Mỹ, 1992), và hội tụ tại Tiêu chí Chung CC (ISO/IEC 15408, ban hành tháng 12/1999).
  • Tách biệt độc lập giữa Chức năng và Đảm bảo: Khắc phục nhược điểm của TCSEC khi gộp chung chức năng và sự bảo đảm. Giáo trình phân tích cách CC phân tách thành hai trục riêng: yêu cầu chức năng SFR (hành vi bảo mật mong muốn) và yêu cầu đảm bảo SAR (đo lường độ tin cậy của cài đặt), loại bỏ thang đo cứng nhắc.
  • Tích hợp chuẩn mô-đun mật mã FIPS 140-2: Trình bày chi tiết bản cập nhật năm 2001 (thay thế FIPS 140-1 năm 1994) do NIST và CSE đồng tài trợ qua chương trình CMV, bao gồm 4 mức an toàn vật lý và logic.
  • Kết nối thực tế ngành và bối cảnh Việt Nam: Giáo trình phân tích thực trạng năm 2006 khi Việt Nam ứng dụng rộng rãi CNTT nhưng chưa có ngành đánh giá ATTT chuyên biệt, thiếu phòng thí nghiệm chuẩn hóa và chưa tham gia Hiệp hội công nhận lẫn nhau về chứng nhận (CCRA). Tác giả đề xuất lộ trình xây dựng 5 thành phần hạ tầng đánh giá phục vụ bảo vệ thông tin quốc gia.

Đối tượng sử dụng giáo trình (200-250 từ)

Giáo trình được biên soạn phục vụ các nhóm đối tượng cụ thể trong hệ thống giáo dục đại học và nghiên cứu chuyên môn:

  • Sinh viên và học viên: Sinh viên đại học các năm cuối (năm thứ 3, năm thứ 4) và học viên cao học thuộc các ngành An toàn thông tin, Kỹ thuật Mật mã, Công nghệ thông tin, Mạng máy tính và Truyền thông dữ liệu.
  • Yêu cầu kiến thức tiên quyết (Prerequisites): Người học cần hoàn thành các học phần nền tảng bao gồm Kiến trúc máy tính, Hệ điều hành (cơ chế phân quyền, nhân hệ điều hành, tiến trình), Cơ sở lý thuyết mật mã (mã hóa đối xứng, bất đối xứng, chữ ký số) và Kỹ thuật phần mềm (quy trình kiểm thử, quản lý cấu hình).
  • Giảng viên chuyên ngành: Tài liệu cung cấp cơ sở để thiết kế đề cương môn học "Tiêu chuẩn đánh giá an toàn thông tin", xây dựng bài giảng lý thuyết chuyên sâu về ISO/IEC 15408, hướng dẫn bài tập lớn về đặc tả PP/ST và phát triển đề tài nghiên cứu về kiểm định an toàn phần mềm.
  • Cán bộ kỹ thuật và chuyên gia tham khảo: Các kỹ sư thiết kế sản phẩm bảo mật, chuyên viên kiểm toán an toàn hệ thống thông tin, cán bộ phòng thí nghiệm kiểm định và nhà quản lý xây dựng chính sách quản lý chất lượng CNTT.

Câu hỏi thường gặp (250-300 từ)

1. Giáo trình này phù hợp với ai?
Giáo trình phù hợp với sinh viên năm cuối, học viên cao học ngành An toàn thông tin, Công nghệ thông tin, cùng các kỹ sư hệ thống, kiểm toán viên và chuyên viên kiểm định chất lượng sản phẩm bảo mật.

2. Cần kiến thức nền nào để học?
Người học cần nắm vững kiến thức cơ bản về nguyên lý hệ điều hành, cấu trúc kiến trúc máy tính, mạng máy tính, mật mã học cơ sở và các giai đoạn trong vòng đời phát triển phần mềm.

3. Điểm khác biệt với giáo trình khác?
Tài liệu không mô tả kỹ thuật tấn công - phòng thủ hay cấu hình thiết bị an ninh, mà tập trung chuyên sâu vào hệ thống tiêu chuẩn kỹ thuật (TCSEC, CC, FIPS 140-2), phương pháp luận đánh giá (CEM) và quy trình pháp lý để kiểm định và công nhận mức độ tin cậy của sản phẩm CNTT.

4. Làm sao để tự học hiệu quả?
Người học nên nghiên cứu tuần tự theo từng chương; liên hệ giữa lý thuyết mô hình toán học ở Chương 2 với các lớp SFR/SAR trong Chương 3; tra cứu bảng đối chiếu thuật ngữ ở phần Phụ lục; và thực hành mô tả một tài liệu Đích an toàn (ST) đơn giản.

5. Có tài liệu bổ trợ nào kèm theo?
Đi kèm giáo trình là bảng chú giải thuật ngữ tên lớp và họ tiêu chuẩn ở phần Phụ lục. Người học có thể tham khảo thêm bộ tiêu chuẩn quốc tế ISO/IEC 15408, tài liệu hướng dẫn CEM, chuẩn FIPS 140-2 của NIST và danh mục tài liệu Sách Cầu vồng của Bộ Quốc phòng Mỹ được trích dẫn trong sách.


Kết luận (150 từ)

"Giáo trình Tiêu chuẩn Đánh giá An toàn Thông tin" của Tiến sĩ Trần Quang Kỳ là tài liệu học thuật hệ thống hóa toàn diện cơ sở lý luận, phương pháp luận kiểm định và các chuẩn mực kỹ thuật quốc tế về đánh giá độ tin cậy của sản phẩm công nghệ thông tin.

Lộ trình học tập đề xuất: Người học bắt đầu từ Chương 1 và 2 để nắm vững lịch sử tiêu chuẩn và nguyên lý kiến trúc TCB; tiếp tục nghiên cứu Chương 3 để giải cấu trúc các lớp SFR, SAR và mức EAL của CC; sau đó tìm hiểu phương pháp luận CEM tại Chương 4; kết thúc bằng việc khảo sát quy trình hạ tầng CCEVS và thực tiễn triển khai ở Chương 5 và 6.

Tài nguyên bổ sung: Người học có thể mở rộng nghiên cứu qua các bản cập nhật của tiêu chuẩn ISO/IEC 15408, tài liệu hướng dẫn từ NIST (Mỹ) và các quy chuẩn kỹ thuật quốc gia về an toàn thông tin tại Việt Nam.