共 50 条
- [1] Design of cluster safe file system [J]. ADVANCED PARALLEL PROCESSING TECHNOLOGIES, PROCEEDINGS, 2003, 2834 : 249 - 253
- [3] Safe Haven in the Cloud: Secure Access Controlled File Encryption (SAFE) System [J]. 2015 SCIENCE AND INFORMATION CONFERENCE (SAI), 2015, : 1329 - 1334
- [5] Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning [J]. PROCEEDINGS OF THE 16TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2022, 2022, : 447 - 463
- [6] Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning [J]. Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, 2022, : 447 - 463
- [8] Sprockets: Safe extensions for distributed file systems [J]. USENIX ASSOCIATION PROCEEDINGS OF THE 2007 USENIX ANNUAL TECHNICAL CONFERENCE, 2007, : 115 - 128
- [9] A parts-of-file file system [J]. USENIX Association Proceedings of the General Track: 2005 UNENIX Annual Technical Conference, 2005, : 359 - 362
- [10] Verifying a high-performance crash-safe file system using a tree specification [J]. PROCEEDINGS OF THE TWENTY-SIXTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES (SOSP '17), 2017, : 270 - 286