Modularisation in Maude of Parametrized RBAC for Row Level Access Control.

Scibor Sobieski, Bartosz Zielinski

Browse the full ADBIS paper archive.