Access Control Policy Verification.
To ensure that an access control (AC) system is safe, there must be a reliable means to verify that the specified AC policy model conforms to the safety requirements and policy author's intentions. A general verification approach includes black-box and white-box testing, as well as the generation of...
| Publicado en: | Computer (00189162) Vol. 49; no. 12; pp. 80 - 84 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
IEEE
Dec2016
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=119803548&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 119803548 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Dec2016 vid: 49 iid: 12 pid: 13605 pub: IEEE artinfo: ui: 119803548 10.1109/MC.2016.368 ppf: 80 ppct: 4 formats: tig: atl: Access Control Policy Verification. aug: au: Hu, Vincent C. Kuhn, Rick affil: NIST su: Computer access control Computer security Reliability in engineering Computer software testing Computers in medical care sug: subj: Computer access control Computer security Reliability in engineering Computer software testing Computers in medical care keyword: Access control Cybertrust Generators Medical services model verification NIST Safety security Testing ab: To ensure that an access control (AC) system is safe, there must be a reliable means to verify that the specified AC policy model conforms to the safety requirements and policy author's intentions. A general verification approach includes black-box and white-box testing, as well as the generation of sufficient test cases to check the correctness of model implementations. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2016 holdings: @attributes: islocal: N |
|---|