AVAL
.
Initializing Secure Systems