next up previous contents
Next: Labeling Up: File System Previous: API extensions   Contents


In this section, our implementation of the Flask file security mechanisms in the Linux file system component is described. The implementation began by adding support for labeling file system objects, followed by the addition of the new system calls. Finally, the control requirements were implemented.