プログラム bukowski-framework.blogspot.com

このプロジェクトは、ソフトウェアセキュリティに対する現在の一般的なアプローチ(DAC、VMAのランダム化など)が十分ではなく、他のアプローチをより真剣に考慮する必要があることを実証することを目的としています(例えば、MAC、契約による設計)。