10 citations · 10 across the 2 of their papers we have counts for
4 papers · 1 filter
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…
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…
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Designing fault tolerance mechanisms for multi-agent systems is a notoriously difficult task. In this paper we present an approach to formal development of a fault tolerant multi-a…
Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements
Elena Troubitsyna
Event-B has been actively used within the EU Deploy project to model dependable systems from various application domains. As a result, we have created a number of formal approaches…