| 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í |
|
| 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í |
|
| 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í |
|
| 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í |
|
| 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 |
|