Nội dung chi tiết: Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềm
Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềm
ĐẠI HOC QUOC GIA HÀ N I TRƯ NG ĐẠI HOC CÔNG NGHLƯƠNG THANH NHẠNM T SO PHƯƠNG PHÁP KIEM CHỨNG CÁC CHÍNH SÁCH ĐIEU KHIEN TRUY c pCHO H THONG PHAN MEMLU Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềm N ÁN TIEN sĩ CONG NGH THONG TINHà N i- 2021https://khothu vien .comĐẠI HOC QUOC GIA HÀ N I TRƯ NG ĐẠI HOC CÔNG NGHLƯƠNG THANH NHẠNM T SO PHƯƠNG PHÁP KIEM CHỨNG CÁC CHÍNH SÁCH ĐIEU KHIEN TRUY c pCHO H THONG PHAN MEMChuyên ngành: Kỷ thu t phan mem Mã so: 9480103.01LU N AN TIEN SI CÔNG NGH THÔNG TINNG Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềmƯOI HƯONG DAN KHOA HOC:PGS.TS. Trương Ninh Thu nHà N i- 2021L i cam đoanTôi xin cam đoan lu n án “M t so phương pháp kiem chtíng các chính sách đieu k
Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềm
hien truy c p cho h thong phan mem” là còng trình nghiên cáu cúa riêng tôi. Các so li u, ket quã được trình bày trong lu n án là hoàn toàn trung thực ĐẠI HOC QUOC GIA HÀ N I TRƯ NG ĐẠI HOC CÔNG NGHLƯƠNG THANH NHẠNM T SO PHƯƠNG PHÁP KIEM CHỨNG CÁC CHÍNH SÁCH ĐIEU KHIEN TRUY c pCHO H THONG PHAN MEMLU Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềmong nước và quoc te. Ngoại trà các tài li u tham khảo này, lu n án hoàn toàn là còng vi c cúa riêng tỏi.□Trong các còng trình khoa hoc được còng bo trong lu n án, tòi đã the hi n rõ ràng và chính xác đóng góp cúa các đong tác giá và nhăng gì do tòi đã đóng góp.□Lu n án được hoãn thành trong thời gia Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềmn tôi làm Nghiên cáu sinh tại B* món Công ngh phan mem, Khoa Còng ngh Thòng tin. Trường Đại hoc Công ngh , Đại hoc Quoc gia Hà N*i.Tác giá:Hà N*i:L i
Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềm
cảm ơnTrước het, tôi muon bày tó sự biet ơn đen PGS.TS. Trương Ninh Thu n, cán b’ hướng dan. người đã trực tiep giáng dạy và định hướng tôi trong suotĐẠI HOC QUOC GIA HÀ N I TRƯ NG ĐẠI HOC CÔNG NGHLƯƠNG THANH NHẠNM T SO PHƯƠNG PHÁP KIEM CHỨNG CÁC CHÍNH SÁCH ĐIEU KHIEN TRUY c pCHO H THONG PHAN MEMLU Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềmvinh dự lớn cho tôi khi được hoc t p, nghiên cáu dưới sự hướng dan cúa Thay.Tôi xin bày tò sự biet ơn sâu sac đen các Thay, cò trong BT môn công ngh phan mem vì sự t n tâm. giúp đơ cúa các Thay cỏ vã các đóng góp rat hãu ích cho lu n án.Tôi xin trân trong cám ơn Khoa công ngh thông tin, Phòng Đào tạ Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềmo và Ban Giám hi u trường Đại hoc công ngh đà tạo đieu ki n thu n lợi cho tòi trong suot quá trình hoc t p và nghiên cáu tại Trường.Tòi cũng bày tò sự
Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềm
biet ơn đen Ban Giám hi u, các Phòng, Ban, B’ môn liên quan trong Trường Đại hoc Y Dược Hài Phòng đã tạo đieu ki n ve thời gian và tài chính cho tòi ĐẠI HOC QUOC GIA HÀ N I TRƯ NG ĐẠI HOC CÔNG NGHLƯƠNG THANH NHẠNM T SO PHƯƠNG PHÁP KIEM CHỨNG CÁC CHÍNH SÁCH ĐIEU KHIEN TRUY c pCHO H THONG PHAN MEMLU Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềmn tôi trong suot quá trình nghiên cáu.Tôi muon càm ơn đen tat cà nhăng người bạn cùa tói. các anh/chị/em nghiên cáu sinh - nhăng người luôn chia sẻ. đ* ng viên tôi bat cá khi nào tôi can và tòi luôn ghi nhớ nhăng đieu đó.Cuoi cùng, tôi xin bày tó lòng biet ơn vô hạn đoi với cha, me, chong, con đã lu Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềmôn ủng h* và yêu thương tôi vô đỉeu ki n. Neu không có sự ủng h* cùa gia đình tôi không the hoàn thành được lu n án này.NCS. Lương Thanh Nhạn::Tóm tat
Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềm
Các h thong phan mem hi n được sả dụng sáu r* ng trong hau het moi lĩnh vực. Bên cạnh nhăng lợi ích mà phan mem mang lại cho con người thì các van đe ĐẠI HOC QUOC GIA HÀ N I TRƯ NG ĐẠI HOC CÔNG NGHLƯƠNG THANH NHẠNM T SO PHƯƠNG PHÁP KIEM CHỨNG CÁC CHÍNH SÁCH ĐIEU KHIEN TRUY c pCHO H THONG PHAN MEMLU Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềmng nhảng bi n pháp hi u quà đe thực thi chính sách an ninh của các h thong phan mem nham ngăn ch n các vi phạm truy c p. Tuy nhiên, quá trình trien khai chính sách đieu khien truy c p của các h thong áng dụng luôn tiem ăn các loi. nhat là ở giai đoạn I p trình. Neu nhăng loi này được phát hi n càng Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềmmu: n thì chi phí sãa chăa h thong càng lớn và h u quá càng phác tạp. Đây cũng là van đe luôn được quan tâm bới cà c’ ng đong phát trien phan mem. Chí
Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềm
nh vì the, trong quá trình xây dựng và phát trien phan mem, vi c kiem cháng tà mã nguon cùa áng dụng đe đàm bào chính sách đieu khien truy c p được trĐẠI HOC QUOC GIA HÀ N I TRƯ NG ĐẠI HOC CÔNG NGHLƯƠNG THANH NHẠNM T SO PHƯƠNG PHÁP KIEM CHỨNG CÁC CHÍNH SÁCH ĐIEU KHIEN TRUY c pCHO H THONG PHAN MEMLU Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềmh, lu n án đe xuat m*t so phương pháp kiem cháng chính sách đieu khien truy c p cúa các h thong web. Cụ the, các h thong web mà lu n án hướng đen phân tích đeu được xây dựng bời ngôn ngá I p trình Java theo kien trúc MVC (Model-View-Controller) và có chính sách đieu khien truy c p theo vai trò ho c Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềmchính sách đieu khien truy c p theo thuec tính được trien khai theo phương pháp an ninh I p trinh, an ninh khai báo. Các đóng góp chính cúa lu n án ba
Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềm
o gom:ĐẠI HOC QUOC GIA HÀ N I TRƯ NG ĐẠI HOC CÔNG NGHLƯƠNG THANH NHẠNM T SO PHƯƠNG PHÁP KIEM CHỨNG CÁC CHÍNH SÁCH ĐIEU KHIEN TRUY c pCHO H THONG PHAN MEMLU ĐẠI HOC QUOC GIA HÀ N I TRƯ NG ĐẠI HOC CÔNG NGHLƯƠNG THANH NHẠNM T SO PHƯƠNG PHÁP KIEM CHỨNG CÁC CHÍNH SÁCH ĐIEU KHIEN TRUY c pCHO H THONG PHAN MEMLU