80 likes | 103 Views
Composable/Reconfigurable Services. Team 4 Active Networks Demonstrations 8 December 2000. Team Makeup. TASC/UMass: Active Error Recovery Support for reliable multicast in the network Georgia Tech/Kentucky: CANEs EE Composition of active protocols University of Illinois: Security Guardian
E N D
Composable/Reconfigurable Services Team 4 Active Networks Demonstrations 8 December 2000
Team Makeup • TASC/UMass: Active Error Recovery • Support for reliable multicast in the network • Georgia Tech/Kentucky: CANEs EE • Composition of active protocols • University of Illinois: Security Guardian • Management of active security policies • SRI/Stanford: Maude • Formal analysis of protocols
Team Objectives • A framework for composing active network services • including components developed independently • Demonstrate benefits of choosing/combining functional elements in many dimensions: • placement of functions at strategic points in topology • multicast data transport services • trust management for multicast routing • verification of correctness, compositionality
Team Objectives • Demonstrate different timescales of configuration • network configuration time (e.g. trust domains) • application startup time • runtime, in response to external stimuli • loss threshold exceeded, multicast group size exceeds threshold, attack, … • Feed experiences back into the AN standards process (architecture documents)
Integrated Demonstration • Application: live, interactive video distribution • Environment: Heterogeneous network (ABONE) • What we are demonstrating: • Performance enhancements enabled by active and dynamic configuration capabilities • New security services via the combined elements • Some services verified formally for correctness and compositionality • Composition of independently-developed functions, in multiple dimensions,within one EE
AER/NCA Send Applications (Wintel/Diva) NIST Net WAN Emulators (300 MHz Pentium IIs/LINUX) CANEs Active Node (Sun Ultra 5/Solaris) NIST Net WAN Emulator (300 MHz Pentium II/LINUX) CANEs Active Node (Sun Ultra 5/Solaris) AER/NCA Receive Applications (Dual Proc. Sun Ultra 2s /Solaris) Demonstration Configuration
Presentation Outline • Overview • Team introduction, demo topology, application • Active Error Recovery • Protocol overview, error recovery scenarios • Formal Analysis • Errors identified using Maude • Composition using CANEs • AER flows, Bowman performance • Security Guardian Integration • Enforcement scenarios • Wrapup