7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.CR2013
Role Mining with Probabilistic Models
Mario Frank, Joachim M. Buhmann, David Basin
Role mining tackles the problem of finding a role-based access control (RBAC) configuration, given an access-control matrix assigning users to access permissions as input. Most rol…
cs.SE2012★ 7 cited
Abstract Data Types in Event-B - An Application of Generic Instantiation
David Basin, Andreas Fürst, Thai Son Hoang +2
Integrating formal methods into industrial practice is a challenging task. Often, different kinds of expertise are required within the same development. On the one hand, there are…