diff options
| author |   Chris PeBenito <pebenito@ieee.org> | 2018-06-23 10:38:58 -0400 |
|---|---|---|
| committer |   Jason Zaman <jason@perfinion.com> | 2018-06-24 16:33:24 +0800 |
| commit | 751926c0fbba4bf7105622ee65888b66740847a0 (patch) | |
| tree | 6bbdd39cd5becdddc8e4cbc41332c383874c7972 /policy/modules/services/rngd.if | |
| parent | xdg: move compat interfaces to upstream xdg module (diff) | |
| download | hardened-refpolicy-751926c0fbba4bf7105622ee65888b66740847a0.tar.gz hardened-refpolicy-751926c0fbba4bf7105622ee65888b66740847a0.tar.bz2 hardened-refpolicy-751926c0fbba4bf7105622ee65888b66740847a0.zip | |
Move all files out of the old contrib directory.
Diffstat (limited to 'policy/modules/services/rngd.if')
| -rw-r--r-- | policy/modules/services/rngd.if | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/policy/modules/services/rngd.if b/policy/modules/services/rngd.if new file mode 100644 index 00000000..7b26dc32 --- /dev/null +++ b/policy/modules/services/rngd.if @@ -0,0 +1,32 @@ +## <summary>Check and feed random data from hardware device to kernel random device.</summary> + +######################################## +## <summary> +## All of the rules required to +## administrate an rng environment. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +## <param name="role"> +## <summary> +## Role allowed access. +## </summary> +## </param> +## <rolecap/> +# +interface(`rngd_admin',` + gen_require(` + type rngd_t, rngd_initrc_exec_t, rngd_var_run_t; + ') + + allow $1 rngd_t:process { ptrace signal_perms }; + ps_process_pattern($1, rngd_t) + + init_startstop_service($1, $2, rngd_t, rngd_initrc_exec_t) + + files_search_pids($1) + admin_pattern($1, rngd_var_run_t) +') |