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

Một phần của tài liệu (LUẬN VĂN THẠC SĨ) 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 hoà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 hoà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 quán 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 toán học độ hoà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 đặt mới chỉ mang tính ví dụ và chưa hoàn toàn đầy đủ.

Một phần của tài liệu (LUẬN VĂN THẠC SĨ) 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)