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:
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.