SB-01: Event-based Policy Management.

The notion of an event is fundamental to representing policy requirements. The SB-01 project is concerned with using an event-based model to capture policy requirements in highly-dynamic scenarios. An event-processing evaluator will need to be implemented as part of the project work.

SB02: Ascriptional-Action Security.

The aim of project SB-02 is to extend an existing A2-security model to make it applicable in novel scenarios. An implementation that uses DLV or SQL should be produced. As such, students should have a strong background in database programming or logic programming to attempt this project.

SB-03: A Logic of Privacy.

The purpose of project SB-03 is to extend an existing abstract privacy model and to develop an implementation of it that is applicable in a range of scenarios. The principal skills required to successfully complete this project are a strong background in logic and an ability to translate specifications in logic into an implementation language.

SB-04: Meta-modelling with RIF.

The motivations for the SB-04 project are to implement a very general policy model by using a very general policy exchange language. This project is technically demanding and will require a good understanding of programming tools and their combination.

SB-05: Combining Testimony.

The aim of project SB-05 is to extend an existing proposal for community-based testimonial warrant as combination. A distributed implementation (e.g., using DLV or Ciao) will need to be produced. Students will need to be able to translate abstract conceptual ideas into corresponding notions in distributed programming, in order to complete successfully this project.

SB-06: Doxastic Database Annotation in Logic.

The requirement of the SB-06 project is to investigate degrees of agreement in community databases and to develop a query language and strategies to deal with annotated belief data. Students will need to have a strong background in logic for this project and they will need to be able to translate doxastic theories into a target implementation language.

SB-07: Computational Epistemology.

The aim of SB-07 is to investigate aspects of epistemology that are relevant in computational contexts. Students may consider a range of epistemological foci or may focus on one epistemological position and consider its computational relevance, e.g., in community constructed knowledge generation. For this project, concepts from a well-defined, existing literature will need to be re-interpreted in the context of Computer Science.