International Journal On Advances in Security, volume 2, number 4, 2009

Type: journal

Notes: A free access journal featuring works submitted on an invitation basis only.

ISSN: 1942-2636

Articles: there are 5 articles

Self-organization supported algorithms for wireless sensor networks
Jian Zhong and Peter Bertok
keywords: wireless sensor networks; self-organization; variable threats; battery life; robustness

Performance, survivability, and cost aspects of Business Continuity Processes According to BS 25999
Wolfgang Boehmer
keywords: BS 25999; BCMS; Business Continuity Plan (BCP); Knapsack-Problem; Branch & Bounding.

Formalization of Security Properties: Enforcement for MAC Operating Systems and Verification of Dynamic MAC Policies
Jérémy Briffaut, Jean-François Lalande, and Christian Toinard
keywords: Security Properties, Protection, Mandatory Access Control, Verification

Analysing security requirements formally and flexibly based on suspicion
Nuno Amálio
keywords: Security, requirements, formal analysis, Event- Calculus, planning, confidentiality, separation of duty.

Development of Measurable Security for a Distributed Messaging System
Reijo M. Savola and Habtamu Abie
keywords: security metrics; security indicators; security strength; security requirements; messaging systems