[Front cover]

doi:10.1109/DEPEND.2009.37

D
DEPEND
2009
2009 Second International Conference on Dependability

This Publication

Digital Library

	This Publication

	Subscribe to this Publication Login to access your subscribed content
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/EndNote

2009 Second International Conference on Dependability

Athens/Glyfada, Greece

June 18-June 23

ISBN: 978-0-7695-3666-8

Table of Contents

Papers

[Front cover] (PDF)

pp. C1

ABSTRACT

PDF

[Copyright notice] (PDF)

pp. iv

ABSTRACT

PDF

Table of contents (PDF)

pp. v-vii

ABSTRACT

PDF

Title Page i (PDF)

pp. i

ABSTRACT

PDF

Title Page iii (PDF)

pp. iii

ABSTRACT

PDF

Preface (PDF)

pp. viii-ix

ABSTRACT

PDF

Committee (PDF)

pp. x-xii

ABSTRACT

PDF

Reviewers (PDF)

pp. xiii-xiv

ABSTRACT

PDF

A Dependable Threshold Broadcast Encryption System for Key Distribution in Mobile Ad Hoc Network (Abstract)

pp. 1-6

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Current and Emerging Security, Trust, Dependability and Privacy Challenges in Mobile Telecommunications (Abstract)

Reijo M. Savola

pp. 7-12

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

The Design and Analysis of IN Disaster Tolerant System Based on Birth-Death Process (Abstract)

pp. 13-18

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

TMAC: Taint-Based Memory Protection via Access Control (Abstract)

Lei Wang

Chen Fang

Bing Mao

Li Xie

pp. 19-27

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

An Algorithm Based Fault Tolerant Scheme for Elliptic Curve Public-Key Cryptography (Abstract)

Chang N. Zhang

Xiao Wei Liu

pp. 28-33

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

A Secure and Survivable Architecture for SCADA Systems (Abstract)

pp. 34-39

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Quantitative Assessment for Organisational Security & Dependability (Abstract)

pp. 40-45

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Planning Dependability of Virtualised Networks (Abstract)

pp. 46-51

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

AFPL2, an Abstract Language for Firewall ACLs with NAT Support (Abstract)

S. Pozo

A. J. Varela-Vaca

R. M. Gasca

pp. 52-59

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Securing Web Servers Using Self Cleansing Intrusion Tolerance (SCIT) (Abstract)

Anantha K. Bangalore

Arun K. Sood

pp. 60-65

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Towards a Policy-Driven Framework for Managing Service Dependability (Abstract)

Jorge Bernal Bernabé

Juan M. Marín Pérez

Daniel J. Martínez Manzano

Manuel Gil Pérez

Antonio F. Gómez Skarmeta

pp. 66-72

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

An Appraisal to Assess the Security of Database Configurations (Abstract)

pp. 73-80

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

[Publisher's information] (PDF)

pp. 174

ABSTRACT

PDF

Formalizing Safety Requirements Using Controlling Automata (Abstract)

Zhe Chen

Gilles Motet

pp. 81-86

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Lock-Free Synchronization of Data Flow between Time-Triggered and Event-Triggered Activities in a Dependable Real-Time System (Abstract)

pp. 87-92

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

An Investigation of Fault Tolerance Behavior of 32-Bit DLX Processor (Abstract)

pp. 93-98

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Gaining Assurance in a Voter-Verifiable Voting System (Abstract)

pp. 99-104

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

A Logging Approach for Effective Dependability Evaluation of Complex Systems (Abstract)

pp. 105-110

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Development of Applications Based on Security Patterns (Abstract)

Beatriz Gallego-Nicaso Crespo

pp. 111-116

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Hands on Dependability Economics (Abstract)

Theodosios Tsiakis

Panagiotis Katsaros

pp. 117-121

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Extending Test-Driven Development for Robust Web Services (Abstract)

Nuno Laranjeiro

Marco Vieira

pp. 122-127

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Dynamically Configurable Membership Support for Dependable Applications in Mobile Ad Hoc Networks (Abstract)

Juan Carlos García Ortiz

Stefan Beyer

Pablo Galdámez

pp. 128-135

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Almost Triggerless Writeset Extraction in Multiversioned Databases (Abstract)

Raúl Salinas-Monteagudo

Francesc D. Muñoz-Escoí

pp. 136-142

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Diagnosis Service for Software Component and Its Application to a Heterogeneous Sensor Data Management System (Abstract)

pp. 143-149

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Decision Support Console for System Administration Based on an Expert System Approach (Abstract)

Francisco José de la Torre

Laura García Muñoz

Roberto González Barahona

Maite Avelino Carmona

Manuel Gil Pérez

pp. 150-155

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Managing the Impact of On-chip Temperature on the Lifetime Reliability of Reliably Overclocked Systems (Abstract)

Viswanathan Subramanian

Prem Kumar Ramesh

Arun K. Somani

pp. 156-161

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Modelling and Evaluation of a Game-Theory Approach for Airborne Conflict Resolution in Omnet++ (Abstract)

Paolo Masci

Alessandra Tedeschi

pp. 162-165

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Statistical Model Checking for Steady State Dependability Verification (Abstract)

Diana El Rabih

Nihal Pekergin

pp. 166-169

ABSTRACT

PDF

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Author Index (PDF)

pp. 171-172

ABSTRACT

PDF

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.

Open
Download