Marcin Czenko

Learn More
In this paper we introduce Standard TuLiP a new logic based Trust Management system. In Standard TuLiP, security decisions are based on security credentials, which can be issued by different entities and stored at different locations. Standard TuLiP directly supports the distributed credential storage by providing a sound and complete Lookup and Inference(More)
Trust Management (TM) is a novel flexible approach to access control in distributed systems, where the access control decisions are based on the policy statements, called credentials, made by different principals and stored in a distributed manner. In this chapter we present an introduction to TM focusing on the role-based trust-management framework RT. In(More)
ing away from the low level implementation problems (like network failures), the<lb>first threat above can result from two different situations: (a) the User Client application may<lb>be compromised and (b) the Mode Register becomes compromised and returns the wrong<lb>modes for the credential atoms. The situation in which the User Client application is(More)
Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management languages such as the family of Role Based Trust Management languages (RT). To solve this problem we propose RT⊖, which adds a restricted form of negation to the standard RT language,(More)
We propose CoreTuLiP the core of a trust management language based on<lb>Logic Programming. CoreTuLiP is based on a subset of moded logic program-<lb>ming, but enjoys the features of TM languages such as RT; in particular clauses<lb>are issued by different authorities and stored in a distributed manner. We present<lb>a lookup and inference algorithm which(More)
The design of distributed Java applications is a very complicated task. Regardless of Java's ease of use and portability, a method that provides a means of testing and validating complex systems in a satisfactory manner is still lacking. In addition system portability is often decreased due to strong dependencies between subsystem implementation and the way(More)
  • 1