Chris PeBenito 57869a
## <module name="corenetwork">
Chris PeBenito 085faa
## <summary>Policy controlling access to network objects</summary>
Chris PeBenito e181fe
Chris PeBenito 004db9
########################################
Chris PeBenito 0c5a28
## <interface name="corenet_tcp_sendrecv_generic_if">
Chris PeBenito 004db9
##	<description>
Chris PeBenito 004db9
##		Send and receive TCP network traffic on the general interfaces.
Chris PeBenito 004db9
##	</description>
Chris PeBenito 004db9
##	<parameter name="domain">
Chris PeBenito 004db9
##		The type of the process performing this action.
Chris PeBenito 004db9
##	</parameter>
Chris PeBenito 004db9
##	<infoflow type="both" weight="10"/>
Chris PeBenito 004db9
## </interface>
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`corenet_tcp_sendrecv_generic_if',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type netif_t;
Chris PeBenito 2ba9a7
		class netif { tcp_send tcp_recv };
Chris PeBenito 2ba9a7
	')
Chris PeBenito b4cd15
Chris PeBenito d11566
	allow $1 netif_t:netif { tcp_send tcp_recv };
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito b4cd15
#######################################
Chris PeBenito b4cd15
#
Chris PeBenito 0c5a28
# corenet_udp_send_generic_if(domain)
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`corenet_udp_send_generic_if',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type netif_t;
Chris PeBenito 2ba9a7
		class netif udp_send;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 netif_t:netif udp_send;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
#######################################
Chris PeBenito b4cd15
#
Chris PeBenito 0c5a28
# corenet_udp_receive_generic_if(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_receive_generic_if',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type netif_t;
Chris PeBenito 2ba9a7
		class netif udp_recv;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 netif_t:netif udp_recv;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito d11566
#######################################
Chris PeBenito d11566
#
Chris PeBenito 0c5a28
# corenet_udp_sendrecv_generic_if(domain)
Chris PeBenito d11566
#
Chris PeBenito 199895
interface(`corenet_udp_sendrecv_generic_if',`
Chris PeBenito 0c5a28
	corenet_udp_send_generic_if($1)
Chris PeBenito 0c5a28
	corenet_udp_receive_generic_if($1)
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_raw_send_generic_if(domain)
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`corenet_raw_send_generic_if',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type netif_t;
Chris PeBenito 2ba9a7
		class netif rawip_send;
Chris PeBenito 2ba9a7
		class capability net_raw;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 netif_t:netif rawip_send;
Chris PeBenito d11566
	allow $1 self:capability net_raw;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
#######################################
Chris PeBenito b4cd15
#
Chris PeBenito 0c5a28
# corenet_raw_receive_generic_if(domain)
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`corenet_raw_receive_generic_if',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type netif_t;
Chris PeBenito 2ba9a7
		class netif rawip_recv;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 netif_t:netif rawip_recv;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
#######################################
Chris PeBenito b4cd15
#
Chris PeBenito 0c5a28
# corenet_raw_sendrecv_generic_if(domain)
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`corenet_raw_sendrecv_generic_if',`
Chris PeBenito 0c5a28
	corenet_raw_send_generic_if($1)
Chris PeBenito 0c5a28
	corenet_raw_receive_generic_if($1)
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
#######################################
Chris PeBenito b4cd15
#
Chris PeBenito 0c5a28
# corenet_tcp_sendrecv_all_if(domain)
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`corenet_tcp_sendrecv_all_if',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute netif_type;
Chris PeBenito 2ba9a7
		class netif { tcp_send tcp_recv };
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 netif_type:netif { tcp_send tcp_recv };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
#######################################
Chris PeBenito b4cd15
#
Chris PeBenito 0c5a28
# corenet_udp_send_all_if(domain)
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`corenet_udp_send_all_if',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute netif_type;
Chris PeBenito 2ba9a7
		class netif udp_send;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 netif_type:netif udp_send;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
#######################################
Chris PeBenito b4cd15
#
Chris PeBenito 0c5a28
# corenet_udp_receive_all_if(domain)
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`corenet_udp_receive_all_if',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute netif_type;
Chris PeBenito 2ba9a7
		class netif udp_recv;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 netif_type:netif udp_recv;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
#######################################
Chris PeBenito b4cd15
#
Chris PeBenito 0c5a28
# corenet_udp_sendrecv_all_if(domain)
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`corenet_udp_sendrecv_all_if',`
Chris PeBenito 0c5a28
	corenet_udp_send_all_if($1)
Chris PeBenito 0c5a28
	corenet_udp_receive_all_if($1)
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
#######################################
Chris PeBenito b4cd15
#
Chris PeBenito 0c5a28
# corenet_raw_send_all_if(domain)
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`corenet_raw_send_all_if',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute netif_type;
Chris PeBenito 2ba9a7
		class netif rawip_send;
Chris PeBenito 2ba9a7
		class capability net_raw;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 netif_type:netif rawip_send;
Chris PeBenito d11566
	allow $1 self:capability net_raw;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_raw_receive_all_if(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_raw_receive_all_if',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute netif_type;
Chris PeBenito 2ba9a7
		class netif rawip_recv;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 netif_type:netif rawip_recv;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_raw_sendrecv_all_if(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_raw_sendrecv_all_if',`
Chris PeBenito 0c5a28
	corenet_raw_send_all_if($1)
Chris PeBenito 0c5a28
	corenet_raw_receive_all_if($1)
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_tcp_sendrecv_generic_node(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_tcp_sendrecv_generic_node',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type node_t;
Chris PeBenito 2ba9a7
		class node { tcp_send tcp_recv };
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 node_t:node { tcp_send tcp_recv };
Chris PeBenito d11566
')
Chris PeBenito d11566
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_send_generic_node(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_send_generic_node',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type node_t;
Chris PeBenito 2ba9a7
		class node udp_send;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 node_t:node udp_send;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_receive_generic_node(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_receive_generic_node',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type node_t;
Chris PeBenito 2ba9a7
		class node udp_recv;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 node_t:node udp_recv;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito d11566
#######################################
Chris PeBenito d11566
#
Chris PeBenito 0c5a28
# corenet_udp_sendrecv_generic_node(domain)
Chris PeBenito d11566
#
Chris PeBenito 199895
interface(`corenet_udp_sendrecv_generic_node',`
Chris PeBenito 0c5a28
	corenet_udp_send_generic_node($1)
Chris PeBenito 0c5a28
	corenet_udp_receive_generic_node($1)
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_raw_send_generic_node(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_raw_send_generic_node',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type node_t;
Chris PeBenito 2ba9a7
		class node rawip_send;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 node_t:node rawip_send;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_raw_receive_generic_node(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_raw_receive_generic_node',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type node_t;
Chris PeBenito 2ba9a7
		class node rawip_recv;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 node_t:node rawip_recv;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito d11566
#######################################
Chris PeBenito d11566
#
Chris PeBenito 0c5a28
# corenet_raw_sendrecv_generic_node(domain)
Chris PeBenito d11566
#
Chris PeBenito 199895
interface(`corenet_raw_sendrecv_generic_node',`
Chris PeBenito 0c5a28
	corenet_raw_send_generic_node($1)
Chris PeBenito 0c5a28
	corenet_raw_receive_generic_node($1)
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_tcp_bind_generic_node(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_tcp_bind_generic_node',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type node_t;
Chris PeBenito 2ba9a7
		class tcp_socket node_bind;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 node_t:tcp_socket node_bind;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_bind_generic_node(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_bind_generic_node',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type node_t;
Chris PeBenito 2ba9a7
		class udp_socket node_bind;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 node_t:udp_socket node_bind;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_tcp_sendrecv_all_nodes(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_tcp_sendrecv_all_nodes',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute node_type;
Chris PeBenito 2ba9a7
		class node { tcp_send tcp_recv };
Chris PeBenito 2ba9a7
	')
Chris PeBenito 0e730c
Chris PeBenito d11566
	allow $1 node_type:node { tcp_send tcp_recv };
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_send_all_nodes(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_send_all_nodes',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute node_type;
Chris PeBenito 2ba9a7
		class node udp_send;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 node_type:node udp_send;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_receive_all_nodes(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_receive_all_nodes',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute node_type;
Chris PeBenito 2ba9a7
		class node udp_recv;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 node_type:node udp_recv;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito d11566
#######################################
Chris PeBenito d11566
#
Chris PeBenito 0c5a28
# corenet_udp_sendrecv_all_nodes(domain)
Chris PeBenito d11566
#
Chris PeBenito 199895
interface(`corenet_udp_sendrecv_all_nodes',`
Chris PeBenito 0c5a28
	corenet_udp_send_all_nodes($1)
Chris PeBenito 0c5a28
	corenet_udp_receive_all_nodes($1)
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_raw_send_all_nodes(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_raw_send_all_nodes',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute node_type;
Chris PeBenito 2ba9a7
		class node rawip_send;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 node_type:node rawip_send;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_raw_receive_all_nodes(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_raw_receive_all_nodes',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute node_type;
Chris PeBenito 2ba9a7
		class node rawip_recv;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 node_type:node rawip_recv;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito d11566
#######################################
Chris PeBenito d11566
#
Chris PeBenito 0c5a28
# corenet_raw_sendrecv_all_nodes(domain)
Chris PeBenito d11566
#
Chris PeBenito 199895
interface(`corenet_raw_sendrecv_all_nodes',`
Chris PeBenito 0c5a28
	corenet_raw_send_all_nodes($1)
Chris PeBenito 0c5a28
	corenet_raw_receive_all_nodes($1)
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_tcp_bind_all_nodes(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_tcp_bind_all_nodes',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute node_type;
Chris PeBenito 2ba9a7
		class tcp_socket node_bind;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 node_type:tcp_socket node_bind;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_bind_all_nodes(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_bind_all_nodes',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute node_type;
Chris PeBenito 2ba9a7
		class udp_socket node_bind;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 node_type:udp_socket node_bind;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_tcp_sendrecv_generic_port(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_tcp_sendrecv_generic_port',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type port_t;
Chris PeBenito 2ba9a7
		class tcp_socket { send_msg recv_msg };
Chris PeBenito 2ba9a7
	')
Chris PeBenito 0e730c
Chris PeBenito d11566
	allow $1 port_t:tcp_socket { send_msg recv_msg };
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_send_generic_port(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_send_generic_port',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type port_t;
Chris PeBenito 2ba9a7
		class udp_socket send_msg;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 port_t:udp_socket send_msg;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_receive_generic_port(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_receive_generic_port',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type port_t;
Chris PeBenito 2ba9a7
		class udp_socket recv_msg;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 port_t:udp_socket recv_msg;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito d11566
#######################################
Chris PeBenito d11566
#
Chris PeBenito 0c5a28
# corenet_udp_sendrecv_generic_port(domain)
Chris PeBenito d11566
#
Chris PeBenito 199895
interface(`corenet_udp_sendrecv_generic_port',`
Chris PeBenito 0c5a28
	corenet_udp_send_generic_port($1)
Chris PeBenito 0c5a28
	corenet_udp_receive_generic_port($1)
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_tcp_bind_generic_port(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_tcp_bind_generic_port',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type port_t;
Chris PeBenito 2ba9a7
		class tcp_socket name_bind;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 port_t:tcp_socket name_bind;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_bind_generic_port(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_bind_generic_port',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type port_t;
Chris PeBenito 2ba9a7
		class udp_socket name_bind;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 port_t:udp_socket name_bind;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_tcp_sendrecv_all_ports(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_tcp_sendrecv_all_ports',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute port_type;
Chris PeBenito 2ba9a7
		class tcp_socket { send_msg recv_msg };
Chris PeBenito 2ba9a7
	')
Chris PeBenito 0e730c
Chris PeBenito d11566
	allow $1 port_type:tcp_socket { send_msg recv_msg };
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_send_all_ports(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_send_all_ports',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute port_type;
Chris PeBenito 2ba9a7
		class udp_socket send_msg;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 port_type:udp_socket send_msg;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_receive_all_ports(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_receive_all_ports',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute port_type;
Chris PeBenito 2ba9a7
		class udp_socket recv_msg;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 port_type:udp_socket recv_msg;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito d11566
#######################################
Chris PeBenito d11566
#
Chris PeBenito 0c5a28
# corenet_udp_sendrecv_all_ports(domain)
Chris PeBenito d11566
#
Chris PeBenito 199895
interface(`corenet_udp_sendrecv_all_ports',`
Chris PeBenito 0c5a28
	corenet_udp_send_all_ports($1)
Chris PeBenito 0c5a28
	corenet_udp_receive_all_ports($1)
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_tcp_bind_all_ports(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_tcp_bind_all_ports',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute port_type;
Chris PeBenito 2ba9a7
		class tcp_socket name_bind;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 port_type:tcp_socket name_bind;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_bind_all_ports(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_bind_all_ports',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute port_type;
Chris PeBenito 2ba9a7
		class udp_socket name_bind;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 port_type:udp_socket name_bind;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_tcp_sendrecv_reserved_port(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_tcp_sendrecv_reserved_port',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type reserved_port_t;
Chris PeBenito 2ba9a7
		class tcp_socket { send_msg recv_msg };
Chris PeBenito 2ba9a7
	')
Chris PeBenito 0e730c
Chris PeBenito d11566
	allow $1 reserved_port_t:tcp_socket { send_msg recv_msg };
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_send_reserved_port(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_send_reserved_port',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type reserved_port_t;
Chris PeBenito 2ba9a7
		class udp_socket send_msg;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 reserved_port_t:udp_socket send_msg;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_receive_reserved_port(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_receive_reserved_port',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type reserved_port_t;
Chris PeBenito 2ba9a7
		class udp_socket recv_msg;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 reserved_port_t:udp_socket recv_msg;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito d11566
#######################################
Chris PeBenito d11566
#
Chris PeBenito 0c5a28
# corenet_udp_sendrecv_reserved_port(domain)
Chris PeBenito d11566
#
Chris PeBenito 199895
interface(`corenet_udp_sendrecv_reserved_port',`
Chris PeBenito 0c5a28
	corenet_udp_send_reserved_port($1)
Chris PeBenito 0c5a28
	corenet_udp_receive_reserved_port($1)
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_tcp_bind_reserved_port(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_tcp_bind_reserved_port',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type reserved_port_t;
Chris PeBenito 2ba9a7
		class tcp_socket name_bind;
Chris PeBenito 2ba9a7
		class capability net_bind_service;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 reserved_port_t:tcp_socket name_bind;
Chris PeBenito d11566
	allow $1 self:capability net_bind_service;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_bind_reserved_port(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_bind_reserved_port',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		type reserved_port_t;
Chris PeBenito 2ba9a7
		class udp_socket name_bind;
Chris PeBenito 2ba9a7
		class capability net_bind_service;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 reserved_port_t:udp_socket name_bind;
Chris PeBenito d11566
	allow $1 self:capability net_bind_service;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_tcp_sendrecv_all_reserved_ports(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_tcp_sendrecv_all_reserved_ports',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute reserved_port_type;
Chris PeBenito 2ba9a7
		class tcp_socket { send_msg recv_msg };
Chris PeBenito 2ba9a7
	')
Chris PeBenito 0e730c
Chris PeBenito d11566
	allow $1 reserved_port_type:tcp_socket { send_msg recv_msg };
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_send_all_reserved_ports(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_send_all_reserved_ports',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute reserved_port_type;
Chris PeBenito 2ba9a7
		class udp_socket send_msg;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 reserved_port_type:udp_socket send_msg;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_udp_receive_all_reserved_ports(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_receive_all_reserved_ports',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute reserved_port_type;
Chris PeBenito 2ba9a7
		class udp_socket recv_msg;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 reserved_port_type:udp_socket recv_msg;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito d11566
#######################################
Chris PeBenito d11566
#
Chris PeBenito 0c5a28
# corenet_udp_sendrecv_all_reserved_ports(domain)
Chris PeBenito d11566
#
Chris PeBenito 199895
interface(`corenet_udp_sendrecv_all_reserved_ports',`
Chris PeBenito 0c5a28
	corenet_udp_send_all_reserved_ports($1)
Chris PeBenito 0c5a28
	corenet_udp_receive_all_reserved_ports($1)
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_tcp_bind_all_reserved_ports(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_tcp_bind_all_reserved_ports',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute reserved_port_type;
Chris PeBenito 2ba9a7
		class tcp_socket name_bind;
Chris PeBenito 2ba9a7
		class capability net_bind_service;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 reserved_port_type:tcp_socket name_bind;
Chris PeBenito d11566
	allow $1 self:capability net_bind_service;
Chris PeBenito 0e730c
')
Chris PeBenito 0e730c
Chris PeBenito 0e730c
#######################################
Chris PeBenito 0e730c
#
Chris PeBenito 0c5a28
# corenet_dontaudit_tcp_bind_all_reserved_ports(domain)
Chris PeBenito b16c6b
#
Chris PeBenito 199895
interface(`corenet_dontaudit_tcp_bind_all_reserved_ports',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute reserved_port_type;
Chris PeBenito 2ba9a7
		class tcp_socket name_bind;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	dontaudit $1 reserved_port_type:tcp_socket name_bind;
Chris PeBenito b16c6b
')
Chris PeBenito b16c6b
Chris PeBenito b16c6b
#######################################
Chris PeBenito b16c6b
#
Chris PeBenito 0c5a28
# corenet_udp_bind_all_reserved_ports(domain)
Chris PeBenito 0e730c
#
Chris PeBenito 199895
interface(`corenet_udp_bind_all_reserved_ports',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute reserved_port_type;
Chris PeBenito 2ba9a7
		class udp_socket name_bind;
Chris PeBenito 2ba9a7
		class self:capability net_bind_service;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	allow $1 reserved_port_type:udp_socket name_bind;
Chris PeBenito d11566
	allow $1 self:capability net_bind_service;
Chris PeBenito a2d824
')
Chris PeBenito a2d824
Chris PeBenito a2d824
#######################################
Chris PeBenito a2d824
#
Chris PeBenito 0c5a28
# corenet_dontaudit_udp_bind_all_reserved_ports(domain)
Chris PeBenito a2d824
#
Chris PeBenito 199895
interface(`corenet_dontaudit_udp_bind_all_reserved_ports',`
Chris PeBenito 2ba9a7
	gen_require(`
Chris PeBenito 2ba9a7
		attribute reserved_port_type;
Chris PeBenito 2ba9a7
		class udp_socket name_bind;
Chris PeBenito 2ba9a7
	')
Chris PeBenito d11566
Chris PeBenito d11566
	dontaudit $1 reserved_port_type:udp_socket name_bind;
Chris PeBenito a2d824
')