一个安全文件系统的半形式化功能规范设计

• Design of the Partial-Formal Specification for a Secure File System