IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

50th Meeting

Annapolis, Maryland, USA

June 28 - July 2, 2006

Meeting Host

Jaynarayan Lala, Raytheon, Virginia, USA

Program-at-a-Glance and Contents

Workshop on Infrastructure Security and Operational

Challenges of Service Provider Networks

Workshop
Coordinators

Farnam Jahanian, University of Michigan, USA
Danny McPherson, Arbor Networks, Michigan, USA

Introduction	to the Workshop
Session 1	Architectural and Design Issues
Session 2	Dependable IP Networks
Session 3	Traffic Engineering and Network Design
Session 4	Network Security and Incident Response
Session 5	Synthesis and Workshop Wrap up

Special Session: Dependable Computing in 2031

Business Meeting (Open Part)

Research Reports

List of Attendees

Download Full Digest from here: TBD

Workshop on Infrastructure Security and Operational

Challenges of Service Provider Networks

June 29-30, 2006 (Thursday/Friday)

Introduction

Farnam Jahanian, University of Michigan, USA
Introduction to the Workshop

1.3 MB

Session 1 -- Architectural and Design Issues

Danny McPherson, Arbor Networks, Michigan, USA Infrastructure Security: Overview and Operational Survey Results	2.4 MB
Chris Morrow, UUNET/VerizonBusiness, Virginia, USA ISP Network Security Challenges	0.2 MB

Session 2 -- Dependable IP Networks

Fred True, AT&T Labs, New Jersey, USA Carrier Grade IP?	0.2 MB
Bill Sanders, Univ. of Illinois at Urbana-Champaign, USA; Matti Hiltunen, AT&T Labs, New Jersey, USA Infrastructure Security & Reliability Management using Partially Observable Markov Decision Processes	0.3 MB

Session 3 -- Traffic Engineering and Network Design

Vijay Gill, AOL, Maryland, USA Modern Core Architectures	NA
Matt Zekauskas, Internet2, Michigan, USA Research Challenges and Opportunities	0.9 MB

Session 4 -- Network Security and Infrastructure Response

Dave Dittrich, University of Washington, USA Beyond the Noise: More Complex Issues with Network Defense	2.0 MB
Koji Nakao, National Institute of Information and Communications Technology (NICT), Japan Macro-Micro Correlation Analysis for Detecting Network Security Incidents in Large Networks	1.8 MB

Session 5 -- Synthesis and Workshop Wrap up

Manish Karir, Merit Network, Michigan, USA Extracting Information from Raw Network Data	4.4 MB
Farnam Jahanian, University of Michigan, USA (moderator) Roundtable Discussion and Conclusions	NA

Dependable Computing in 2031

Special Session to Celebrate the 50th Meeting of WG 10.4

Rick Schlichting, AT&T Labs, New Jersey, USA Introduction to the Special Session	0.1 MB
Jaynarayan Lala, Raytheon, Virginia, USA Safety-Critical Dependable Computing: A Retrospective and a Personal Journey	0.6 MB
Lisa Spainhower, IBM, New York, USA Server Hardware in 2031: Implications for Dependable Computing, An Unscientific Outlook	0.1 MB
John Meyer, University of Michigan, USA Dependable System Evaluation/Validation: What Lies Ahead During the Next 25 Years?	0.2 MB
Al Avizienis, UCLA, California, USA, and Vytautas Magnus University, Lithuania	NA
Hermann Kopetz, TU Vienna, Austria Dependable Computing in 2031 -- Back to the Start?	0.1 MB
Chuck Weinstock, Software Engineering Institute, Pennsylvania, USA Highlights from the Last 25 Years: A Cautionary Tale	0.2 MB
Takashi Nanya, University of Tokyo, Japan Speculating Dependable Computing in 2031	0.2 MB
Jean-Claude Laprie, LAAS-CNRS, Toulouse, France Dependable Computing in 2031? An Astrological Prediction Question!	24 KB
Karama Kanoun, LAAS-CNRS, Toulouse, France Some Thoughts on (Dependability/Resilience/Trust) Evaluation	16 KB
Tom Anderson, Robert Stroud, University of Newcastle upon Tyne, UK Networks on the Edge: A Naive User's Vision of 2031	28 KB
Luca Simoncini, University of Pisa, Italy Some Issues to be Taken into Account for a Dependable 2031	32 KB
Carl Landwehr, University of Maryland, USA 2031?	16 KB

Business Meeting (Open Part)

Rick Schlichting, AT&T Labs, New Jersey, USA Overall Presentation and News	0.2 MB
Karama Kanoun, LAAS-CNRS, Toulouse, France Update on 51st IFIP WG 10.4 Meeting (Winter 2007)	24 KB

Research Reports - July 2, 2006 (Sunday)

Boudewijn Haverkort, University of Twente, The Netherlands Battery Lifetime Distributions	0.2 MB
Tomohiro Yoneda, Tokyo Institute of Technology, Japan Conservative Approach in Conformance Checking	0.2 MB
Luigi Romano, University of Naples Parthenope, Italy Middleware Support for Real-Time Stream Processing	1.2 MB
Zbigniew Kalbarczyk, University of Illinois at Urbana-Champaign, USA Automated Derivation of Application-Aware Error Detectors	0.3 MB
Jean-Claude Laprie, LAAS-CNRS, Toulouse, France Modeling Outages in Independent Critical Infrastructure	0.1 MB
Saurabh Bagchi, Purdue University, Indiana, USA Achieving High Survivability in Distributed Systems through Automated Intrusion Response	0.3 MB
Felicita Di Giandomenico, ISTI-CNR, Pisa, Italy CRUTIAL: CRitical UTility InfrastructurAL Resilience	0.1 MB
Johan Karlsson, Chalmers University of Technology, Göteborg, Sweden Membership Agreement in Time-Triggered Systems	0.2 MB

List of Attendees

Names and Contact Information

36 KB

IFIP Working Group 10.4 Dependable Computing and Fault Tolerance

Research Reports

List of Attendees

Workshop on Infrastructure Security and Operational

Challenges of Service Provider Networks

June 29-30, 2006 (Thursday/Friday)

Research Reports - July 2, 2006 (Sunday)

List of Attendees

IFIP Working Group 10.4
Dependable Computing and Fault Tolerance