Electronic Notes in Theoretical Computer Science, Volume 168

Volume 168, February 2007

• 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