1 search result for "author:"Maximiliano Cristiá""

Showing 1 - 1
  1. coq-fssec-model

    No documentation

    Formal verification of an extension of a UNIX compatible, secure filesystem
    keyword: security keyword: filesystem keyword: UNIX keyword: MLS keyword: access control category: Computer Science/Operating Systems date: 2002-04-24
    Maximiliano Cristiá
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019