Home |
TutorialsTutorial I: Formal models of TrustMogens NielsenTuesday, May 16th We present recent attempts towards establishing a formal foundation for trust and trust management systems. The tutorial will cover ideas towards formal models of "the web of trust" in the global computing scenario. The use of such models will be illustrated by simple examples, focusing on well founded techniques for reasoning about trust based systems, including properties of trust based policy languages, trust based protocols, and algorithms for trust computations.
Tutorial II: From e-Business to Business TransformationChristos NikolauTuesday, May 16th Cancelled |
Last modified: Thu May 04 by Alessandro Falleni |