Related Experiment Video
Updated: Jan 23, 2026

Manual Restraint and Common Compound Administration Routes in Mice and Rats
Published on: September 26, 2012
Security Analysis of ABAC under an Administrative Model
Sadhana Jha1, Shamik Sural2, Vijayalakshmi Atluri3
1Advanced Technology Development Center, Indian Institute of Technology, Kharagpur, India.
Abstract:
In the present day computing environment, where access control decisions are often dependent on contextual information like the location of the requesting user and the time of access request, Attribute Based Access Control (ABAC) has emerged as a suitable choice for expressing security policies. In an ABAC system, access decisions depend on the set of attribute values associated with the subjects, resources and the environment in which an access request is made. In such systems, the task of managing the set of attributes associated with the entities as well as that of analyzing and understanding the security implications of each attribute assignment is of paramount importance. In this paper, we first introduce a comprehensive attribute based administrative model, named as AMABAC (Administrative Model for ABAC), for ABAC systems and then suggest a methodology for analyzing the security properties of ABAC in the presence of the administrative model. For performing analysis, we use μZ, a SMT (Satisfiability Modulo Theories) based model checking tool. We study the impact of the various components of ABAC and AMABAC on the time taken for security analysis.
Related Concept Videos
Two-Compartment Open Model: Extravascular Administration
The absorption exponent (ka) indicates the speed at which the drug...
One-Compartment Open Model for Extravascular Administration: Zero-Order Absorption Model
Zero-order absorption maintains a steady rate irrespective of the amount of drug left to be absorbed, making it a constant process. In the...
One-Compartment Open Model for Extravascular Administration: First-Order Absorption Model
Two-Compartment Open Model: IV Bolus Administration
The disparity between drug input and the sum of drug transfer rates between...
One-Compartment Open Model for IV Bolus Administration: General Considerations
The drug's presence in the body is defined by an equation representing the difference between the rates of drug entry and exit. Key parameters—elimination rate constant,...
One-Compartment Open Model for IV Bolus Administration: Estimation of Clearance
In the one-compartment open model for intravenous (IV) bolus administration, clearance is estimated by dividing the elimination rate by the plasma drug concentration. This equation leverages the elimination rate constant and the apparent...

