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
  Electronic Edition (link) BibTeX
• Albert Meixner, Daniel J. Sorin:
  Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures. 18-31
  Electronic Edition (link) BibTeX
• Samir Jafar, Axel W. Krings, Thierry Gautier:
  Flexible Rollback Recovery in Dynamic Heterogeneous Grid Computing. 32-44
  Electronic Edition (link) BibTeX
• Ayda Saïdane, Vincent Nicomette, Yves Deswarte:
  The Design of a Generic Intrusion-Tolerant Architecture for Web Servers. 45-58
  Electronic Edition (link) BibTeX
• T. C. Maxino, P. J. Koopman:
  The Effectiveness of Checksums for Embedded Control Networks. 59-72
  Electronic Edition (link) BibTeX
• Tianjie Cao, Elisa Bertino, Hong Lei:
  Security Analysis of the SASI Protocol. 73-77
  Electronic Edition (link) BibTeX

Volume 6, Number 2, April - June 2009

• Jelena Mirkovic, Alefiya Hussain, Sonia Fahmy, Peter L. Reiher, Roshan K. Thomas:
  Accurately Measuring Denial of Service in Simulation and Testbed Experiments. 81-95
  Electronic Edition (link) BibTeX
• Debin Gao, Michael K. Reiter, Dawn Xiaodong Song:
  Beyond Output Voting: Detecting Compromised Replicas Using HMM-Based Behavioral Distance. 96-110
  Electronic Edition (link) BibTeX
• Patrick Tague, David Slater, Jason Rogers, Radha Poovendran:
  Evaluating the Vulnerability of Network Traffic Using Joint Security and Routing Analysis. 111-123
  Electronic Edition (link) BibTeX
• George Xenoulis, Dimitris Gizopoulos, Mihalis Psarakis, Antonis M. Paschalis:
  Instruction-Based Online Periodic Self-Testing of Microprocessors with Floating-Point Units. 124-134
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Huaqun Wang, Futai Zhang, Yanfei Sun:
  Cryptanalysis of a Generalized Ring Signature Scheme. 149-151
  Electronic Edition (link) BibTeX
• Dimitris Gizopoulos:
  Online Periodic Self-Test Scheduling for Real-Time Processor-Based Systems Dependability Enhancement. 152-158
  Electronic Edition (link) BibTeX
• Hung-Min Sun, King-Hang Wang, Chien-Ming Chen:
  On the Security of an Efficient Time-Bound Hierarchical Key Management Scheme. 159-160
  Electronic Edition (link) BibTeX