|
|
|
|
LEADER |
00946nam a2200313 4500 |
001 |
DLU090098557 |
005 |
##20091201 |
040 |
# |
# |
|a DLU
|b eng
|
041 |
# |
# |
|a eng
|
044 |
# |
# |
|a uk
|
100 |
# |
# |
|a Power, David.
|
245 |
# |
# |
|a On formalizing and normalizing role-based access control systems /
|c David Power, Mark Slaymaker, Andrew Simpson.
|
653 |
# |
# |
|a Access control
|
653 |
# |
# |
|a D.4.6 security
|
653 |
# |
# |
|a Role-based access controls
|
653 |
# |
# |
|a Software verification
|
653 |
# |
# |
|a Z specification language
|
700 |
# |
# |
|a Simpson, Andrew.
|
700 |
# |
# |
|a Slaymaker, Mark.
|
773 |
# |
# |
|t The Computer Journal
|g Vol. 52, no. 3 (April 2009), p. 305-325
|
920 |
# |
# |
|a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt
|
994 |
# |
# |
|a DLU
|
900 |
# |
# |
|a True
|
911 |
# |
# |
|a Trương Bảo Trâm Anh
|
925 |
# |
# |
|a G
|
926 |
# |
# |
|a A
|
927 |
# |
# |
|a BB
|
980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|