Electronic Notes in Theoretical Computer Science, Volume 142

Volume 142, January 2006

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