Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/MC.2016.368 | IEEE Computer |
Keywords | Field | DocType |
Safety,Access control,Computer security,Generators,Medical services,NIST,Trust management,Verification | Software engineering,Computer science,Computer security,Correctness,Implementation,NIST,Access control,Test case | Journal |
Volume | Issue | ISSN |
49 | 12 | 0018-9162 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vincent C. Hu | 1 | 143 | 12.86 |
Rick Kuhn | 2 | 222 | 23.41 |