Các lượt nộp
    Danh sách bài
    Trang chủ
    Báo lỗi

    solution

    Đề bài: [An toàn thông tin] Bell-LaPadula với phân ngăn (lattice)

    Nhãn an ninh là cặp (mức, tập phân ngăn). Nhãn AAA thống trị BBB khi:

    level(A)≥level(B)  ∧  cat(B)⊆cat(A)\text{level}(A) \ge \text{level}(B) \;\wedge\; \text{cat}(B) \subseteq \text{cat}(A)level(A)≥level(B)∧cat(B)⊆cat(A)

    • read: ALLOW khi chủ thể thống trị khách thể (no read up).
    • write: ALLOW khi khách thể thống trị chủ thể (no write down).

    Mỗi truy vấn: mức chủ thể, số phân ngăn rồi danh sách, mức khách thể, số phân ngăn rồi danh sách, hành động.

    • Định dạng đầu vào:

      Dòng 1: nnn. Mỗi dòng: s_level k cat... o_level m cat... action.

    • Ràng buộc đầu vào:

      1≤n≤1001 \le n \le 1001≤n≤100, mức ∈[0,100]\in [0,100]∈[0,100], mỗi tập tối đa 10 phân ngăn.

    • Định dạng đầu ra:

      nnn dòng, mỗi dòng ALLOW hoặc DENY.

    Ví dụ:

    Đầu vào:

    4
3 2 A B 2 1 A read
2 1 A 3 2 A B read
2 1 A 3 2 A B write
3 2 A B 2 1 A write

    Đầu ra:

    ALLOW
DENY
ALLOW
DENY

    Giải thích:

    read: (3,{A,B}) thống trị (2,{A}) ALLOW; (2,{A}) không thống trị (3,{A,B}) DENY. write: khách thể (3,{A,B}) thống trị chủ thể (2,{A}) ALLOW; ngược lại DENY.

    Đang tải editor...