Re: (MAC/DAC) RE: Future Linux devel. Kernels

From: Linda Walsh (
Date: Tue May 09 2000 - 17:28:32 EST

James Sutherland wrote:
> Do you have a WWW page for your project, BTW, summarising the criteria
> you're aiming for, the changes needed etc?

	Documents are being written concurrent to development, though
we hope to have some documentetation on OSS within a few weeks.

To see the CAPP and LSPP (Controlled Access and Labeled Security Protection Profiles, see:

Of the most interest -- skip to the Functional Requirements. That is the driving spec of 'features' needed for each. Effective Assurance requirements are docs required, code control requirements, fault remediation, testing required, formal or informal models, proof of model, mapping of OS onto modeletc -- i.e. all the paper work/administrative stuff ( sizeable requirements, but technically not very interesting). Note that a kludgy or complex implementation of the requirements may require alot more work at the 'proof' stage.


-- Linda A Walsh | Trust Technology, Core Linux, SGI | Voice: (650) 933-5338

- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to Please read the FAQ at

This archive was generated by hypermail 2b29 : Mon May 15 2000 - 21:00:14 EST