مؤتمر
Semantic-based Automated Reasoning for AWS Access Policies using SMT
العنوان: | Semantic-based Automated Reasoning for AWS Access Policies using SMT |
---|---|
المؤلفون: | Backes, John, Bolignano, Pauline, Cook, Byron, Dodge, Catherine, Gacek, Andrew, Luckow, Kasper, Rungta, Neha, Tkachuk, Oksana, Varming, Carsten |
المصدر: | 2018 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2018. :1-9 Oct, 2018 |
Relation: | 2018 Formal Methods in Computer Aided Design (FMCAD) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9780983567882 |
---|---|
DOI: | 10.23919/FMCAD.2018.8602994 |