Laboratorium - Sommer Semester 2004


Bogdan Vlasenko

Abzal Kaligulov

A Peertrust - Prolog translator

This workplan correspond to the Summer Semester Research program where students choose a topic and they should investigate on it. It is composed of 7 milestones where they have to learn about the state of the art in the topic selected achieving some goals and they have to present a final work at the end.

When a transaction between two entities needs to be done, both entities will need some information from the other party. While current approaches relies on the client/server approach where one of the two entities is registered on the other, Automated Trust Negotiation denotes the process where both parties ask and disclose information whenever it is needed according to their own policies.

The chosen topic consist on the generation of a parser between two different languages.The peertrust system uses a language based on prolog. Although languages based on logic are used all over the world in order to describe policies to protect resources, still many users are not familiarized to them. That is why an easier and more user-friendly language which users might use instead of was provided. The goal here is to provide a translation from and to its real representation in Prolog.

The main goals of this work are:

  • Introduction to Semantic Web & Security Technologies
  • Grammars and Language processing
  • Parser generators
  • Introduction to one of the most recent topics in security and access control: ATN


06/05/2004-13/05/2004 - Semantic Web and Trust Negotiation Introduction

Basic papers

  Useful links:
  1st milestone: 13/15/2004 - Small report of articles read
13/05/2004-20/05/2004 - Java parser generators
  Look for a java parser generator. Some examples are:

Some tutorials are available:


  2nd milestone: 20/05/2004 - Small report explaining the option choosen and why
20/05/2004-27/05/2004 - Grammar for the Peertrust and for the Prolog Language
  • A grammar must be written to describe both languages
  • Some examples of java code doing a translation between Datalog and QEL using ANTLR might be found here
  3rd milestone: 27/05/2004 - Report with both gramars and some examples
  Meeting: 27/05/2004 10:00 ?
27/05/2004-03/06/2004 - Development of a Peertrust-Prolog parser parser (I)
  • Implementation of a java program using the java parser generator choosen
03/06/2004-10/06/2004 - Development of a Peertrust-Prolog parser (II)
  • Write some tests cases in parallel with code development
  4th milestone: 10/06/2004 - Test cases of the translation
  Meeting: 10/06/2004 10:00 ?
17/06/2004-24/06/2004 - Development of a Peertrust-Prolog parser (& III)
  • Finish the development of the Peertrust-Prolog parser
  • Test the code generated
  5th milestone: 24/06/2004 - Test examples and code where the new translator is used
  Meeting: - 24/06/2004 10:00 ?
24/06/2004-01/07/2004 - Development of a Prolog-Peertrust parser (I)
  • Implementation of a java program using the java parser generator choosen
  Meeting: - 08/06/2004 10:00 ?
01/07/2004-08/07/2004 - Development of a Prolog-Peertrust parser (II)
  • Write some tests cases in parallel with code development
  • Write also some tests to verify that both parsers work (test using both directions of the translation)
  6th milestone: 01/07/2004 - Test cases for the new translation
  Meeting: - 08/06/2004 10:00 ?
08/07/2004-15/07/2004 - Integration of the Credential Library into Prototype (& III)
  • Finish the development
  • Test the code generated
  7th milestone: 15/07/2004 - Test both Peertrust-Prolog and Prolog-Peertrust parsers
  Meeting: - 15/07/2004 10:00 ?

Last update on 06-May-2004 5:00 PM Home