W
H
A
T
and
W
H
E
R
E
_
S
ecurity
WHATWHERE_Security
Up_To_Technique
MWLs
Parallel_Composition
WHATWHERE_Secure_Skip_Assign
Language_Composition
Type_System
Type_System_example