A formal validation of the RBAC ANSI 2012 standard using B. - Huynh, Nghi; Frappier, Marc; Mammar, Amel; Laleau, Régine; Desharnais, Jules (Science of Computer Programming, 2016)