This subsection begins with an analysis of the procfs file system and its implementation. The design for labeling procfs files is then described. Finally, the implementation of labeling and controls is discussed.