A formal validation of the RBAC ANSI 2012 standard using B.

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

Published in: Sci. Comput. Program. (2016)

Keyphrases

access control
real time
formal model
role based access control
data sets
databases
real world
operating system