AVAL.
Initializing Secure Systems