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

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