Login / Signup
Specification and Verification of Separation of Duty Constraints in Attribute-Based Access Control.
Sadhana Jha
Shamik Sural
Vijayalakshmi Atluri
Jaideep Vaidya
Published in:
IEEE Trans. Inf. Forensics Secur. (2018)
Keyphrases
</>
formal verification
model checking
formal methods
asynchronous circuits
constraint satisfaction
formal specification
genetic algorithm
attribute values
constraint language
web services
data model
constrained optimization
linear constraints