ISBN | 9798516077876 | ||
---|---|---|---|
作者 | Peterson, Jordan T. | 授予学位单位 | Colorado State University. |
导师 | Ray, Indrakshi;Prabhu, Vinayak | 学位 | M.S. |
学科 | Computer science. Information technology. | 国籍 | US |
页码/总页数 | 72 p. / 72 | 出版年 | 2021 |
中图分类号 | TP | ||
关键词 | Alloy Attribute-Based Access Control Conflict identification Formal modeling Next Generation Access Control Redundancy identification |