Problem Definition

Software

Program

Intended Behavior

Specification

Attack

Models

ASL

Specification

Infrastructure

ASL Compiler

Detection and

Isolation Engine

Execution

Security

Specification

Abstractor

Previous slide

Next slide

Back to first slide

View graphic version