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:
    > 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
    



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