๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Formal model and policy specification of usage control

โœ Scribed by Zhang, Xinwen; Parisi-Presicce, Francesco; Sandhu, Ravi; Park, Jaehong

Book ID
121872405
Publisher
Association for Computing Machinery
Year
2005
Tongue
English
Weight
285 KB
Volume
8
Category
Article
ISSN
1094-9224

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Formal model and policy specification of
Formal model and policy specification of usage control
โœ Zhang, Xinwen; Parisi-Presicce, Francesco; Sandhu, Ravi; Park, Jaehong ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Association for Computing Machinery ๐ŸŒ English โš– 285 KB

The recent usage control model (UCON) is a foundation for next-generation access control models with distinguishing properties of decision continuity and attribute mutability. A usage control decision is determined by combining authorizations, obligations, and conditions, presented as __UCON__ ~__AB

Formal specification synthesis for relat
Formal specification synthesis for relational database model
โœ Wiwat Vatanawood; Wanchai Rivepiboon ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 156 KB

This article proposes an automatic scheme for synthesizing formal specification from the definitions of the relational data model-entity relationship diagram (ERD), and their data dictionaries. The formal specification of both structural and behavioral properties of the relational database model is