TCDG

Tìm hiểu về CC
-   Lịch sử
-   Số phần
-   PP? : Hồ sơ bảo vệ: Yêu cầu đặt ra cho từng thiết bị
-   SE là gì
-   Công năng của thiết bị đó là gì
-


1.  PP ->
2.  TOE ->
    ...Maybe have Threat in 2.5
3.  ST
    - SFR (Lỗi chức năng)-> Lớp (FIA - Định danh và xác thực)-> Họ Farmily(AFL - Lỗi về xác thực) -> Component (1 - Số lần lỗi xác thực ) - Element
        *   Có 11 lớp chức năng
    - SAR : Phân chia thành 7 level EAL1 -> EAL7. Liệu chúng ta có đủ thông tin để xác định cái đấy hay không. Từ mức level suy ra SAR tương ứng.
        *   EAL1: Phương pháp kiểm định về mặt chức năng
            EAL2: Phương pháp kiểm định về cấu trúc
            EAL3: Phương pháp kiểm định và kiểm tra
            EAL4: Phương pháp thiết kế, kiểm định và xem lại
            EAL5: Thiết kế và kiểm tra bán hình thức
            EAL6: Xác minh thiết kế và kiểm tra bán hình thức
            EAL7: Xác minh thiết kế và kiểm tra hình thức
        *   CEM: Phương pháp luận để đánh giá nó
        *
Ư

Nó là cái gì ?
Hoạt động như thế nào ?
Đưa ra một ví dụ cụ thế ?
Đưa ra bài toán và áp dụng formal method cho nó ?


CEM có bao nhiêu toán tử, và các toán tử của nó là gì?

Hành động nào, tiểu hành động nào


Chuong 1

lich su hinh thanh
cc co may phien ban
15048
mot so thang danh gia cua bo tieu chu tcsec, itsec ..
tinh tuong duong giua cac thang do

Chương 2: Nguyên lý
Môi trường

Chương 3: CC
Tổng quan
Lợi ích khi có PP
TOE
...
Bao nhieu lớp, họ,
Liệt kê
SAR

Chương 4: CEM
Mối liên hệ giữa CEM và ...

Mô hình chính tắc là gì, tại sao cần phải có mô hình chính tắc ...
Có bao nhiêu định mức đánh SFR và SAR