.Những hạn chế của luận văn

Một phần của tài liệu Phương pháp hướng đối tượng và phân tích thiết kế an ninh hệ thống (Trang 71 - 72)

Do thời gian nghiên cứu không dài, kinh nghiệm và khả năng của tác giả còn nhiều hạn chế, nên luận văn cịn chưa hồn thiện ở các điểm sau:

1. Chỉ giải quyết một vấn đề an ninh Như đã đề cập ở phần 2.2.1, một hệ thống

được xây dựng còn rất nhiều mối quan tâm an ninh khác, nhưng phạm vi luận văn chỉ đưa ra nghiên cứu và giải quyết vấn đề đảm bảo an toàn khi truy xuất dữ liệu giữa các thành phần khác nhau trong hệ thống.

2. Chưa sử dụng OCL để biểu diễn các chính sách an ninh Khi đưa ra bảng mơ

tả chính sách an ninh (Bảng 4.3), chúng tơi chưa có đủ thời gian và khả năng để diễn đạt thành ngơn ngữ chính quy OCL. Điều này do thực tế số thiết kế viên, lập trình viên hiểu và vận dụng được OCL rất ít. Tuy nhiên, nếu biểu diễn đuợc dưới dạng OCL thì có thể xây dựng được các cơng cụ kiểm chứng mơ hình và đề tài sẽ trở nên hoàn thiện hơn.

3. Chưa xây dựng được cơng cụ kiểm chứng mơ hình Khi đưa ra mơ hình UML

cùng với các dấu đặc trưng mới (bảng 4.1), chúng tơi chưa có đủ khả năng cũng như thời gian để xây dựng một cơng cụ kiểm chứng mơ hình hồn thiện, giúp việc kiểm chứng tính đúng đắn của mơ hình đề xuất, và đảm bảo tính nhất qn giữa mơ hình phân tích với mơ hình thiết kế ở các bước tiếp theo.

4. Chưa có những chứng minh về lý thuyết Đề tài cịn thiếu các phân tích về lý

thuyết (chứng minh về mặt tốn học độ hồn thiện của giải pháp), cịn mang nặng tính thực hành, nghiêng về xây dựng các bước biểu diễn. Điều này xuất phát từ thực tế, là tác giả chưa có nhiều kinh nghiệm nghiên cứu lý thuyết mà chỉ có những kinh nghiệm xuất phát từ thực tế công tác.

5. Chưa cài đặt đầy đủ các tình huống Các tình huống đưa ra trong đề tài để cài

Một phần của tài liệu Phương pháp hướng đối tượng và phân tích thiết kế an ninh hệ thống (Trang 71 - 72)

Tải bản đầy đủ (PDF)

(75 trang)