Analysis and implementation of a formal authorization policy design approach

DOI10.1007/BFB0027939MaRDI QIDQ4501478zbMATH OpenFDO

Authors Yun Bai, Vijay Varadharajan

Publication date 28 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0027939

zbMATH Keywords

authorization policiescomplexitieslogic based specificationtransformations

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Analysis of algorithms and problem complexity (68Q25) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Logical approaches to authorization policies
• A language for specifying sequences of authorization transformations and its applications.
• scientific article; zbMATH DE number 1996492
• Formal specification and validation of security policies
• An authorization model and its formal semantics

Cited in

(4)

• High level conflict management strategies in advanced access control models
• Policy Administration in Tag-Based Authorization
• Special issue: Data and knowledge fusion. Part 2 of 2
• Merging regulations: Analysis of a practical example

This page was built for publication: Analysis and implementation of a formal authorization policy design approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501478)