# Copyright (C) 2005 Tresys Technology, LLC

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

#

# corenetwork_network_tcp_on_general_interface(domain)

#

define(`corenetwork_network_tcp_on_general_interface',`

requires_block_template(`$0'_depend)

allow $1 netif_t:netif { tcp_send tcp_recv };

')

define(`corenetwork_network_tcp_on_general_interface_depend',`

type netif_t;

class netif { tcp_send tcp_recv };

')

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

#

# corenetwork_network_udp_on_general_interface(domain)

#

define(`corenetwork_network_udp_on_general_interface',`

corenetwork_send_udp_on_general_interface($1)

corenetwork_receive_udp_on_general_interface($1)

')

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

#

# corenetwork_network_raw_on_general_interface(domain)

#

define(`corenetwork_network_raw_on_general_interface',`

corenetwork_send_raw_on_general_interface($1)

corenetwork_receive_raw_on_general_interface($1)

')

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

#

# corenetwork_send_udp_on_general_interface(domain)

#

define(`corenetwork_send_udp_on_general_interface',`

requires_block_template(`$0'_depend)

allow $1 netif_t:netif udp_send;

')

define(`corenetwork_send_udp_on_general_interface_depend',`

type netif_t;

class netif udp_send;

')

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

#

# corenetwork_receive_udp_on_general_interface(domain)

#

define(`corenetwork_receive_udp_on_general_interface',`

requires_block_template(`$0'_depend)

allow $1 netif_t:netif udp_recv;

')

define(`corenetwork_receive_udp_on_general_interface_depend',`

type netif_t;

class netif udp_recv;

')

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

#

# corenetwork_send_raw_on_general_interface(domain)

#

define(`corenetwork_send_raw_on_general_interface',`

requires_block_template(`$0'_depend)

allow $1 netif_t:netif rawip_send;

allow $1 self:capability net_raw;

')

define(`corenetwork_send_raw_on_general_interface_depend',`

type netif_t;

class netif rawip_send;

class capability net_raw;

')

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

#

# corenetwork_receive_raw_on_general_interface(domain)

#

define(`corenetwork_receive_raw_on_general_interface',`

requires_block_template(`$0'_depend)

allow $1 netif_t:netif rawip_recv;

')

define(`corenetwork_receive_raw_on_general_interface_depend',`

type netif_t;

class netif rawip_recv;

')

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

#

# corenetwork_network_tcp_on_all_interfaces(domain)

#

define(`corenetwork_network_tcp_on_all_interfaces',`

requires_block_template(`$0'_depend)

allow $1 netif_type:netif { tcp_send tcp_recv };

')

define(`corenetwork_network_tcp_on_all_interfaces_depend',`

attribute netif_type;

class netif { tcp_send tcp_recv };

')

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

#

# corenetwork_network_udp_on_all_interfaces(domain)

#

define(`corenetwork_network_udp_on_all_interfaces',`

corenetwork_send_udp_on_all_interfaces($1)

corenetwork_receive_udp_on_all_interfaces($1)

')

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

#

# corenetwork_network_raw_on_all_interfaces(domain)

#

define(`corenetwork_network_raw_on_all_interfaces',`

corenetwork_send_raw_on_all_interfaces($1)

corenetwork_receive_raw_on_all_interfaces($1)

')

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

#

# corenetwork_send_udp_on_all_interfaces(domain)

#

define(`corenetwork_send_udp_on_all_interfaces',`

requires_block_template(`$0'_depend)

allow $1 netif_type:netif udp_send;

')

define(`corenetwork_send_udp_on_all_interfaces_depend',`

attribute netif_type;

class netif udp_send;

')

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

#

# corenetwork_send_raw_on_all_interfaces(domain)

#

define(`corenetwork_send_raw_on_all_interfaces',`

requires_block_template(`$0'_depend)

allow $1 netif_type:netif rawip_send;

allow $1 self:capability net_raw;

')

define(`corenetwork_send_raw_on_all_interfaces_depend',`

attribute netif_type;

class netif rawip_send;

class capability net_raw;

')

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

#

# corenetwork_receive_udp_on_all_interfaces(domain)

#

define(`corenetwork_receive_udp_on_all_interfaces',`

requires_block_template(`$0'_depend)

allow $1 netif_type:netif udp_recv;

')

define(`corenetwork_receive_udp_on_all_interfaces_depend',`

attribute netif_type;

class netif udp_recv;

')

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

#

# corenetwork_receive_raw_on_all_interfaces(domain)

#

define(`corenetwork_receive_raw_on_all_interfaces',`

requires_block_template(`$0'_depend)

allow $1 netif_type:netif rawip_recv;

')

define(`corenetwork_receive_raw_on_all_interfaces_depend',`

attribute netif_type;

class netif rawip_recv;

')

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

#

# corenetwork_network_tcp_on_general_node(domain)

#

define(`corenetwork_network_tcp_on_general_node',`

requires_block_template(`$0'_depend)

allow $1 node_t:node { tcp_send tcp_recv };

')

define(`corenetwork_network_tcp_on_general_node_depend',`

type node_t;

class node { tcp_send tcp_recv };

')

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

#

# corenetwork_network_udp_on_general_node(domain)

#

define(`corenetwork_network_udp_on_general_node',`

corenetwork_send_udp_on_general_node($1,$2)

corenetwork_receive_udp_on_general_node($1,$2)

')

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

#

# corenetwork_network_raw_on_general_node(domain)

#

define(`corenetwork_network_raw_on_general_node',`

corenetwork_send_raw_on_general_node($1,$2)

corenetwork_receive_raw_on_general_node($1,$2)

')

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

#

# corenetwork_send_udp_on_general_node(domain)

#

define(`corenetwork_send_udp_on_general_node',`

requires_block_template(`$0'_depend)

allow $1 node_t:node udp_send;

')

define(`corenetwork_send_udp_on_general_node_depend',`

type node_t;

class node udp_send;

')

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

#

# corenetwork_receive_udp_on_general_node(domain)

#

define(`corenetwork_receive_udp_on_general_node',`

requires_block_template(`$0'_depend)

allow $1 node_t:node udp_recv;

')

define(`corenetwork_receive_udp_on_general_node_depend',`

type node_t;

class node udp_recv;

')

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

#

# corenetwork_send_raw_on_general_node(domain)

#

define(`corenetwork_send_raw_on_general_node',`

requires_block_template(`$0'_depend)

allow $1 node_t:node rawip_send;

allow $1 self:capability net_raw;

')

define(`corenetwork_send_raw_on_general_node_depend',`

type node_t;

class node rawip_send;

class capability net_raw;

')

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

#

# corenetwork_receive_raw_on_general_node(domain)

#

define(`corenetwork_receive_raw_on_general_node',`

requires_block_template(`$0'_depend)

allow $1 node_t:node rawip_recv;

')

define(`corenetwork_receive_raw_on_general_node_depend',`

type node_t;

class node rawip_recv;

')

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

#

# corenetwork_bind_tcp_on_general_node(domain)

#

define(`corenetwork_bind_tcp_on_general_node',`

requires_block_template(`$0'_depend)

allow $1 node_t:tcp_socket node_bind;

')

define(`corenetwork_bind_udp_on_general_node_depend',`

type node_t;

class tcp_socket node_bind;

')

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

#

# corenetwork_bind_udp_on_general_node(domain)

#

define(`corenetwork_bind_udp_on_general_node',`

requires_block_template(`$0'_depend)

allow $1 node_t:udp_socket node_bind;

')

define(`corenetwork_bind_udp_on_general_node_depend',`

type node_t;

class udp_socket node_bind;

')

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

#

# corenetwork_network_tcp_on_all_nodes(domain)

#

define(`corenetwork_network_tcp_on_all_nodes',`

requires_block_template(`$0'_depend)

allow $1 node_type:node { tcp_send tcp_recv };

')

define(`corenetwork_network_tcp_on_all_nodes_depend',`

attribute node_type;

class node { tcp_send tcp_recv };

')

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

#

# corenetwork_network_udp_on_all_nodes(domain)

#

define(`corenetwork_network_udp_on_all_nodes',`

corenetwork_send_udp_on_all_nodes($1)

corenetwork_receive_udp_on_all_nodes($1)

')

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

#

# corenetwork_network_raw_on_all_nodes(domain)

#

define(`corenetwork_network_raw_on_all_nodes',`

corenetwork_send_raw_on_all_nodes($1,optional)

corenetwork_receive_raw_on_all_nodes($1,optional)

')

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

#

# corenetwork_send_udp_on_all_nodes(domain)

#

define(`corenetwork_send_udp_on_all_nodes',`

requires_block_template(`$0'_depend)

allow $1 node_type:node udp_send;

')

define(`corenetwork_send_udp_on_all_nodes_depend',`

attribute node_type;

class node udp_send;

')

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

#

# corenetwork_receive_udp_on_all_nodes(domain)

#

define(`corenetwork_receive_udp_on_all_nodes',`

requires_block_template(`$0'_depend)

allow $1 node_type:node udp_recv;

')

define(`corenetwork_receive_udp_on_all_nodes_depend',`

attribute node_type;

class node udp_recv;

')

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

#

# corenetwork_send_raw_on_all_nodes(domain)

#

define(`corenetwork_send_raw_on_all_nodes',`

requires_block_template(`$0'_depend)

allow $1 node_type:node rawip_send;

allow $1 self:capability net_raw;

')

define(`corenetwork_send_raw_on_all_nodes_depend',`

attribute node_type;

class node rawip_send;

class capability net_raw;

')

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

#

# corenetwork_receive_raw_on_all_nodes(domain)

#

define(`corenetwork_receive_raw_on_all_nodes',`

requires_block_template(`$0'_depend)

allow $1 node_type:node rawip_recv;

')

define(`corenetwork_receive_raw_on_all_nodes_depend',`

attribute node_type;

class node rawip_recv;

')

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

#

# corenetwork_bind_tcp_on_all_nodes(domain)

#

define(`corenetwork_bind_tcp_on_all_nodes',`

requires_block_template(`$0'_depend)

allow $1 node_type:tcp_socket node_bind;

')

define(`corenetwork_bind_tcp_on_all_nodes_depend',`

attribute node_type;

class tcp_socket node_bind;

')

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

#

# corenetwork_bind_udp_on_all_nodes(domain)

#

define(`corenetwork_bind_udp_on_all_nodes',`

requires_block_template(`$0'_depend)

allow $1 node_type:udp_socket node_bind;

')

define(`corenetwork_bind_udp_on_all_nodes_depend',`

attribute node_type;

class udp_socket node_bind;

')

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

#

# corenetwork_network_tcp_on_general_port(domain)

#

define(`corenetwork_network_tcp_on_general_port',`

requires_block_template(`$0'_depend)

allow $1 port_t:tcp_socket { send_msg recv_msg };

')

define(`corenetwork_network_tcp_on_general_port_depend',`

type port_t;

class tcp_socket { send_msg recv_msg };

')

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

#

# corenetwork_network_udp_on_general_port(domain)

#

define(`corenetwork_network_udp_on_general_port',`

corenetwork_send_udp_on_general_port($1)

corenetwork_receive_udp_on_general_port($1)

')

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

#

# corenetwork_send_udp_on_general_port(domain)

#

define(`corenetwork_send_udp_on_general_port',`

requires_block_template(`$0'_depend)

allow $1 port_t:udp_socket send_msg;

')

define(`corenetwork_send_udp_on_general_port_depend',`

type port_t;

class udp_socket send_msg;

')

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

#

# corenetwork_receive_udp_on_general_port(domain)

#

define(`corenetwork_receive_udp_on_general_port',`

requires_block_template(`$0'_depend)

allow $1 port_t:udp_socket recv_msg;

')

define(`corenetwork_receive_udp_on_general_port_depend',`

type port_t;

class udp_socket recv_msg;

')

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

#

# corenetwork_bind_tcp_on_general_port(domain)

#

define(`corenetwork_bind_tcp_on_general_port',`

requires_block_template(`$0'_depend)

allow $1 port_t:tcp_socket name_bind;

')

define(`corenetwork_bind_udp_on_general_port_depend',`

type port_t;

class tcp_socket name_bind;

')

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

#

# corenetwork_bind_udp_on_general_port(domain)

#

define(`corenetwork_bind_udp_on_general_port',`

requires_block_template(`$0'_depend)

allow $1 port_t:udp_socket name_bind;

')

define(`corenetwork_bind_udp_on_general_port_depend',`

type port_t;

class udp_socket name_bind;

')

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

#

# corenetwork_network_tcp_on_all_ports(domain)

#

define(`corenetwork_network_tcp_on_all_ports',`

requires_block_template(`$0'_depend)

allow $1 port_type:tcp_socket { send_msg recv_msg };

')

define(`corenetwork_network_tcp_on_all_ports_depend',`

attribute port_type;

class tcp_socket { send_msg recv_msg };

')

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

#

# corenetwork_network_udp_on_all_ports(domain)

#

define(`corenetwork_network_udp_on_all_ports',`

corenetwork_send_udp_on_all_ports($1)

corenetwork_receive_udp_on_all_ports($1)

')

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

#

# corenetwork_send_udp_on_all_ports(domain)

#

define(`corenetwork_send_udp_on_all_ports',`

requires_block_template(`$0'_depend)

allow $1 port_type:udp_socket send_msg;

')

define(`corenetwork_send_udp_on_all_ports_depend',`

attribute port_type;

class udp_socket send_msg;

')

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

#

# corenetwork_receive_udp_on_all_ports(domain)

#

define(`corenetwork_receive_udp_on_all_ports',`

requires_block_template(`$0'_depend)

allow $1 port_type:udp_socket recv_msg;

')

define(`corenetwork_receive_udp_on_all_ports_depend',`

attribute port_type;

class udp_socket recv_msg;

')

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

#

# corenetwork_bind_tcp_on_all_ports(domain,[`optional'])

#

define(`corenetwork_bind_tcp_on_all_ports',`

requires_block_template(`$0'_depend)

allow $1 port_type:tcp_socket name_bind;

')

define(`corenetwork_bind_tcp_on_all_ports_depend',`

attribute port_type;

class tcp_socket name_bind;

')

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

#

# corenetwork_bind_udp_on_all_ports(domain)

#

define(`corenetwork_bind_udp_on_all_ports',`

requires_block_template(`$0'_depend)

allow $1 port_type:udp_socket name_bind;

')

define(`corenetwork_bind_udp_on_all_ports_depend',`

attribute port_type;

class udp_socket name_bind;

')

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

#

# corenetwork_network_tcp_on_reserved_port(domain)

#

define(`corenetwork_network_tcp_on_reserved_port',`

requires_block_template(`$0'_depend)

allow $1 reserved_port_t:tcp_socket { send_msg recv_msg };

')

define(`corenetwork_network_tcp_on_reserved_port_depend',`

type reserved_port_t;

class tcp_socket { send_msg recv_msg };

')

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

#

# corenetwork_network_udp_on_reserved_port(domain)

#

define(`corenetwork_network_udp_on_reserved_port',`

corenetwork_send_udp_on_reserved_port($1,$2)

corenetwork_receive_udp_on_reserved_port($1,$2)

')

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

#

# corenetwork_send_udp_on_reserved_port(domain)

#

define(`corenetwork_send_udp_on_reserved_port',`

requires_block_template(`$0'_depend)

allow $1 reserved_port_t:udp_socket send_msg;

')

define(`corenetwork_send_udp_on_reserved_port_depend',`

type reserved_port_t;

class udp_socket send_msg;

')

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

#

# corenetwork_receive_udp_on_reserved_port(domain)

#

define(`corenetwork_receive_udp_on_reserved_port',`

requires_block_template(`$0'_depend)

allow $1 reserved_port_t:udp_socket recv_msg;

')

define(`corenetwork_receive_udp_on_reserved_port_depend',`

type reserved_port_t;

class udp_socket recv_msg;

')

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

#

# corenetwork_bind_tcp_on_reserved_port(domain)

#

define(`corenetwork_bind_tcp_on_reserved_port',`

requires_block_template(`$0'_depend)

allow $1 reserved_port_t:tcp_socket name_bind;

allow $1 self:capability net_bind_service;

')

define(`corenetwork_bind_udp_on_reserved_port_depend',`

type reserved_port_t;

class tcp_socket name_bind;

class capability net_bind_service;

')

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

#

# corenetwork_bind_udp_on_reserved_port(domain)

#

define(`corenetwork_bind_udp_on_reserved_port',`

requires_block_template(`$0'_depend)

allow $1 reserved_port_t:udp_socket name_bind;

allow $1 self:capability net_bind_service;

')

define(`corenetwork_bind_udp_on_reserved_port_depend',`

type reserved_port_t;

class udp_socket name_bind;

class capability net_bind_service;

')

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

#

# corenetwork_network_tcp_on_all_reserved_ports(domain)

#

define(`corenetwork_network_tcp_on_all_reserved_ports',`

requires_block_template(`$0'_depend)

allow $1 reserved_port_type:tcp_socket { send_msg recv_msg };

')

define(`corenetwork_network_tcp_on_all_reserved_ports_depend',`

attribute reserved_port_type;

class tcp_socket { send_msg recv_msg };

')

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

#

# corenetwork_network_udp_on_all_reserved_ports(domain)

#

define(`corenetwork_network_udp_on_all_reserved_ports',`

corenetwork_send_udp_on_all_reserved_ports($1,optional)

corenetwork_receive_udp_on_all_reserved_ports($1,optional)

')

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

#

# corenetwork_send_udp_on_all_reserved_ports(domain)

#

define(`corenetwork_send_udp_on_all_reserved_ports',`

requires_block_template(`$0'_depend)

allow $1 reserved_port_type:udp_socket send_msg;

')

define(`corenetwork_send_udp_on_all_reserved_ports_depend',`

attribute reserved_port_type;

class udp_socket send_msg;

')

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

#

# corenetwork_receive_udp_on_all_reserved_ports(domain)

#

define(`corenetwork_receive_udp_on_all_reserved_ports',`

requires_block_template(`$0'_depend)

allow $1 reserved_port_type:udp_socket recv_msg;

')

define(`corenetwork_receive_udp_on_all_reserved_ports_depend',`

attribute reserved_port_type;

class udp_socket recv_msg;

')

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

#

# corenetwork_bind_tcp_on_all_reserved_ports(domain)

#

define(`corenetwork_bind_tcp_on_all_reserved_ports',`

requires_block_template(`$0'_depend)

allow $1 reserved_port_type:tcp_socket name_bind;

allow $1 self:capability net_bind_service;

')

define(`corenetwork_bind_tcp_on_all_reserved_ports_depend',`

attribute reserved_port_type;

class tcp_socket name_bind;

class capability net_bind_service;

')

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

#

# corenetwork_ignore_bind_tcp_on_all_reserved_ports(domain)

#

define(`corenetwork_ignore_bind_tcp_on_all_reserved_ports',`

requires_block_template(`$0'_depend)

dontaudit $1 reserved_port_type:tcp_socket name_bind;

')

define(`corenetwork_ignore_bind_tcp_on_all_reserved_ports_depend',`

attribute reserved_port_type;

class tcp_socket name_bind;

')

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

#

# corenetwork_bind_udp_on_all_reserved_ports(domain)

#

define(`corenetwork_bind_udp_on_all_reserved_ports',`

requires_block_template(`$0'_depend)

allow $1 reserved_port_type:udp_socket name_bind;

allow $1 self:capability net_bind_service;

')

define(`corenetwork_bind_udp_on_all_reserved_ports_depend',`

attribute reserved_port_type;

class udp_socket name_bind;

class self:capability net_bind_service;

')

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

#

# corenetwork_ignore_bind_tcp_on_all_reserved_ports(domain)

#

define(`corenetwork_ignore_bind_tcp_on_all_reserved_ports',`

requires_block_template(`$0'_depend)

dontaudit $1 reserved_port_type:tcp_socket name_bind;

')

define(`corenetwork_ignore_bind_udp_on_all_reserved_ports_depend',`

attribute reserved_port_type;

class tcp_socket name_bind;

')

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

#

# corenetwork_ignore_bind_udp_on_all_reserved_ports(domain)

#

define(`corenetwork_ignore_bind_udp_on_all_reserved_ports',`

requires_block_template(`$0'_depend)

dontaudit $1 reserved_port_type:udp_socket name_bind;

')

define(`corenetwork_ignore_bind_udp_on_all_reserved_ports_depend',`

attribute reserved_port_type;

class udp_socket name_bind;

')

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

#

# This section is processed through m4 to create real interfaces

#

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

# dont generate anything but macros on this pass

ifdef(`interface_pass',`

define(`allow',`dnl')

define(`type',`dnl')

define(`attribute',`dnl')

define(`portcon',`dnl')

define(`devices_make_device_node',`dnl')

')

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

#

# Network Interface generated macros 

#

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

define(`create_netif_interfaces',``

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

#

# corenetwork_network_tcp_on_$1_interface(domain)

#

define(`corenetwork_network_tcp_on_$1_interface',`

requires_block_template(`dollarszero'_depend)

allow dollarsone $1_netif_t:netif { tcp_send tcp_recv };

')

define(`corenetwork_network_tcp_on_$1_interface_depend',`

type $1_netif_t;

class netif { tcp_send tcp_recv };

')

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

#

# corenetwork_network_udp_on_$1_interface(domain)

#

define(`corenetwork_network_udp_on_$1_interface',`

corenetwork_send_udp_on_$1_interface(dollarsone,dollarstwo)

corenetwork_receive_udp_on_$1_interface(dollarsone,dollarstwo)

')

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

#

# corenetwork_network_raw_on_$1_interface(domain)

#

define(`corenetwork_network_raw_on_$1_interface',`

corenetwork_send_raw_on_$1_interface(dollarsone,dollarstwo)

corenetwork_receive_raw_on_$1_interface(dollarsone,dollarstwo)

')

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

#

# corenetwork_send_udp_on_$1_interface(domain)

#

define(`corenetwork_send_udp_on_$1_interface',`

requires_block_template(`dollarszero'_depend)

allow dollarsone $1_netif_t:netif udp_send;

')

define(`corenetwork_send_udp_on_$1_interface_depend',`

type $1_netif_t;

class netif udp_send;

')

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

#

# corenetwork_receive_udp_on_$1_interface(domain)

#

define(`corenetwork_receive_udp_on_$1_interface',`

requires_block_template(`dollarszero'_depend)

allow dollarsone $1_netif_t:netif udp_recv;

')

define(`corenetwork_receive_udp_on_$1_interface_depend',`

type $1_netif_t;

class netif udp_recv;

')

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

#

# corenetwork_send_raw_on_$1_interface(domain)

#

define(`corenetwork_send_raw_on_$1_interface',`

requires_block_template(`dollarszero'_depend)

allow dollarsone $1_netif_t:netif rawip_send;

allow dollarsone self:capability net_raw;

')

define(`corenetwork_send_raw_on_$1_interface_depend',`