OSの作り方として、絶対にセキュリティが保証されるような枠組みを理論的に構築して、
それに忠実にOSを作り上げる工学的手法が確立されるべきである。
達人プログラマの天才的な職人芸と直感と経験に頼って作られ、
正しさの証明が伴わない今のようなプログラミングの在り方、
システムの構築のしかたは野蛮であり、安全さが保証されず、
いつでもいつまでもセキュリティのホールが後で指摘され、
悪用され続けることを許してしまう。アプリを書く為の
プログラム言語やライブラリのインタフェースなども、
正しさ、セキュリティ、を確実にするために如何にある
べきかを理論的に詰めて、それに忠実に実装されるように
なるべきである。そのシステムの安全性は形式的に検証
できるようなものであって欲しい。
　またシステムやアプリなどは、各あるべしというアサー
ションを実行時に伴いながら動作することが強く望ましい。
如何にアプリのコードが正しいものだとしても、それを
実行するハードが誤動作したり、仕様に沿わない動作を
する可能性がままあるからだ。想定と違う動作をしている
ことを検知したらそのレポートを直ちに上げて、プログラ
ムの動作を切り替えて実行を打ち切るかあるいは異常に
対する回避コードに実行が移るようにする。
悪意のあるプログラムの混入に対する防御として、
独立なシステム上で、独立なプログラムの供給元から
提供された複数（3つ以上）のプログラムの動作を、
データの出入りのポイントで比較して、齟齬があれば
それをレポートして先に進むかどうかを判断するよう
な仕組みが普通にとられるべきである。OSもそのような
造りにすることが考えられる。