Architecture: structure refinements

It is preferable to introduce the term "application-specific trusted
computing base" in the introduction as part of the motivation.