Kazuhiro Minami Nikita Borisov Carl A. Gunter Safety in discretionary access control for logic-based publish-subscribe systems. 3-12 2009 SACMAT http://doi.acm.org/10.1145/1542207.1542211 conf/sacmat/2009 db/conf/sacmat/sacmat2009.html#MinamiBG09