Laot is based around:

1. seL4 - a provable/trustworthy system.
2. laot - a framework for DBC built on top of seL4 isolation.
3. Some small experience in building these things.

The reader might also want to look at TMG inside SafeTCL which describes how some parts of the system are implemented.