[rwth-security] The integrity policy enforcement security module (for Linux)