UNLIMITED FREE
ACCESS TO THE WORLD'S BEST IDEAS

SUBMIT
Already a GlobalSpec user? Log in.

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

Customize Your GlobalSpec Experience

Select Your Free Newsletters

Industry Newsletters

Select Your Free Product Alerts

Finish!
Privacy Policy

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

ISO/IEC 13568

Information technology - Z formal specification notation - Syntax, type system and semantics - TECHNICAL CORRIGENDUM 1

active, Most Current
Buy Now
Organization: ISO
Publication Date: 15 July 2007
Status: active
Page Count: 12
ICS Code (Languages used in information technology): 35.060

Document History

ISO/IEC 13568
July 15, 2007
Information technology - Z formal specification notation - Syntax, type system and semantics - TECHNICAL CORRIGENDUM 1
A description is not available for this item.
ISO/IEC 13568
July 1, 2002
Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics
A description is not available for this item.

References

This document is referenced by:
ANSI INCITS 359 - Information Technology – Role Based Access Control
Published by ANSI on May 29, 2012
This standard consists of two main parts – the RBAC Reference Model and the RBAC System and Administrative Functional Specification. The RBAC Reference Model defines sets of basic RBAC elements...
This document is referenced by:
ANSI/INCITS 494 - Information Technology – Role Based Access Control – Policy-Enhanced
Published by ANSI on July 26, 2012
Role Based Access Control (RBAC) has been criticized for the difficulty of setting up an initial role structure and for inflexibility in rapidly changing domains. A pure RBAC solution may provide...
This document is referenced by:
ANSI/INCITS 499 - Information Technology – Next Generation Access Control – Functional Architecture (NGAC-FA)
Published by ANSI on January 3, 2018
NGAC follows an attribute-based construction in which characteristics or properties are used to describe and manage policy and to control access to resources. The family of NGAC standards specifies...
This document is referenced by:
ANSI/INCITS 526 - Information Technology – Next Generation Access Control – Generic Operations and Data Structures (NGAC-GOADS)
Published by ANSI on February 17, 2016
This standard provides a detailed refinement of the definitions and concepts in the access control architecture and framework defined by the NGAC-FA standard. To provide a precise specification of...
This document is referenced by:
CSA ISO/IEC 10746-4 - Information technology — Open Distributed Processing — Reference Model: Architectural semantics
Published by CSA on January 1, 2001
The rapid growth of distributed processing has lead to a need for a coordinating framework for the standardization of Open Distributed Processing (ODP). This Reference Model of ODP provides such a...
View Less
View All
Advertisement