Using security models to investigate CMW design and implementation.

C. L. Robinson, Simon R. Wiseman

Browse the full ACSAC paper archive.