A metamodel of the b modeling of access-control policies: work in progress

Authors:
Jérémy Milhau;Marc Frappier;Régine Laleau
Affiliations:
GRIL, Département Informatique, Université de Sherbrooke, Sherbrooke, Québec, Canada;GRIL, Département Informatique, Université de Sherbrooke, Sherbrooke, Québec, Canada;Département Informatique, Université Paris-Est, LACL, IUT Sénart Fontainebleau, Fontainebleau, France
Venue:
FPS'11 Proceedings of the 4th Canada-France MITACS conference on Foundations and Practice of Security
Year:
2011

Citing 5
Cited 0

The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
SecureUML: A UML-Based Modeling Language for Model-Driven Security

UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
An approach to engineer and enforce context constraints in an RBAC environment

Proceedings of the eighth ACM symposium on Access control models and technologies
Systematic translation rules from ASTD to event-B

IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Combining UML, ASTD and B for the formal specification of an access control filter

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Verification and validation of access-control policies for information systems is a difficult yet necessary task. In order to take advantage of the formal properties and tools of the B method, we introduce in this paper a metamodel of the B modeling of access control policies. This metamodel lead to the development of a formal prototype of an access control filter combined to the system. It allows verification and validation of policies before implementation.