10 citations · 10 across the 2 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.SE2018
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B
Inna Vistbakka, Elena Troubitsyna
Role-Based Access Control (RBAC) is a popular authorization model used to manage data-access constraints in a wide range of systems. RBAC usually defines the static view on the acc…
cs.SE2018
Securing Open Source Clouds Using Models
Irum Rauf, Elena Troubitsyna
The widespread adoption of cloud computing has resulted in the proliferation of open source cloud computing frameworks that give more control to enterprises over their data and net…
cs.LO2018
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
Régine Laleau, Dominique Méry, Shin Nakajima +1
This volume contains the joint proceedings of IMPEX 2017, the first workshop on Handling IMPlicit and EXplicit knowledge in formal system development and FM&MDD, the second worksho…