IEEE Transactions on Dependable and Secure Computing, Volume 1

Volume 1, Number 1, January-March 2004

• Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, Carl E. Landwehr:
  Basic Concepts and Taxonomy of Dependable and Secure Computing. 11-33
  Electronic Edition (link) BibTeX
• Michael A. Marsh, Fred B. Schneider:
  CODEX: A Robust and Secure Secret Distribution System. 34-47
  Electronic Edition (link) BibTeX
• David M. Nicol, William H. Sanders, Kishor S. Trivedi:
  Model-Based Evaluation: From Dependability to Security. 48-65
  Electronic Edition (link) BibTeX
• Nancy G. Leveson:
  A Systems-Theoretic Approach to Safety in Software-Intensive Systems. 66-86
  Electronic Edition (link) BibTeX
• Wendy Bartlett, Lisa Spainhower:
  Commercial Fault Tolerance: A Tale of Two Systems. 87-96
  Electronic Edition (link) BibTeX

Volume 1, Number 2, April-June 2004

• E. N. Elnozahy, James S. Plank:
  Checkpointing for Peta-Scale Systems: A Look into the Future of Practical Rollback-Recovery. 97-108
  Electronic Edition (link) BibTeX
• Daniel P. Siewiorek, Ram Chillarege, Zbigniew Kalbarczyk:
  Reflections on Industry Trends and Experimental Research in Dependability. 109-127
  Electronic Edition (link) BibTeX
• Tanay Karnik, Peter Hazucha, Jagdish Patel:
  Characterization of Soft Errors Caused by Single Event Upsets in CMOS Processes. 128-143
  Electronic Edition (link) BibTeX

Volume 1, Number 3, July-September 2004

• Fredrik Valeur, Giovanni Vigna, Christopher Krügel, Richard A. Kemmerer:
  A Comprehensive Approach to Intrusion Detection Alert Correlation. 146-169
  Electronic Edition (link) BibTeX
• Xun Yi:
  Identity-Based Fault-Tolerant Conference Key Agreement. 170-178
  Electronic Edition (link) BibTeX
• Girish B. Ratanpal, Ronald D. Williams, Travis N. Blalock:
  An On-Chip Signal Suppression Countermeasure to Power Analysis Attacks. 179-189
  Electronic Edition (link) BibTeX

Volume 1, Number 4, October-December 2004

• Haining Wang, Danlu Zhang, Kang G. Shin:
  Change-Point Monitoring for the Detection of DoS Attacks. 193-208
  Electronic Edition (link) BibTeX
• Bryan Parno, Mema Roussopoulos:
  Defending a P2P Digital Preservation System. 209-222
  Electronic Edition (link) BibTeX
• Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano:
  Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications. 223-237
  Electronic Edition (link) BibTeX
• Vijayalakshmi Atluri, Soon Ae Chun:
  An Authorization Model for Geospatial Data. 238-254
  Electronic Edition (link) BibTeX