Dynamic Access Control Policies: Specification and Verification

Computer Journal - United Kingdom
doi 10.1093/comjnl/bxs102
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Conformance Checking of Dynamic Access Control Policies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Towards Formal Verification of Role-Based Access Control Policies

IEEE Transactions on Dependable and Secure Computing
Electronic EngineeringElectricalComputer Science
2008English

Formal Specification and Verification of Dynamic Parametrized Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Access Control: Policies, Models, and Mechanisms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies

Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007)
2007English

Resiliency Policies in Access Control

ACM Transactions on Information and System Security
QualityReliabilitySafetyComputer ScienceRisk
2009English

Formal Specification and Verification

2019English

Mining Relationship-Based Access Control Policies

2017English

Analyzing and Managing Role-Based Access Control Policies

IEEE Transactions on Knowledge and Data Engineering
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy