3rd Workshop on Recent Advances on Intrusion-Tolerant Systems


In conjunction with The 39th IEEE/IFIP International Conference on Dependable Systems and Networks - DSN 2009

Estoril, Lisbon, Portugal - June 29th, 2009


The 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems aims to foster the understanding of and collaborative discourse on the challenges of building intrusion tolerant systems and innovative ideas to address them. As a technical area, Intrusion Tolerance is at the intersection of Fault Tolerance and Security. As a practical discipline, it brings in additional topics ranging from software engineering, adaptive system development to reasoning, coordination and control of distributed resources and mechanisms, as well as validation and evaluation of security and survivability claims. The workshop will be especially interested in "practical intrusion-tolerant systems": How are threats to business- and mission-critical information systems handled today? Are emerging intrusion tolerance techniques being used? What mechanisms are finding more use and why? What factors may be discouraging mainstream adoption? How to build information systems that are inherently resilient to intrusions? What new techniques are in the horizon? How to evaluate and test the dependability and security of new techniques? The workshop will provide a forum for researchers and practitioners to present architectures for intrusion-tolerant systems, new defense mechanisms, recent results, discuss open problems that still need research, and survivability challenge problems in specific application and domain areas.

Previous editions: WRAITS 2008, WRAITS 2007


This year workshop includes a keynote speech, and panel and a selection of 6 high quality papers that provide a rich combination of perspectives about intrusion tolerance.

8:45-9:00 Reception
9:00-10:00 Keynote Speech
session chair: Miguel Correia
  • Metrics, methods and tools to measure security and trustworthiness (slides)
    Henrique Madeira
    University of Coimbra
  Coffee break
10:30-12:00 Paper session
session chair: Saurabh Bagchi
  • What next in intrusion tolerance (slides) (paper)
    P. Pal, R. Schantz, J. Loyall, M. Atighetchi and F. Webber
    BBN Technologies, USA
  • Quantitative Approach to Tuning of a Time-Based Intrusion-Tolerant System Architecture (slides) (paper)
    Q. Nguyen and A. Sood
    George Mason University, USA
  • Network Intrusion Detection with Minimal Communication Overhead (slides) (paper)
    O. Patrick Kreidl and A. Willsky
    MIT, USA
13:30-15:00 Panel
  • Intrusion tolerance going mainstream - Which applications stand to benefit?
    Saurabh Bagchi, Purdue University, USA (chair)
    Walter Heimerdinger, Honeywell (retired), USA (slides)
    Navjot Singh, Avaya, USA (slides)
    Paulo Verissimo, University of Lisboa, Portugal
  Coffee break
15:30-17:00 Paper session
session chair: Partha Pal
  • On the Use of Radio Resource Tests in Wireless ad hoc Networks (slides) (paper)
    D. Mónica, J. Leitão, L. Rodrigues and C. Ribeiro
    INESC-ID/IST, Portugal
  • Enhancing Fault / Intrusion Tolerance through Design and Configuration Diversity (slides) (paper)
    A. Bessani, A. Daidone, I. Gashi, R. Obelheiro, P. Sousa and V. Stankovic
    LaSIGE, University of Lisbon, Portugal / University of Florence, Italy / Centre for Software Reliability, City University London, UK / Universidade do Estado de Santa Catarina, Brazil
  • Practical Techniques for Regeneration and Immunization of COTS Applications (slides) (paper)
    L. Li, R. Sekar, M. Cornwell, E. Hultman and J. Just
    Global InfoTek, USA / Stony Brook University, USA
17:00 Conclusion
  • Concluding remarks (slides)
    Saurabh Bagchi
    Purdue University, USA



Saurabh Bagchi, Purdue University, USA
Miguel Correia, University of Lisboa, Portugal
Partha Pal, BBN Technologies, USA



Aditya Bagchi, ISI, India
Manuel Costa, Microsoft Research, UK
Jay Lala, Raytheon, USA
Peng Liu, PSU, USA
O. Patrick Kreidl, MIT, USA
Dipanwita Roychowdhury, IIT Kharagpur, India
William H. Sanders, UIUC, USA
Paulo Verissimo, U. Lisbon, Portugal