Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Catherine Dodge"'
Autor:
Carsten Varming, Mark A. Stalzer, Catherine Dodge, Jason Reed, Temesghen Kahsai, Bill Kocik, Preethi Srinivasan, Evgenii Kotelnikov, Pavle Subotic, Jure Kukovec, Andrew Gacek, John Sizemore, Whaley Blake, Mclaughlin Sean, John Backes, Neha Rungta, Sam Bayless, Alan J. Hu, Byron Cook
Publikováno v:
Computer Aided Verification ISBN: 9783030255428
CAV (2)
CAV (2)
Cloud services provide the ability to provision virtual networked infrastructure on demand over the Internet. The rapid growth of these virtually provisioned cloud networks has increased the demand for automated reasoning tools capable of identifying
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ded918ecf6a1f1c51276415bdde3c210
https://doi.org/10.1007/978-3-030-25543-5_14
https://doi.org/10.1007/978-3-030-25543-5_14
Autor:
Oksana Tkachuk, Byron Cook, Andrew Gacek, Neha Rungta, Pauline Bolignano, Carsten Varming, Kasper Søe Luckow, Catherine Dodge, John Backes
Publikováno v:
FMCAD
Cloud computing provides on-demand access to IT resources via the Internet. Permissions for these resources are defined by expressive access control policies. This paper presents a formalization of the Amazon Web Services (AWS) policy language and a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f51ae235f2eb27741c2df5dcbc33b902
https://doi.org/10.23919/fmcad.2018.8602994
https://doi.org/10.23919/fmcad.2018.8602994
Publikováno v:
ACM SIGOPS Operating Systems Review. 39:79-93
The code that initializes a system can be notoriously difficult to understand. In secure systems, initialization is critical for establishing a starting state that is secure. This paper explores two architectures used for bringing an operating system
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::58556a8c802baa644aa28d5967704457
https://doi.org/10.1145/1055218.1055226
https://doi.org/10.1145/1055218.1055226