Rational

• R --> Q (security invariants)

• iff behavior ? I-Q --> intrusion

Previous slide

Next slide

Back to first slide

View graphic version