Table of Contents, vol 2, no 4, year 2009

Self-organization supported algorithms for wireless sensor networks
Jian Zhong, Royal Melbourne Institute of Technology, Australia
Peter Bertok, Royal Melbourne Institute of Technology, Australia

Performance, survivability, and cost aspects of Business Continuity Processes According to BS 25999
Wolfgang Boehmer, Technische Universitaet Darmstadt, Germany

Formalization of Security Properties: Enforcement for MAC Operating Systems and Verification of Dynamic MAC Policies
Jeremy Briffaut, ENSI de Bourges - Universite d'Orleans, France
Jean-Francois Lalande, ENSI de Bourges - Universite d'Orleans, France
Christian Toinard, ENSI de Bourges - Universite d'Orleans, France

Analysing security requirements formally and flexibly based on suspicion
Nuno Amalio, University of Luxembourg, Luxembourg

Development of Measurable Security for a Distributed Messaging System
Reijo M. Savola, VTT Technical Research Centre of Finland, Finland
Habtamu Abie, Norwegian Computing Center, Norway

download vol 2, no 4, year 2009