| (typeattribute cil_gen_require) |
| (roleattribute cil_gen_require) |
| (handleunknown allow) |
| (mls true) |
| (policycap open_perms) |
| (sid security) |
| (sidorder (security)) |
| (sensitivity s0) |
| (sensitivityorder (s0)) |
| (user system_u) |
| (userrole system_u object_r) |
| (userlevel system_u (s0)) |
| (userrange system_u ((s0) (s0))) |
| (role object_r) |
| (roletype object_r first_port_t) |
| (roletype object_r second_port_t) |
| (roletype object_r third_port_t) |
| (type first_port_t) |
| (type second_port_t) |
| (type third_port_t) |
| (sidcontext security (system_u object_r first_port_t ((s0) (s0)))) |
| (class file (open)) |
| (classorder (file)) |
| (allow first_port_t self (file (open))) |
| (portcon tcp 80 (system_u object_r first_port_t ((s0) (s0)))) |
| (portcon udp (1 1023) (system_u object_r second_port_t ((s0) (s0)))) |
| (portcon tcp 12345 (system_u object_r third_port_t ((s0) (s0)))) |
