Title
Date of Original Version
1-2007
Type
Working Paper
Abstract or Table of Contents
This project proposes manifest security as a new architectural principle for secure extensible systems. Its research objectives are to develop the theoretical foundations for manifestly secure software and to demonstrate its feasibility in practice.
COinS