37 citations · 96 across the 20 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.SE2014★ 2 cited
Static Enforcement of Role-Based Access Control
Asad Ali, Maribel Fernández
We propose a new static approach to Role-Based Access Control (RBAC) policy enforcement. The static approach we advocate includes a new design methodology, for applications involvi…
cs.LO2014★ 8 cited
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework
Maribel Fernández, Hélène Kirchner, Bruno Pinaud
We present strategic portgraph rewriting as a basis for the implementation of visual modelling and analysis tools. The goal is to facilitate the specification, analysis and simulat…
cs.PL2014★ 2 cited
General dynamic recovery for compensating CSP
Abeer S. Al-Humaimeedy, Maribel Fernández
Compensation is a technique to roll-back a system to a consistent state in case of failure. Recovery mechanisms for compensating calculi specify the order of execution of compensat…