## <summary>Policy controlling access to network objects</summary>

########################################

## <summary>

##	Send and receive TCP network traffic on the generic interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

## <infoflow type="both" weight="10"/>

#

interface(`corenet_tcp_sendrecv_generic_if',`

	gen_require(`

		type netif_t;

		class netif { tcp_send tcp_recv };

	')

	allow $1 netif_t:netif { tcp_send tcp_recv };

')

########################################

## <summary>

##	Send UDP network traffic on generic interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_send_generic_if',`

	gen_require(`

		type netif_t;

		class netif udp_send;

	')

	allow $1 netif_t:netif udp_send;

')

########################################

## <summary>

##	Receive UDP network traffic on generic interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_receive_generic_if',`

	gen_require(`

		type netif_t;

		class netif udp_recv;

	')

	allow $1 netif_t:netif udp_recv;

')

########################################

## <summary>

##	Send and Receive UDP network traffic on generic interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_sendrecv_generic_if',`

	corenet_udp_send_generic_if($1)

	corenet_udp_receive_generic_if($1)

')

########################################

## <summary>

##	Send raw IP packets on generic interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_raw_send_generic_if',`

	gen_require(`

		type netif_t;

		class netif rawip_send;

		class capability net_raw;

	')

	allow $1 netif_t:netif rawip_send;

	allow $1 self:capability net_raw;

')

########################################

## <summary>

##	Receive raw IP packets on generic interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_raw_receive_generic_if',`

	gen_require(`

		type netif_t;

		class netif rawip_recv;

	')

	allow $1 netif_t:netif rawip_recv;

')

########################################

## <summary>

##	Send and receive raw IP packets on generic interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_raw_sendrecv_generic_if',`

	corenet_raw_send_generic_if($1)

	corenet_raw_receive_generic_if($1)

')

########################################

## <summary>

##	Send and receive TCP network traffic on all interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_tcp_sendrecv_all_if',`

	gen_require(`

		attribute netif_type;

		class netif { tcp_send tcp_recv };

	')

	allow $1 netif_type:netif { tcp_send tcp_recv };

')

########################################

## <summary>

##	Send UDP network traffic on all interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_send_all_if',`

	gen_require(`

		attribute netif_type;

		class netif udp_send;

	')

	allow $1 netif_type:netif udp_send;

')

########################################

## <summary>

##	Receive UDP network traffic on all interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_receive_all_if',`

	gen_require(`

		attribute netif_type;

		class netif udp_recv;

	')

	allow $1 netif_type:netif udp_recv;

')

########################################

## <summary>

##	Send and receive UDP network traffic on all interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_sendrecv_all_if',`

	corenet_udp_send_all_if($1)

	corenet_udp_receive_all_if($1)

')

########################################

## <summary>

##	Send raw IP packets on all interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_raw_send_all_if',`

	gen_require(`

		attribute netif_type;

		class netif rawip_send;

		class capability net_raw;

	')

	allow $1 netif_type:netif rawip_send;

	allow $1 self:capability net_raw;

')

########################################

## <summary>

##	Receive raw IP packets on all interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_raw_receive_all_if',`

	gen_require(`

		attribute netif_type;

		class netif rawip_recv;

	')

	allow $1 netif_type:netif rawip_recv;

')

########################################

## <summary>

##	Send and receive raw IP packets on all interfaces.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_raw_sendrecv_all_if',`

	corenet_raw_send_all_if($1)

	corenet_raw_receive_all_if($1)

')

########################################

## <summary>

##	Send and receive TCP network traffic on generic nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_tcp_sendrecv_generic_node',`

	gen_require(`

		type node_t;

		class node { tcp_send tcp_recv };

	')

	allow $1 node_t:node { tcp_send tcp_recv };

')

########################################

## <summary>

##	Send UDP network traffic on generic nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_send_generic_node',`

	gen_require(`

		type node_t;

		class node udp_send;

	')

	allow $1 node_t:node udp_send;

')

########################################

## <summary>

##	Receive UDP network traffic on generic nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_receive_generic_node',`

	gen_require(`

		type node_t;

		class node udp_recv;

	')

	allow $1 node_t:node udp_recv;

')

########################################

## <summary>

##	Send and receive UDP network traffic on generic nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_sendrecv_generic_node',`

	corenet_udp_send_generic_node($1)

	corenet_udp_receive_generic_node($1)

')

########################################

## <summary>

##	Send raw IP packets on generic nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_raw_send_generic_node',`

	gen_require(`

		type node_t;

		class node rawip_send;

	')

	allow $1 node_t:node rawip_send;

')

########################################

## <summary>

##	Receive raw IP packets on generic nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_raw_receive_generic_node',`

	gen_require(`

		type node_t;

		class node rawip_recv;

	')

	allow $1 node_t:node rawip_recv;

')

########################################

## <summary>

##	Send and receive raw IP packets on generic nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_raw_sendrecv_generic_node',`

	corenet_raw_send_generic_node($1)

	corenet_raw_receive_generic_node($1)

')

########################################

## <summary>

##	Bind TCP sockets to generic nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_tcp_bind_generic_node',`

	gen_require(`

		type node_t;

		class tcp_socket node_bind;

	')

	allow $1 node_t:tcp_socket node_bind;

')

########################################

## <summary>

##	Bind UDP sockets to generic nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_bind_generic_node',`

	gen_require(`

		type node_t;

		class udp_socket node_bind;

	')

	allow $1 node_t:udp_socket node_bind;

')

########################################

## <summary>

##	Send and receive TCP network traffic on all nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_tcp_sendrecv_all_nodes',`

	gen_require(`

		attribute node_type;

		class node { tcp_send tcp_recv };

	')

	allow $1 node_type:node { tcp_send tcp_recv };

')

########################################

## <summary>

##	Send UDP network traffic on all nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_send_all_nodes',`

	gen_require(`

		attribute node_type;

		class node udp_send;

	')

	allow $1 node_type:node udp_send;

')

########################################

## <summary>

##	Receive UDP network traffic on all nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_receive_all_nodes',`

	gen_require(`

		attribute node_type;

		class node udp_recv;

	')

	allow $1 node_type:node udp_recv;

')

########################################

## <summary>

##	Send and receive UDP network traffic on all nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_sendrecv_all_nodes',`

	corenet_udp_send_all_nodes($1)

	corenet_udp_receive_all_nodes($1)

')

########################################

## <summary>

##	Send raw IP packets on all nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_raw_send_all_nodes',`

	gen_require(`

		attribute node_type;

		class node rawip_send;

	')

	allow $1 node_type:node rawip_send;

')

########################################

## <summary>

##	Receive raw IP packets on all nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_raw_receive_all_nodes',`

	gen_require(`

		attribute node_type;

		class node rawip_recv;

	')

	allow $1 node_type:node rawip_recv;

')

########################################

## <summary>

##	Send and receive raw IP packets on all nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_raw_sendrecv_all_nodes',`

	corenet_raw_send_all_nodes($1)

	corenet_raw_receive_all_nodes($1)

')

########################################

## <summary>

##	Bind TCP sockets to all nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_tcp_bind_all_nodes',`

	gen_require(`

		attribute node_type;

		class tcp_socket node_bind;

	')

	allow $1 node_type:tcp_socket node_bind;

')

########################################

## <summary>

##	Bind UDP sockets to all nodes.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_bind_all_nodes',`

	gen_require(`

		attribute node_type;

		class udp_socket node_bind;

	')

	allow $1 node_type:udp_socket node_bind;

')

########################################

## <summary>

##	Send and receive TCP network traffic on generic ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_tcp_sendrecv_generic_port',`

	gen_require(`

		type port_t;

		class tcp_socket { send_msg recv_msg };

	')

	allow $1 port_t:tcp_socket { send_msg recv_msg };

')

########################################

## <summary>

##	Send UDP network traffic on generic ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_send_generic_port',`

	gen_require(`

		type port_t;

		class udp_socket send_msg;

	')

	allow $1 port_t:udp_socket send_msg;

')

########################################

## <summary>

##	Receive UDP network traffic on generic ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_receive_generic_port',`

	gen_require(`

		type port_t;

		class udp_socket recv_msg;

	')

	allow $1 port_t:udp_socket recv_msg;

')

########################################

## <summary>

##	Send and receive UDP network traffic on generic ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_sendrecv_generic_port',`

	corenet_udp_send_generic_port($1)

	corenet_udp_receive_generic_port($1)

')

########################################

## <summary>

##	Bind TCP sockets to generic ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_tcp_bind_generic_port',`

	gen_require(`

		type port_t;

		class tcp_socket name_bind;

	')

	allow $1 port_t:tcp_socket name_bind;

')

########################################

## <summary>

##	Bind UDP sockets to generic ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_bind_generic_port',`

	gen_require(`

		type port_t;

		class udp_socket name_bind;

	')

	allow $1 port_t:udp_socket name_bind;

')

########################################

## <summary>

##	Send and receive TCP network traffic on all ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_tcp_sendrecv_all_ports',`

	gen_require(`

		attribute port_type;

		class tcp_socket { send_msg recv_msg };

	')

	allow $1 port_type:tcp_socket { send_msg recv_msg };

')

########################################

## <summary>

##	Send UDP network traffic on all ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_send_all_ports',`

	gen_require(`

		attribute port_type;

		class udp_socket send_msg;

	')

	allow $1 port_type:udp_socket send_msg;

')

########################################

## <summary>

##	Receive UDP network traffic on all ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_receive_all_ports',`

	gen_require(`

		attribute port_type;

		class udp_socket recv_msg;

	')

	allow $1 port_type:udp_socket recv_msg;

')

########################################

## <summary>

##	Send and receive UDP network traffic on all ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_sendrecv_all_ports',`

	corenet_udp_send_all_ports($1)

	corenet_udp_receive_all_ports($1)

')

########################################

## <summary>

##	Bind TCP sockets to all ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_tcp_bind_all_ports',`

	gen_require(`

		attribute port_type;

		class tcp_socket name_bind;

	')

	allow $1 port_type:tcp_socket name_bind;

')

########################################

## <summary>

##	Bind UDP sockets to all ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_bind_all_ports',`

	gen_require(`

		attribute port_type;

		class udp_socket name_bind;

	')

	allow $1 port_type:udp_socket name_bind;

')

########################################

## <summary>

##	Send and receive TCP network traffic on generic reserved ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_tcp_sendrecv_reserved_port',`

	gen_require(`

		type reserved_port_t;

		class tcp_socket { send_msg recv_msg };

	')

	allow $1 reserved_port_t:tcp_socket { send_msg recv_msg };

')

########################################

## <summary>

##	Send UDP network traffic on generic reserved ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_send_reserved_port',`

	gen_require(`

		type reserved_port_t;

		class udp_socket send_msg;

	')

	allow $1 reserved_port_t:udp_socket send_msg;

')

########################################

## <summary>

##	Receive UDP network traffic on generic reserved ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_receive_reserved_port',`

	gen_require(`

		type reserved_port_t;

		class udp_socket recv_msg;

	')

	allow $1 reserved_port_t:udp_socket recv_msg;

')

########################################

## <summary>

##	Send and receive UDP network traffic on generic reserved ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_sendrecv_reserved_port',`

	corenet_udp_send_reserved_port($1)

	corenet_udp_receive_reserved_port($1)

')

########################################

## <summary>

##	Bind TCP sockets to generic reserved ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_tcp_bind_reserved_port',`

	gen_require(`

		type reserved_port_t;

		class tcp_socket name_bind;

		class capability net_bind_service;

	')

	allow $1 reserved_port_t:tcp_socket name_bind;

	allow $1 self:capability net_bind_service;

')

########################################

## <summary>

##	Bind UDP sockets to generic reserved ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_bind_reserved_port',`

	gen_require(`

		type reserved_port_t;

		class udp_socket name_bind;

		class capability net_bind_service;

	')

	allow $1 reserved_port_t:udp_socket name_bind;

	allow $1 self:capability net_bind_service;

')

########################################

## <summary>

##	Send and receive TCP network traffic on all reserved ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_tcp_sendrecv_all_reserved_ports',`

	gen_require(`

		attribute reserved_port_type;

		class tcp_socket { send_msg recv_msg };

	')

	allow $1 reserved_port_type:tcp_socket { send_msg recv_msg };

')

########################################

## <summary>

##	Send UDP network traffic on all reserved ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_send_all_reserved_ports',`

	gen_require(`

		attribute reserved_port_type;

		class udp_socket send_msg;

	')

	allow $1 reserved_port_type:udp_socket send_msg;

')

########################################

## <summary>

##	Receive UDP network traffic on all reserved ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_receive_all_reserved_ports',`

	gen_require(`

		attribute reserved_port_type;

		class udp_socket recv_msg;

	')

	allow $1 reserved_port_type:udp_socket recv_msg;

')

########################################

## <summary>

##	Send and receive UDP network traffic on all reserved ports.

## </summary>

## <param name="domain">

##	The type of the process performing this action.

## </param>

#

interface(`corenet_udp_sendrecv_all_reserved_ports',`