Sciweavers

Share
SACMAT
2009
ACM

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

10 years 9 months ago
Safety in discretionary access control for logic-based publish-subscribe systems
Publish-subscribe (pub-sub) systems are useful for many applications, including pervasive environments. In the latter context, however, great care must be taken to preserve the privacy of sensitive information, such as users’ location and activities. Traditional access control schemes provide at best a partial solution, since they do not capture potential inference regarding sensitive data that a subscriber may make. We propose a logic-based pub-sub system, where inference rules are used to both derive high-level events for use in applications as well as specify potentially harmful inferences that could be made regarding data. We provide a formal definition of safety in such a system that captures the possibility of indirect information flows. We show that the safety problem is coNP-complete; however, problems of realistic size can be reduced to a satisfiability problem that can be efficiently decided by a SAT solver. Categories and Subject Descriptors: C.2.4 [Distributed System...
Kazuhiro Minami, Nikita Borisov, Carl A. Gunter
Added 28 May 2010
Updated 28 May 2010
Type Conference
Year 2009
Where SACMAT
Authors Kazuhiro Minami, Nikita Borisov, Carl A. Gunter
Comments (0)
books