SZodixStudyAcademic Library

Shelves Open access

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

Specifying and Reasoning About Dynamic Access-Control Policies · Study

WorkSpecifying and Reasoning About Dynamic Access-Control Policies

Daniel J. Dougherty2006

Work2006

Specifying and Reasoning About Dynamic Access-Control Policies

Daniel J. Dougherty · Kathi Fisler · Shriram Krishnamurthi

131 citations·0/0 files stored·Lecture notes in computer science

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, Reasoning, and Knowledge 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 — 131 citations exist upstream.

References

1996Role-based access control models 1976Protection in operating systems 2001TRBAC 1974Protection 2003Delegation logic 2005Verification and change-impact analysis of access-control policies 2002An algebra for composing access control policies 2005Binder, a logic-based security language

Related works

Explore the map →

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

2003Logic in access controlother · 5 shared references 2005Beyond proof-of-compliance: security analysis in trust managementarticle · 5 shared references 2008Status-Based Access Controlarticle · 5 shared references 2004RT: a Role-based Trust-management frameworkother · 4 shared references 2010SecPAL: Design and semantics of a decentralized authorization languagearticle · 4 shared references 2007Design and Semantics of a Decentralized Authorization Languageother · 4 shared references

Details

Year2006

Typeother

Published2006-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations131

Files0 public / 0

ShelfAccess Control and Trust

Identifiers

doi10.1007/11814771_51

openalex_workW1599739130

Links

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