-policy_module(ut2004, 0.1.2)
+policy_module(ut2004, 0.1.3)
require {
type interwise_port_t;
corenet_udp_bind_generic_node(ut2004_t)
read_files_pattern(ut2004_t, ut2004_ro_t, ut2004_ro_t)
+list_dirs_pattern(ut2004_t, ut2004_ro_t, ut2004_ro_t)
manage_files_pattern(ut2004_t, ut2004_rw_t, ut2004_rw_t)
manage_dirs_pattern(ut2004_t, ut2004_rw_t, ut2004_rw_t)