VODCA 2006

The Second International Workshop on
Views On Designing Complex Architectures

16-17 September 2006 - Bertinoro, Italy

Front page

First page

Foreword

Table of Contents

PROGRAMME VODCA 2006

Saturday 16 September


11:00-  WELCOME COFFEE
11:30

11:30   Opening of VODCA 2006
 
Session: CSCW and COMPONENT-BASED DESIGN
Chair: Jose Parama Gabia

11:45-  Victor Penichet, Ismael Marin, Jose Gallud and Maria Lozano
12:10   "A Classification Method for CSCW Systems"

12:10-  Abdessamad Imine
12:35   "Component-Based Specification of Collaborative Objects"

12:35-  Antonio Bucchiarone, Henry Muccini and Patrizio Pelliccione
13:00   "Architecting Fault-Tolerant Component-Based Systems: From Requirements to Testing"

LUNCH BREAK

Session: e-VOTING and ANONYMITY
Chair: Alessandro Aldini

14:30-  Invited Talk by Erik de Vink
15:30   "Anonymity Groups of the FOO e-Voting Scheme"

15:30-  Aneta Zwierko and Zbigniew Kotulski
15:50   "An Efficient Agent e-Voting System with Distributed Trust"

15:50-  Jan van Eijck and Simona Orzan
16:15   "Epistemic Verification of Anonymity"

COFFEE BREAK
             
Session: RISK, TRUST and DATA MANAGEMENT
Chair: Erik de Vink

16:45-  Giampaolo Bella, Stefano Bistarelli, Pamela Peretti and Salvatore Riccobene
17:05   "Augmented Risk Analysis"

17:05-  Fabio Martinelli and Marinella Petrocchi
17:30   "Some Relationships Between Two Trust Management Languages"
                            
17:30-  Agustina Buccella and Alejandra Cechich
17:55   "Towards Integration of Geographic Information Systems"

WORKSHOP DINNER

Sunday 17 September

              
Session: ACCESS CONTROL
Chair: Fabio Martinelli

 9:45-  Marnix Dekker and Sandro Etalle
10:10   "Audit-Based Access Control for Electronic Health Records"

10:10-  Ernesto Damiani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi and Pierangela Samarati
10:35   "Selective Data Encryption in Outsourced Dynamic Environments"

10:35-  Jan Peters, Roland Rieke, Taufiq Rochaeli, Bjorn Steinemann and Ruben Wolf
11:00   "A Holistic Approach to Security Policies Ð Policy Distribution with XACML over COPS"

COFFEE BREAK

Session: SECURITY ANALYSIS
Chair: Maurice ter Beek

11:25-  Invited talk by Fabio Martinelli 
12:10   "Specification, Verification and Synthesis of Secure Systems"

12:10-  Ron van der Meyden and Chenyi Zhang
12:35   "Algorithmic Verification of Noninterference Properties"

12:35-  Christoffer Rosenkilde Nielsen, Flemming Nielson and Hanne Riis Nielson
13:00    "Cryptographic Pattern Matching"

13:00   Closing of VODCA

Author Index


Sponsored by

    home page Department of Computer Science, University of Pisa ISTI-CNR home page     Formal Methods and Tools home page Sensoria Project