External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A formal validation of the RBAC ANSI 2012 standard using B

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]

Authors

Nghi Huynh

This author has not been identified. Look up 'Nghi Huynh' in Google

Marc Frappier

This author has not been identified. Look up 'Marc Frappier' in Google

Amel Mammar

This author has not been identified. Look up 'Amel Mammar' in Google

Régine Laleau

This author has not been identified. Look up 'Régine Laleau' in Google

Jules Desharnais

This author has not been identified. Look up 'Jules Desharnais' in Google
runs on