security architectures revisited
The knowledge in technologies needed to build secure platforms, or Security Architectures , has significantly matured over the recent years. These include small interface technologies, access-control contracts, tunneling, secure booting, effective resource control, and virtual machines. Putting together these ingredients into a small secure platform seems straightforward, yet still remains to be done, and has the potential of making operating systems more dependable.
secure architecture knowledge technologies platform interfaces control contract effect resource virtual machine operating system dependencies access control