[E-Lang] Migration and Una (was: E FAQ)

[Jonathan S. Shapiro]

> Btw, in light of previous discussions on e-lang, we may want to rephrase
> this as "mutually reliant UTCBs".

Actually, term "TCB" is now considered obsolete in the assurance community.
The term du jour is now TSF, for Trusted Security Functions.

It is also now clear to me why we had such trouble with the idea of nested
TCBs. Neither the TCSEC nor Common Criteria language lends itself to
object-oriented structure. The deeper I get into assurance the more
convinced I become that fundamental work is needed in this area.


Jonathan