The Third International Conference on Emerging Security Information, Systems and Technologies SECURWARE 2009 June 18-23, 2009 - Athens/Glyfada, Greece

Awards

The papers listed below have been selected as "Best Papers" based on the reviews of the original submission, the camera-ready version, and the presentation during the conference.

A diploma will be issued in the name of the authors and mailed to the contact author.

Papers

A Security Pattern for Untraceable Secret Handshakes
Angel Cuevas, Paul El Khoury, Laurent Gomez, Annett Laube, and Alessandro Sorniotti

Secrecy for Bounded Security Protocols without Freshness Check
Catalin V. Bîrjoveanu

A Formal IT-Security Model for a Weak Fair-Exchange Cooperation with Non-repudiation Proofs
Rüdiger Grimm

Detecting Man-in-the-Middle Attacks by Precise Timing
Benjamin Aziz and Geoff Hamilton

Enforcement of Security Properties for Dynamic MAC Policies
J. Briffaut, J.-F. Lalande, C. Toinard, and M. Blanc

Identification of Basic Measurable Security Components for a Distributed Messaging System
Reijo M. Savola and Habtamu Abie

Survivability and Business Continuity Management System According to BS 25999
Wolfgang Boehmer

Suspicion-Driven Formal Analysis of Security Requirements
Nuno Amálio

Forward Secure ID-Based Group Key Agreement Protocol with Anonymity
Hyewon Park, Zeen Kim, and Kwangjo Kim

Detection of Security and Dependability Threats: A Belief Based Reasoning Approach
Davide Lorenzoli and George Spanoudakis