| | 23 | Role Based Access Control (RBAC) is now an American Standard: [[ftp://orbit-lab.org/internal3/ANSI+INCITS+359-2004.pdf Inc04]] American National Standards Institute Inc. American National Standard for Information Technology - Role Based Access Control. ANSI INCITS 359-2004, February 2004. |
| | 24 | |
| | 25 | This standard uses the Z Formal Specification Notation that is an International Standard: [[ftp://orbit-lab.org/internal3/c021573_ISO_IEC_13568_2002E.pdf ISO02]] ISO/IEC. Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics. Technical Report 13568:2002, ISO/IEC, July 2002. International Standard. |
| | 26 | |
| | 27 | Another Z reference: [[ftp://orbit-lab.org/internal3/zrm.pdf Spi98]] J. M. Spivey. ''The Z Notation: A Reference Manual, Second Edition''. Oriel College. J. M. Spivey, Oxford, UK, 1998. |
| | 28 | |
| | 29 | The Z Formal Specification Notation uses a number of special symbols that can be represented in [[http://www.unicode.org Unicode]], and Trac uses Unicode internally, but some of them may not display with any of the fonts available on your browser. Any Unicode code point can be entered in Trac in an HTML block like this one |
| | 34 | then cut and pasted from the resulting page. |
| | 35 | |
| | 36 | [[ftp://orbit-lab.org/internal3/861998.pdf FKC03]] David F. Ferraiolo, D. Richard Kuhn, and Ramaswamy Chandramouli. ''Role-Based Access Control''. Artech House, Inc., Norwood, MA, USA, 2003. |
| | 37 | |
| | 38 | [[ftp://orbit-lab.org/internal3/NIST-rbac-site.pdf FKCB06]] David Ferraiolo, Rick Kuhn, Ramaswamy Chandramouli, and John Barkley. Role-Based Access Control. National Institue of Standards and Technology web site, August 2006. http://csrc.nist.gov/rbac/. |
| | 39 | |
