Verification of Resilience Policies that Assist Attribute Based Access Control.
Antonios GouglidisVincent C. HuJeremy BusbyDavid HutchisonPublished in: ABAC@CODASPY (2017)
Keyphrases
- optimal policy
- attribute values
- model checking
- formal verification
- search algorithm
- signature verification
- verification method
- face verification
- false acceptance
- databases
- cryptographic protocols
- multiple attributes
- markov decision processes
- multiagent systems
- distributed systems
- wireless sensor networks
- genetic algorithm