About: Stratified Abstraction of Access Control Policies

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Stratified Abstraction of Access Control Policies Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	Stratified Abstraction of Access Control Policies
Creator	Cook, Byron Menon, Madhav Backes, John Berrueco, Ulises Bray, Tyler Brim, Daniel Gacek, Andrew Jhala, Ranjit Luckow, Kasper Mclaughlin, Sean Peebles, Daniel Pugalia, Ujjwal Rungta, Neha Schlesinger, Cole Schodde, Adam Tanuku, Anvesh Varming, Carsten Viswanathan, Deepa
Source	PMC
abstract	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 security policies into a compact set of positive and declarative statements that precisely state who has access to a resource. We have implemented stratified abstraction and deployed it as the engine powering AWS’s IAM Access Analyzer service, and hence, demonstrate how formal methods and SMT can be used for security policy explanation .
has issue date	2020-06-13(xsd:dateTime)
bibo:doi	10.1007/978-3-030-53288-8_9
has license	cc-by
sha1sum (hex)	23fe428486b7b73d911785d559f329f753ec53f3
schema:url	https://doi.org/10.1007/978-3-030-53288-8_9
resource representing a document's title	Stratified Abstraction of Access Control Policies
has PubMed Central identifier	PMC7363185
schema:publication	Computer Aided Verification
resource representing a document's body	covid:23fe428486b7b73d911785d559f329f753ec53f3#body_text
is schema:about of	named entity 'access' named entity 'precisely' named entity 'critically' named entity 'regulate' named entity 'summarizes' named entity 'Stratified' named entity 'Access Control' named entity '27S' named entity 'AWS' named entity 'SERVICE' named entity 'access' named entity 'engine' named entity 'deployed' named entity 'stratified' named entity 'formal methods' named entity 'complex' named entity 'positive' named entity 'predicate abstraction' named entity 'declarative statements' named entity 'cloud-based' named entity 'security policies' named entity 'abstraction' named entity 'AWS' named entity 'software correctness' named entity 'Zelkova' named entity 'computing' named entity 'firewall' named entity 'IP addresses' named entity 'state space' named entity 'specification problem' named entity 'false-alarms' named entity 'Oracle' named entity 'algorithm' named entity 'Intel Core' named entity 'Identity and Access Management' named entity 'computing systems' named entity 'AWS' named entity 'computationally intractable' named entity 'answer questions' named entity 'access control' named entity 'Zelkova' named entity 'syntactic' named entity 'ACL' named entity 'Zelkova' named entity 'algorithm' named entity 'Simple Storage Service' named entity 'predicate abstraction' named entity 'associative arrays' named entity 'formal methods' named entity 'Amazon DynamoDB' named entity 'algorithm' named entity 'computing' named entity 'query language' named entity 'compact representation' named entity 'Zelkova' named entity 'algorithm' named entity 'algorithm' named entity 'SAT' named entity 'finite set' named entity 'security policies' named entity 'formal methods' named entity 'predicate abstraction' named entity 'Zelkova' named entity 'Amazon SQS' named entity 'algorithm' named entity 'Zelkova'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software