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
