Validating the RBAC ANSI 2012 Standard Using B.

Nghi Huynh Marc Frappier Amel Mammar Régine Laleau Jules Desharnais

Published in: ABZ (2014)

Keyphrases

access control
real time
learning algorithm
computer vision
information systems
multi agent
expert systems
artificial neural networks
hidden markov models