Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais. A formal validation of the RBAC ANSI 2012 standard using B. Science of Computer Programming, 131:76-93, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.