An Improved Role-Based Access to Android Applications with JCHR

Abstract

In this paper we show how deductive and abductive reasoning in distributed authorisation can be efficiently ported to Android. Such logical-inference processes prove to be important tools due to the intrinsic autonomic-nature of these mobile devices. Both deduction and abduction are represented by using Constraint Handling Rules (CHR), a high-level declarative constraint programming-language, and implemented in JCHR (CHR embedded into Java). To represent credentials we elaborate on RT , a weighted Role-based Trust-management family of languages: CHR programs are developed after such languages. In general, having weights associated with credentials leads to a more informative reasoning; for instance, access can be granted only if the total uncertainty is less than 20%.

LPOP: Challenges and Advances in Logic and Practice of Programming

“…Both deduction and abduction are expressed in Weighted Datalog and translated into CHR for execution. [BCMS14] show how this deductive and abductive reasoning can be efficiently ported to Android enabling distributed authorization. Both deduction and abduction are implemented as programs in a version of CHR that is embedded into Java (JCHR).…”