Verification of X.509 Attribute Certificates for Attribute-based Authorization: A Practical Approach.

Diana Berbecaru

Published in: ICSTCC (2021)

Keyphrases

access control
fine grained
dynamic access control
model checking
attribute values
security policies

role based access control
verification method
trust relationships
public key
usage control

access control policies
neural network
signature verification
formal verification
trust management

decision table
management system
website
functional verification
learning algorithm