File System Security Issues

The previous section described security considerations in general terms. In addition to general security issues of interest to all drivers, there are specific security issues related to file systems. This section attempts to provide a guide for those file systems looking to implement Windows-style security within their driver. This section discusses those specific issues and how they can be addressed within a file system. This section is not a reference guide nor does it provide a complete list of all possible security threats and how they may be mitigated. But rather, the goal of this section is to identify well known threats and key issues related to security that should be addressed by all file systems. Because the area of security itself is sufficiently broad, this document does not cover all possible security issues or implementations.

This section includes the following topics:

Semantic Model Checks

Security Checks