Thông tin tài liệu
| Title: | 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 |
| Authors: | Lê, Thị Cẩm Liên |
| Advisor: | Trần, Đức Khánh |
| Keywords: | Hệ điều hành; Điều khiển |
| Issue Date: | 2014 |
| Publisher: | Trường Đại học Bách khoa Hà Nội |
| Abstract: | 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. |
| Description: | 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 |
| Appears in Collections: | Ths-Công nghệ thông tin |
ABSTRACTS VIEWS
40
VIEWS & DOWNLOAD
103
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.