Re: Question about assurance?

[Stephen Smalley <sds@xxxxxxxxxxxxx>]

On Mon, 2005-06-06 at 09:20 -0700, Park Lee wrote:
> But, I think they are 2 different things. Then, Does
> Lorenzo misunderstand the word "assurance" in "ease
> of assurance" in my question ? 

Yes, I think he just misunderstood the question.  Reports on the
assurance work done for DTOS can be found under
http://www.cs.utah.edu/flux/dtos.  Reports on assurance work done for
Flask can be found under http://www.cs.utah.edu/flux/flask.


> > http://www.nsa.gov/selinux/papers/inevitability/#2
> 
> It can not be open, why?

Works for me.  It should take you to Section 2 of that paper; you can
always omit the #2 and just scan down to the 2nd section yourself.
Quoting from it:

"Assurance evidence must be provided to demonstrate that the features
meet the desired system security properties and to demonstrate that the
features are implemented correctly."

-- 
Stephen Smalley
National Security Agency


--
This message was distributed to subscribers of the selinux mailing list.
If you no longer wish to subscribe, send mail to majordomo@xxxxxxxxxxxxx with
the words "unsubscribe selinux" without quotes as the message.