IEEE Transactions on Dependable and Secure Computing, Volume 6

Volume 6, Number 1, January - March 2009

Salvatore Distefano, Antonio Puliafito:
Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees. 4-17
Albert Meixner, Daniel J. Sorin:
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures. 18-31
Samir Jafar, Axel W. Krings, Thierry Gautier:
Flexible Rollback Recovery in Dynamic Heterogeneous Grid Computing. 32-44
Ayda Saïdane, Vincent Nicomette, Yves Deswarte:
The Design of a Generic Intrusion-Tolerant Architecture for Web Servers. 45-58
T. C. Maxino, P. J. Koopman:
The Effectiveness of Checksums for Embedded Control Networks. 59-72
Tianjie Cao, Elisa Bertino, Hong Lei:
Security Analysis of the SASI Protocol. 73-77

Jelena Mirkovic, Alefiya Hussain, Sonia Fahmy, Peter L. Reiher, Roshan K. Thomas:
Accurately Measuring Denial of Service in Simulation and Testbed Experiments. 81-95
Debin Gao, Michael K. Reiter, Dawn Xiaodong Song:
Beyond Output Voting: Detecting Compromised Replicas Using HMM-Based Behavioral Distance. 96-110
Patrick Tague, David Slater, Jason Rogers, Radha Poovendran:
Evaluating the Vulnerability of Network Traffic Using Joint Security and Routing Analysis. 111-123
George Xenoulis, Dimitris Gizopoulos, Mihalis Psarakis, Antonis M. Paschalis:
Instruction-Based Online Periodic Self-Testing of Microprocessors with Floating-Point Units. 124-134
Alex Shye, Joseph Blomstedt, Tipp Moseley, Vijay Janapa Reddi, Daniel A. Connors:
PLR: A Software Approach to Transient Fault Tolerance for Multicore Architectures. 135-148
Huaqun Wang, Futai Zhang, Yanfei Sun:
Cryptanalysis of a Generalized Ring Signature Scheme. 149-151
Dimitris Gizopoulos:
Online Periodic Self-Test Scheduling for Real-Time Processor-Based Systems Dependability Enhancement. 152-158
Hung-Min Sun, King-Hang Wang, Chien-Ming Chen:
On the Security of an Efficient Time-Bound Hierarchical Key Management Scheme. 159-160