Relational-based Calculus for Trust Management in Networked Services

Speaker: Noureddine Boudriga

17th March 2004 , 2pm , Room 519, Claremont Tower

Abstract

This talk considers the use of local policy enforcement in communication networks. Compliance with the security policy is important, especially if the system is based on the concept of Public Key Certificate (PKC). Our approach discusses the design of a trust management scheme that integrates a model for the specification of entities and actions, a mechanism for identifying users, authorizations, and delegations, and a compliance engine. The model is based on the use of an axiomatic representation of security requirements. The compliance engine integrates a relational calculus that allows proof and verification. Three cases are addressed to validate the model: the anonymous payment system, clinical information system, and distributed firewall systems.

------------
Prof. Noureddine Boudriga
Prof. of Telecommunications at "Ecole Supe'rieure des Communications de Tunis (SUP'COM)", Tunisia