== RBAC Resources ==
The National Institue of Standards and Technology maintains a comprehensive RBAC web site  [[http://csrc.nist.gov/rbac/  Role Based Access Control]] edited by David Ferraiolo, Rick Kuhn, Ramaswamy Chandramouli, and John Barkley.  This site includes sections on RBAC Standards, RBAC Design and Implementation, Downloadable RBAC Software, and NIST RBAC Patents.  It references  [[http://orbit-lab.org/attachment/wiki/Internal/Rbac/RbacResources/rbacSTD-ACM.pdf FSGE01]] as a tutorial on the model used in RBAC.

There is a book that covers the background and most technical apects of RBAC:  [[http://www.amazon.com/gp/product/1580533701/102-0938547-5630513?v=glance&n=283155 Role-Based Access Control]], David F. Ferraiolo, D. Richard Kuhn, and Ramaswamy Chandramouli, Artech House, Inc., Norwood, MA, USA, 2003.

Role Based Access Control (RBAC) is an American Standard:   [[http://orbit-lab.org/attachment/wiki/Internal/Rbac/RbacResources/ANSI+INCITS+359-2004.pdf American National Standard for Information Technology - Role Based Access Control]], American National Standards Institute Inc, ANSI INCITS 359-2004, February 2004.

The RBAC standard uses the Z Formal Specification Notation to specify the actions of RBAC methods.  It is an International Standard:  [[http://orbit-lab.org/attachment/wiki/Internal/Rbac/RbacResources/c021573_ISO_IEC_13568_2002E.pdf Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics]], ISO/IEC International Standard 13568:2002(E), July 2002.  An important Z reference:  [[http://orbit-lab.org/attachment/wiki/Internal/Rbac/RbacResources/zrm.pdf The Z Notation: A Reference Manual, Second Edition]], J. M. Spivey, Oriel College, Oxford, UK, 1998.

The Z Formal Specification Notation employs a number of special symbols.  Each of these special symbols can be represented in [[http://www.unicode.org Unicode]], and, although Trac uses Unicode internally, some of these symbols may not display with any of the fonts available on your browser.  BTW, any Unicode code point can be entered in Trac using its four-digit hexadecimal value from the Unicode code charts and the HTML ꯟ format in an HTML block like the blue one below on the right, then that character may be cut and pasted from the resulting page.

{{{
#!html
<h1 style="text-align: right; color: blue"> &#x2200;&#x27ea;&#x27e6;&#x22a6;&#x2a65;&#x29f9;&#x22c3;&#x27e7;&#x27eb; </h1>
}}}

=== RBAC References ===
to be attached here, all 225 of them