SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Automated verification of access control policies using a SAT solver · Study

ArticleShelves

ArticleAutomated verification of access control policies using a SAT solver

Tevfik Bultan2008

Article2008

Automated verification of access control policies using a SAT solver

103 citations·0/0 files stored·International Journal on Software Tools for Technology Transfer

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Access Control and Trust Logic, programming, and type systems Formal Methods in Verification

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 103 citations exist upstream.

References

1996Role-based access control models 1994Access control: principle and practice 1993Lattice-based access control models 2001Flexible support for multiple access control policies 2001Access Control: Policies, Models, and Mechanisms 2005How to Declare Access Control Policies for XML Structured Information Objects using OASIS' eXtensible Access Control Markup Language (XACML)1993A calculus for access control in distributed systems 2002A fine-grained access control system for XML documents

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2008Status-Based Access Controlarticle · 5 shared references 2004A logical specification for usage controlother · 5 shared references 2012A Unified Attribute-Based Access Control Model Covering DAC, MAC and RBACother · 4 shared references 2005Formal model and policy specification of usage controlarticle · 4 shared references 2003A logical framework for reasoning about access control modelsarticle · 4 shared references 2001SPL: An Access Control Language for Security Policies and Complex Constraints.other · 4 shared references

Details

Year2008

Typearticle

Published2008-10-20

VenueInternational Journal on Software Tools for Technology Transfer

ISSN-L1433-2779

Languageen

Citations103

Files0 public / 0

ShelfAccess Control and Trust

Identifiers

doi10.1007/s10009-008-0087-9

openalex_workW2064070192

Links

Imported from OpenAlex (CC0) — nothing here is generated.