• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Nghi HuynhMarc FrappierAmel MammarRégine LaleauJules 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