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