Volume 142, January 2006

Proceedings of the First International Workshop on Views on Designing Complex Architectures (VODCA 2004)

• 
  Maurice H. ter Beek, Fabio Gadducci: Preface. 1-3
• 
  Jan Münther: On the Security of Security Software: Invited Position Paper. 5-10
• 
  Giampaolo Bella, Stefano Bistarelli, Simon N. Foley: Soft Constraints for Security. 11-29
• 
  Jan Jürjens: Foundations for Designing Secure Architectures. 31-46
• 
  Claudio Agostino Ardagna, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati: A Web Service Architecture for Enforcing Access Control Policies. 47-62
• 
  Giampaolo Bella, Costantino Pistagna, Salvatore Riccobene: Distributed Backup through Information Dispersal. 63-77
• 
  Agustina Buccella, Alejandra Cechich, Nieves R. Brisaboa: A Federated Layer to Integrate Heterogeneous Knowledge. 79-97
• 
  Cas J. F. Cremers: Compositionality of Security Protocols: A Research Agenda. 99-110
• 
  Lavinia Egidi, Marinella Petrocchi: Modelling a Secure Agent with Team Automata. 111-127
• 
  Antonio Fariña, Nieves R. Brisaboa, Cristina París, José R. Paramá: Fast and Flexible Compression for Web Search Engines. 129-141
• 
  GianLuigi Ferrari, Alberto Lluch-Lafuente: A Logic for Graphs with QoS. 143-160
• 
  Torsten Fink, Manuel Koch, Karl Pauls: An MDA approach to Access Control Specifications Using MOF and UML Profiles. 161-179
• 
  Kamil Kulesza, Zbigniew Kotulski, Konrad Kulesza: On Mobile Agents Resistance to Traffic Analysis. 181-193
• 
  Sebastian Nanz, Chris Hankin: Formal Security Analysis for Ad-Hoc Networks. 195-213
• 
  Sanjay Rawat, Arun K. Pujari, Ved Prakash Gulati: On the Use of Singular Value Decomposition for a Fast Intrusion Detection System. 215-228
• 
  Emilio Tuosto, Hugo Torres Vieira: An Observational Model for Spatial Logics. 229-254