A Logic Predicate Based Automated Trust Negotiation Model

Automated trust negotiation (ATN) is an important means to establish trust between strangers through the exchange of digital credentials and mobile access control policies specifying what combinations of credentials a stranger must submit. As an access control policy may contain sensitive information, the negotiation process becomes complicated in order to prevent information leakage. Furthermore, since ATN is a type of access control mechanism, it is difficult to be described by formalization languages, therefore it has a low security level. To solve these problems, a Logic Predicate Based ATN Model (LPBM) is proposed in this paper. LPBM decomposes a compound policy into met a policies and provides suitable rules to simplify them. While doing this, LPBM can check policy consistency. In addition, a set of logic predicates are presented to describe the negotiation process. Agent is introduced to perform the negotiation on behalf of negotiators. A use case is studied to show that LPBM is sound and reasonable.