Completed
Use Symbolic Models to represent Large Sets
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Alembic - Automated Model Inference for Stateful Network Functions
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Motivating Example: Stateful Firewall (FW)
- 3 Today: Need NF Models for Testing and Verification
- 4 Limitation of Handwritten Model: Inaccuracy
- 5 Challenges on Large Configuration Space
- 6 We Can Compose Models of Individual Rules
- 7 Use Symbolic Models to represent Large Sets
- 8 Exploit Independence to Create an Ensemble of FSMS
- 9 Challenges on Inferring NF Behavior
- 10 Background on L* for Black-box FSM Inference
- 11 Practical Challenges of Applying L* for an NF
- 12 Generating Input Alphabet to handle Large Traffic Space
- 13 Learning the State Granularity
- 14 Alembic Workflow: Offline
- 15 Evaluation Summary
- 16 Evaluation Setup
- 17 Firewall Case Study: Untangle Firewall
- 18 Limitations and Future Work
- 19 Conclusions: Alembic can accurately model stateful NFS
