Exam Review

Back to se464

Dependency injection

Cloud computing

Characteristics

Benefits

Technologies enabling this

What people look for in cloud security

Static Analysis

Optional type checking (annotations in Java)

Formalizations

e.g. dealing with null

Typesystems need: