Re: LSM verification tools -- report

From: Greg KH (gregat_private)
Date: Mon Jan 07 2002 - 13:47:04 PST

  • Next message: Seth Arnold: "Re: LSM verification tools -- report"

    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:
    Great!  Thanks for doing this work and releasing it.
    > A description of these results is available at:
    Based on some of these results, I think we should change the api a bit.
    greg k-h
    linux-security-module mailing list

    This archive was generated by hypermail 2b30 : Mon Jan 07 2002 - 13:50:29 PST