Volume 168, February 2007
Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006)
- Maurice H. ter Beek, Fabio Gadducci:
Preface.
1-3

- Sjouke Mauw, Jan Verschuren, Erik P. de Vink:
Data Anonymity in the FOO Voting Scheme.
5-28

- Fabio Martinelli, Ilaria Matteucci:
An Approach for the Specification, Verification and Synthesis of Secure Systems.
29-43

- Agustina Buccella, Alejandra Cechich:
Towards Integration of Geographic Information Systems.
45-59

- Ron van der Meyden, Chenyi Zhang:
Algorithmic Verification of Noninterference Properties.
61-75

- Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione:
Architecting Fault-tolerant Component-based Systems: from requirements to testing.
77-90

- Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson:
Cryptographic Pattern Matching.
91-107

- Aneta Zwierko, Zbigniew Kotulski:
A Light-Weight e-Voting System with Distributed Trust.
109-126

- Ernesto Damiani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati:
Selective Data Encryption in Outsourced Dynamic Environments.
127-142

- Jan Peters, Roland Rieke, Taufiq Rochaeli, Björn Steinemann, Ruben Wolf:
A Holistic Approach to Security Policies - Policy Distribution with XACML over COPS.
143-157

- Jan van Eijck, Simona Orzan:
Epistemic Verification of Anonymity.
159-174

- Abdessamad Imine:
Component-Based Specification of Collaborative Objects.
175-190

- Fabio Martinelli, Marinella Petrocchi:
On Relating and Integrating Two Trust Management Frameworks.
191-205

- Giampaolo Bella, Stefano Bistarelli, Pamela Peretti, Salvatore Riccobene:
Augmented Risk Analysis.
207-220

- M. A. C. Dekker, Sandro Etalle:
Audit-Based Access Control for Electronic Health Records.
221-236

- Victor M. Ruiz Penichet, I. Marin, José A. Gallud, María Dolores Lozano, Ricardo Tesoriero:
A Classification Method for CSCW Systems.
237-247

Last update Wed May 22 17:33:03 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page