The software architecture.- The security architecture.- The kernel implementation.- Verification techniques.- Verification of the...