Thông tin tài liệu


Nhan đề : Mô hình và đánh giá chính sách điều khiển truy cập hệ thống lưu trữ tệp windows sử dụng ngôn ngữ mô hình hóa alloy
Tác giả : Lê, Thị Cẩm Liên
Người hướng dẫn: Trần, Đức Khánh
Từ khoá : Hệ điều hành; Điều khiển
Năm xuất bản : 2014
Nhà xuất bản : Trường Đại học Bách khoa Hà Nội
Tóm tắt : Tổng quan hệ thống quản lý truy cập tệp windows. Logic. Ngôn ngữ alloy. Mô hình hóa hệ thống bằng ngôn ngữ alloy.
Mô tả: Luận văn (Thạc sỹ khoa học) - Ngành Công nghệ thông tin
URI: http://dlib.hust.edu.vn/handle/HUST/20648
Trong bộ sưu tập: Ths-Công nghệ thông tin
XEM MÔ TẢ

40

XEM & TẢI

103

Danh sách tệp tin đính kèm:
Ảnh bìa
  • 295102.pdf
      Restricted Access
  • Nội dung
    • Dung lượng : 4,28 MB

    • Định dạng : Adobe PDF

  • Ảnh bìa
  • 295102.TT.pdf
      Restricted Access
  • Tóm tắt
    • Dung lượng : 158,19 kB

    • Định dạng : Adobe PDF



  • Khi sử dụng tài liệu trong thư viện số bạn đọc phải tuân thủ đầy đủ luật bản quyền.