VNU-UET Repository

Phương pháp kiểm chứng các tính chất an ninh của phần mềm

Thanh Nhan Luong and Ninh Thuan Truong (2016) Phương pháp kiểm chứng các tính chất an ninh của phần mềm. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

[img] PDF
372kB

Abstract

Trong giai đoạn kỹ thuật công nghệ phát triển như hiện nay, an ninh là yêu cầu quan trọng đối với hệ thống chăm sóc sức khỏe vì nhu cầu cần bảo vệ các thông tin riêng tư của bệnh nhân. Việc tích hợp các chính sách an ninh vào hệ thống phần mềm này là rất cần thiết để giảm thiểu các vi phạm an ninh. Kiểm soát truy cập dựa trên vai trò là phương pháp hiệu quả để thực hiện các tính chất an ninh cơ bản của một phần mềm an toàn. Nghiên cứu trình bày một phương pháp để đặc tả các yêu cầu an ninh trong hệ thống khám chữa bệnh. Bên cạnh việc đề xuất một phương pháp chứng minh sự đáp ứng của các yêu cầu an ninh với một hệ thống phần mềm này, một công cụ kiểm chứng cũng được giới thiệu.

Item Type:Conference or Workshop Item (Poster)
Subjects:Information Technology (IT)
Divisions:Faculty of Information Technology (FIT)
ID Code:1528
Deposited By: Dr Ngoc Thang Bui
Deposited On:23 May 2016 05:25
Last Modified:24 May 2016 03:00

Repository Staff Only: item control page