SZodixStudyAcademic Library

Shelves Open access

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

Automated analysis of security-design models · Study

ArticleShelves

ArticleAutomated analysis of security-design models

David Basin2008

Article2008

Automated analysis of security-design models

David Basin · Manuel Clavel · Jürgen Doser · Marina Egea

125 citations·0/0 files stored·Information and Software Technology

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 Formal Methods in Verification Model-Driven Software Engineering Techniques

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 — 125 citations exist upstream.

References

2001Proposed NIST standard for role-based access control 2006Model driven security 2003Model driven security for process-oriented systems

Related works

Explore the map →

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

2009Extending access control models with break-glassother · 2 shared references 2002SecureUML: A UML-Based Modeling Language for Model-Driven Securityother · 1 shared reference 2004A generalized temporal role-based access control modelarticle · 1 shared reference 2004Organization based access controlother · 1 shared reference 2006Model driven securityarticle · 1 shared reference 2005Database security - concepts, approaches, and challengesarticle · 1 shared reference

Details

Year2008

Typearticle

Published2008-05-16

VenueInformation and Software Technology

ISSN-L0950-5849

Languageen

Citations125

Files0 public / 0

ShelfAccess Control and Trust

Identifiers

doi10.1016/j.infsof.2008.05.011

openalex_workW1963887709

Links

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