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

Formal specification and analysis of intelligent agents for model-based medicine usage management

โœ Scribed by Hoogendoorn, Mark; Klein, Michel C.A.; Memon, Zulfiqar A.; Treur, Jan

Book ID
120465885
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
423 KB
Volume
43
Category
Article
ISSN
0010-4825

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
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