Safety in discretionary access control for logic-based publish-subscribe systems.

Kazuhiro Minami, Nikita Borisov, Carl A. Gunter

Browse the full SACMAT paper archive.