First International Workshop on Reliability, Availability, and Security

Program Committee

Workshop program (16 November, 2007)

13:30-15:00, Session I: Security

  • Limin Wang, Mahesh Arumugam, and Sandeep S. Kulkarni. Authentication for Bulk Data Dissemination in Sensor Networks Using Symmetric Keys
  • Frédéric Cuppens, Nora Cuppens-Boulahia, and Céline Coma. Multi-Granular Licences to Decentralize Security Administration
  • Michele Albano, Davide Canepa, Carlo Nocentini, and Andrea Robba. Exploring Hostile Environments with Groups of Robots

15:00-15:30, Coffee Break

15:30-16:30, Session II: Reliability

  • Dietmar Kant and Markus Buhlmann. Analysis and modelling of the influence at distributing an application on a Time-Triggered Architecture
  • Augusto Ciuffoletti. Performance stabilization of a token based epidemic diffusion

16:30-17:00, Coffee Break

17:00-18:30, Session III: Algorithms

  • Sayaka Kamei and Hirostugu Kakugawa. A Self-Stabilizing Approximation Algorithm for the Minimum Weakly Connected Dominating Set with Safe Convergence
  • Jun Kiniwa. Construction of Self-Stabilizing Two Disjoint Covering Trees with Application to Sensor Networks
  • Rachid Hadid and Mehmet Hakan Karaata. A Stabilizing Algorithm for Finding All Disjoint Paths in Anonymous Mesh Networks

18:30-19:00, Workshop closing and discussion