- Using the Catalog
- Topology Editing
- Topology Merging
- Topology Validation
- Visualization
- Configuring the Messaging System
- Example AAL
- Example data collection and filtering
- DNS Kaminsky Casestudy with SAF
- Denial of Service Attack Study with SAF
- Visualizations