7.2.1. Example: Security Enhanced Linux