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
