Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Brim, Daniel"'
Autor:
Backes, John, Berrueco, Ulises, Bray, Tyler, Brim, Daniel, Cook, Byron, Gacek, Andrew, Jhala, Ranjit, Luckow, Kasper, McLaughlin, Sean, Menon, Madhav, Peebles, Daniel, Pugalia, Ujjwal, Rungta, Neha, Schlesinger, Cole, Schodde, Adam, Tanuku, Anvesh, Varming, Carsten, Viswanathan, Deepa
Publikováno v:
Computer Aided Verification
The shift to cloud-based APIs has made application security critically depend on understanding and reasoning about policies that regulate access to cloud resources. We present stratified predicate abstraction, a new approach that summarizes complex s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::157498b95d72a9a303b7d701626b38cc
http://europepmc.org/articles/PMC7363185
http://europepmc.org/articles/PMC7363185
