Verification of Policy-Based Self-Managed Cell Interactions Using Alloy

Authors:
Alberto Schaeffer-Filho;Emil Lupu;Morris Sloman;Susan Eisenbach
Affiliations:
-;-;-;-
Venue:
POLICY '09 Proceedings of the 2009 IEEE International Symposium on Policies for Distributed Systems and Networks
Year:
2009

Citing 0
Cited 2

Context-based behavioral equivalence of components in self-adaptive systems

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
A formally verified mechanism for countering SPIT

CRITIS'10 Proceedings of the 5th international conference on Critical Information Infrastructures Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

An administrative role-based access control (ARBAC) model specifies administrative policies over a role-based access control(RBAC) system, where an administrative permission may change an RBAC policy by updating permissions assigned to roles, or assigning/revoking ...