From Discotec09
Jump to: navigation, search

Distributed Computing Techniques 2009
9-12 June, 2009
Lisbon, Portugal


Global Computing Tutorial Series

A Global Computing Tutorial Series promoted by the Sensoria and Mobius European projects will be held together with DisCoTec'09 (9-12 June 2009) in Lisbon.

Research themes addressed by the Sensoria (http://www.sensoria-ist.eu/) and Mobius (http://mobius.inria.fr/) projects are centered on Service-oriented computing, Mobility, Ubiquity and Security. The Global Computing Tutorial Series is targeted to PhD students and young researchers working on subjects related to these research themes.

All DisCoTec'09 participants can attend the tutorial series and grants to attend DisCoTec'09 and the tutorials are offered to students.


  • Gilles Barthe, "Verification Methods for Software Security and Correctness" (Mobius)
abstract: The objective of the tutorial is to present evidence-based mechanisms to ensure reliability and security of Java-based mobile-code applications. The first part of the tutorial shall review the principles of bytecode verification, and describe extensions of bytecode verification for enforcing information flow policies. The second part of the tutorial will relate this enforcement mechanism to its source code counterpart, showing that compilation preserves information flow typing, and that lightweight certificates can be generated from source typing derivations. The tutorial will conclude with a broader perspective on evidence-preserving compilation and on its role within the Mobius project.
date: 11 June 2009
handouts: GillesBarthe_discotec09.pdf‎
abstract: We will give an overview over type systems designed to restrict aliasing and their use in program verification.
date: 10 June 2009
handouts: SophiaDrossopoulou_discotec09.pdf
abstract: This tutorial provides an overview of a formal approach to service-oriented modelling that we have been developing within the SENSORIA project. We focus on the primitives that SRML – the SENSORIA Reference Modelling Language – offers for modelling business services and activities, their mathematical semantics, and the methodological approach that they support. This is joint work with Antónia Lopes (University of Lisbon), and Laura Bocchi and João Abreu (University of Leicester).
date: 10 June 2009
reading material: SRMLChapter.pdf
  • Flemming Nielson, "Static Security Analysis of Service-Oriented Systems" (Sensoria)
by Flemming Nielson, Hanne Riis Nielson and Han Gao
abstract: We show how to model service-oriented applications using process algebras such that, on the one hand, we can achieve an abstract specification without being overwhelmed by the underlying implementation details and, on the other hand, we can obtain a concrete specification respecting the industrial standards used for ensuring security. We go on to show how to transform the concrete specification into the LySa analysis framework, used in the Sensoria EU project and originally developed in the DEGAS EU project, for analysing cryptographic protocols under a Dolev-Yao attacker. This allows us to perform a control flow analysis for ensuring the authenticity (as well as confidentiality) of messages exchanged between services. Using the Succinct Solver we can then compute results in polynomial time in the size of the protocol specification.
date: 9 June 2009
handouts: Nielson_discotec09.pdf


A limited number of grants is offered to applying participants. Grant money partially covers registration fees as well as part of local and travel expenses (depending on the funds available and the number of applications).

Applications must include a short cv and recommendation letters from senior researchers. Applications by email to: discotec09@di.fc.ul.pt.

Important Dates

  • Grant application deadline: 17 May 2009
  • Notification of grant decisions: 20 May 2009
  • Early registration deadline: 27 May 2009 (only for students applying to grants)
  • Online registration deadline: 5 June, at 5pm (GMT+1)
  • Tutorials: 9-11 June 2009
Personal tools