1. Trang chủ
  2. » Luận Văn - Báo Cáo

Nghiên cứu và vận dụng kỹ thuật hướng mô hình cho đặc tả và kiểm chứng chính sách bảo mật

79 5 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Tiêu đề Nghiên Cứu Và Vận Dụng Kỹ Thuật Hướng Mô Hình Cho Đặc Tả Và Kiểm Chứng Chính Sách Bảo Mật
Tác giả Nguyễn Đức Hiếu
Người hướng dẫn TS. Đặng Đức Hạnh
Trường học Đại học Quốc gia Hà Nội
Chuyên ngành Công nghệ thông tin
Thể loại luận văn thạc sĩ
Năm xuất bản 2019
Thành phố Hà Nội
Định dạng
Số trang 79
Dung lượng 5,07 MB

Nội dung

Ngày đăng: 20/07/2021, 09:30

Nguồn tham khảo

Tài liệu tham khảo Loại Chi tiết
1. American National Standards Institute Inc. Role Based Access Control. ANSI- INCITS 359-2004, 2004 Sách, tạp chí
Tiêu đề: ANSI-INCITS 359-2004
2. Alfonso Rodriguez, Eduardo Fernandez-Medina, and Mario Piattini. A BPMN Extension for the Modeling of Security Requirements in Business Processes.IEICE TRANS. INF. & SYST., E90-D(4), 2007 Sách, tạp chí
Tiêu đề: IEICE TRANS. INF. & SYST
3. Antonio Cicchetti, Davide Di Ruscio, and Alfonso Pierantonio. A Metamodel Independent Approach to Difference Representation. Journal of Object Technology, 6(9):165-185, 2007 Sách, tạp chí
Tiêu đề: Journal of Object Technology
4. Cristina Pelayo García Bustelo B., Carlos Enrique Montenegro Marín, Edward Rolando Nỳủez Valdez, Jordỏn Pascual Espada, Juan Manuel Cueva Lovelle, and Vicente García Díaz. A brief introduction to model-driven engineering.Tecnura, 18(40):127-142, 2014 Sách, tạp chí
Tiêu đề: Tecnura
5. Database Systems Group. USE A UML based Specification Environment. Bremen University, 2007 Sách, tạp chí
Tiêu đề: Bremen University
6. Dr. Zakir Laliwala, and Irshad Mansuri. Activiti 5.x Business Process Management. Packt Publishing Ltd, 2014 Sách, tạp chí
Tiêu đề: Packt Publishing Ltd
7. Dr. Birgit Demuth. OCL (Object Constraint Language) by Example. Technische Universitọt Dresden, 2009 Sách, tạp chí
Tiêu đề: Technische Universitọt Dresden
8. Jordi Cabot, and Martin Gogolla. Object Constraint Language (OCL): A Definitive Guide. SFM 2012 LNCS 7320, pages 58–90, 2012 Sách, tạp chí
Tiêu đề: SFM 2012 LNCS 7320
9. Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, and Martin Gogolla. Analyzing and Managing Role-Based Access Control Policies. IEEE Transactions on Knowledge and Data Engineering, 20(7):924-939, 2008 Sách, tạp chí
Tiêu đề: IEEE Transactions on Knowledge and Data Engineering
10. Mirco Kuhlmann, Karsten Sohr, and Martin Gogolla. Employing UML and OCL for designing and analysing role-based access control. Mathematical Structures in Computer Science, 23(4):796-833, 2013 Sách, tạp chí
Tiêu đề: Mathematical Structures in Computer Science
11. Mark Richters, and Martin Gogolla. OCL: Syntax, Semantics, and Tools. Object Modeling with the OCL LNCS 2263, pages 42-68, 2002 Sách, tạp chí
Tiêu đề: Object Modeling with the OCL LNCS 2263
12. Object Management Group Inc. Business Process Model and Notation (BPMN). OMG, 2011 Sách, tạp chí
Tiêu đề: OMG
13. Denisse Mu~nante Arzapalo, Vanea Chiprianov, Laurent Gallon, and Philippe. A model-driven security requirements approach to deduce security policies based on OrBAC. Springer International Publishing, 2014 Sách, tạp chí
Tiêu đề: Springer International Publishing
14. Vincent C. Hu, Rick Kuhn, and Dylan Yaga. Verification and Test Methods for Access Control Policies/Models. NIST.SP.800-192, 2017 Sách, tạp chí
Tiêu đề: NIST.SP.800-192
15. Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, and Michael Drouineaud. Implementing Advanced RBAC Administration Functionality with USE.Bremen University, 2008 Sách, tạp chí
Tiêu đề: Bremen University
16. Wissam Mallouli, Jean-Marie Orset, and Ana Cavalli. A Formal Approach for Testing Security Rules. Proceedings of the 12th ACM symposium on Access control models and technologies, pages 127-132, 2007 Sách, tạp chí
Tiêu đề: Proceedings of the 12th ACM symposium on Access control models and technologies
17. Basit Shafiq, Ammar Masood, James Joshi, and Arif Ghafoor. A Role-Based Access Control Policy Verification Framework for Real-Time Systems. 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005 Sách, tạp chí
Tiêu đề: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
18. Fabian Büttner, and Martin Gogolla. Modular Embedding of the Object Constraint Language into a Programming Language. 14th Brazilian Symposium on Formal Methods (SBMF2011) LNCS 7021, 2011 Sách, tạp chí
Tiêu đề: 14th Brazilian Symposium on Formal Methods (SBMF2011) LNCS 7021
19. Samir Ouchani, and Mourad Debbabi. Specification, verification, and quantification of security in model-based systems. Computing, 97(7):691-711, 2015 Sách, tạp chí
Tiêu đề: Computing
20. Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, and Yves Le Traon. A model-based framework for security policy specification, deployment and testing. International Conference on Model Driven Engineering Languages and Systems, 2008 Sách, tạp chí
Tiêu đề: International Conference on Model Driven Engineering Languages and Systems

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w