Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Varming, Carsten"'
Autor:
Nilsen, Arne O., Varming, Carsten
Publikováno v:
EA National Conference Publications; 2023, p768-774, 7p
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
Autor:
Varming, Carsten, Birkedal, Lars
Publikováno v:
In Electronic Notes in Theoretical Computer Science 22 October 2008 218:371-389
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Theorem Proving in Higher Order Logics (9783642033582); 2009, p115-130, 16p