Re: LSM verification tools -- report

Previous message: Trent Jaeger: "LSM verification tools -- report"
In reply to: Trent Jaeger: "LSM verification tools -- report"
Next in thread: Seth Arnold: "Re: LSM verification tools -- report"
Reply: Seth Arnold: "Re: LSM verification tools -- report"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

gregat_private

On Mon, Jan 07, 2002 at 03:42:37PM -0500, Trent Jaeger wrote:
> Hi,
> 
> We have completed a first prototype of two LSM verification tools.  A
> report describing the tool is available from the IBM Tech Reports site:
> http://www.research.ibm.com/resources/paper_search.shtml.

Great!  Thanks for doing this work and releasing it.

> A description of these results is available at:
> http://www.research.ibm.com/sawmill/lsm_249_notes.txt

Based on some of these results, I think we should change the api a bit.

thanks,

greg k-h
_______________________________________________
linux-security-module mailing list
linux-security-moduleat_private
http://mail.wirex.com/mailman/listinfo/linux-security-module