Trên cơ sở các nghiên cứu hiện tại, các ý tưởng cơ sở này, chúng tơi thấy rằng có thể tiếp tục phát triển theo các hướng như sau:
1. Hồn hiện quy trình Xây dựng các ý tưởng thành một quy trình hồn thiện, giải
quyết vấn đề đặc tả các mối quan tâm an ninh thích hợp cho các hệ thống cỡ vừa và nhỏ.
2. Chứng minh lý thuyết Các ý tưởng của đề tài cần được chứng minh về lý thuyết
đảm bảo tính hồn thiện và tính chặt chẽ khi áp dụng.
3. Xây dựng công cụ kiểm chứngXây dựng công cụ kiểm chứng mơ hình để đảm bảo
tính thống nhất giữa mơ hình phân tích và mơ hình thiết kế.
4. Xây dựng công cụ sinh ca kiểm thử tự động Xây dựng công cụ sinh các ca kiểm
Chỉ mục
đặc trưng, stereotype, 14
biểu đồ hoạt động, activity diagram, 14 biểu đồ lớp, class diagram, 18
biểu đồ trường hợp sử dụng, use case dia- gram, 16
biểu đồ, diagram, 14
hồ sơ UML, UML profile, 14 hướng chức năng, 11
kiểm tra quyền theo vai trị, rbac, 23
Lập trình hướng khía cạnh, AOP, 54, 57
Mơ hình đối phương, adversary model, 23
phân tích trên xuống, 11
phương pháp hướng đối tượng, 12
tác nhân, actor, 14
Tiếng Anh
[1] David Chizmadia. Security Risks in Systems of Distributed Objects, Components, and Services. Sixth workshop on distributed objects and components security, 2002.
[2] The Object Management Group. Unified Modeling Language Superstructure. Object Management Group, 2009.
[3] Jan Jăurjens. UMLsec Presenting the Profile. Sixth workshop on distributed objects and components security, 2002.
[4] Djedjiga Mouheb, Chamseddine Talhi, Vitor Lima, Mourad Debbabi, Lingyu Wang, and Makan Pourzandi. Weaving security aspects into UML 2.0 design models. AOM ’09. Proceedings of the 13th workshop on Aspect-oriented modeling, New York, NY, USA, 2009.
[5] Jaime Pavlich-mariscal, Laurent Michel, and Steven Demurjian. Enhancing UML to Model Custom Security Aspects [Position Paper]. Sixth workshop on distributed objects and components security, 2002.
[6] Karine P. Peralta, Alex M. Orozco, Avelino F. Zorzo, and Flavio M. Oliveira. Specifying Security Aspects in UML Models. Knowledge and Systems Engineering, International Conference on, 1999.
[7] Ninh-Thuan Truong and Jeanine Souquières. Verification of behavioural elements of UML models using B. Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, 2005.
Tiếng Việt
[8] Thạc Bình Cường. Giáo trình phân tích và thiết kế hệ thống thơng tin. Đại học Bách khoa Hà Nội, 1999.
[9] Đào Kiến Quốc. Phân tích và thiết kế hệ thống tin học hố. Đại học quốc Gia Hà nội, 1999.
[10] Trung tâm an ninh mạng BKIS. Báo cáo đánh giá mức độ an ninh các website Việt nam. Báo cáo đánh giá mức độ an ninh các website Việt nam, 2010.
[11] Ngơ Trung Việt. Phân tích và thiết kế hệ thống quản lý kinh doanh nghiệp vụ. Nhà xuất bản Thống kê, 1999.