eprintid: 1528
rev_number: 9
eprint_status: archive
userid: 243
dir: disk0/00/00/15/28
datestamp: 2016-05-23 05:25:14
lastmod: 2016-05-24 03:00:51
status_changed: 2016-05-23 05:25:14
type: conference_item
metadata_visibility: show
creators_name: Luong, Thanh Nhan
creators_name: Truong, Ninh Thuan
creators_id: thuantn@vnu.edu.vn
title: Phương pháp kiểm chứng các tính chất an ninh của phần mềm
ispublished: pub
subjects: IT
divisions: fac_fit
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.
date: 2016-03-26
date_type: published
full_text_status: public
pres_type: poster
event_title: SW4PHD: the 2016 Scientific Workshop for PhD Students
event_location: Hanoi
event_dates: 26 March 2016
event_type: workshop
refereed: TRUE
citation:   Luong, Thanh Nhan and Truong, Ninh Thuan  (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.     
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1528/1/Luong%20Thanh%20Nhan%20-%20Poster.pdf