next up previous contents
Next: Procfs Up: Integrating Flexible Support for Previous: Control Requirements   Contents


Other File System Types

This section describes how the Flask file security mechanisms were applied to control access to several additional file system types. The section begins by discussing the analysis, design, and implementation of labeling for the procfs file system. It then discusses the design and implementation of labeling for the devpts file system. Finally, it discusses the design and implementation of labeling for NFS client support.



Subsections