|
Chris PeBenito |
085faa |
## <summary>Policy controlling access to network objects</summary>
|
|
Chris PeBenito |
274547 |
## <required val="true">
|
|
Chris PeBenito |
274547 |
## Contains the initial SIDs for network objects.
|
|
Chris PeBenito |
274547 |
## </required>
|
|
Chris PeBenito |
e181fe |
|
|
Chris PeBenito |
004db9 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive TCP network traffic on the generic interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
414e41 |
## <param name="domain">
|
|
Chris PeBenito |
414e41 |
## The type of the process performing this action.
|
|
Chris PeBenito |
414e41 |
## </param>
|
|
Chris PeBenito |
414e41 |
## <infoflow type="both" weight="10"/>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send UDP network traffic on generic interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Receive UDP network traffic on generic interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and Receive UDP network traffic on generic interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send raw IP packets on generic interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Receive raw IP packets on generic interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive raw IP packets on generic interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive TCP network traffic on all interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send UDP network traffic on all interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Receive UDP network traffic on all interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive UDP network traffic on all interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send raw IP packets on all interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Receive raw IP packets on all interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive raw IP packets on all interfaces.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive TCP network traffic on generic nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send UDP network traffic on generic nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Receive UDP network traffic on generic nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive UDP network traffic on generic nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send raw IP packets on generic nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Receive raw IP packets on generic nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive raw IP packets on generic nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Bind TCP sockets to generic nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Bind UDP sockets to generic nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive TCP network traffic on all nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send UDP network traffic on all nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Receive UDP network traffic on all nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive UDP network traffic on all nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send raw IP packets on all nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Receive raw IP packets on all nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive raw IP packets on all nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Bind TCP sockets to all nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Bind UDP sockets to all nodes.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive TCP network traffic on generic ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send UDP network traffic on generic ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Receive UDP network traffic on generic ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive UDP network traffic on generic ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Bind TCP sockets to generic ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Bind UDP sockets to generic ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive TCP network traffic on all ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send UDP network traffic on all ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Receive UDP network traffic on all ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive UDP network traffic on all ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Bind TCP sockets to all ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Bind UDP sockets to all ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive TCP network traffic on generic reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send UDP network traffic on generic reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Receive UDP network traffic on generic reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive UDP network traffic on generic reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Bind TCP sockets to generic reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Bind UDP sockets to generic reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive TCP network traffic on all reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send UDP network traffic on all reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Receive UDP network traffic on all reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Send and receive UDP network traffic on all reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Bind TCP sockets to all reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Do not audit attempts to bind TCP sockets to all reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process to not audit.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Bind UDP sockets to all reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process performing this action.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
62a7b0 |
########################################
|
|
Chris PeBenito |
62a7b0 |
## <summary>
|
|
Chris PeBenito |
62a7b0 |
## Do not audit attempts to bind UDP sockets to all reserved ports.
|
|
Chris PeBenito |
62a7b0 |
## </summary>
|
|
Chris PeBenito |
62a7b0 |
## <param name="domain">
|
|
Chris PeBenito |
62a7b0 |
## The type of the process to not audit.
|
|
Chris PeBenito |
62a7b0 |
## </param>
|
|
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 |
')
|
|
Chris PeBenito |
ebdc3b |
|
|
Chris PeBenito |
ebdc3b |
########################################
|
|
Chris PeBenito |
ebdc3b |
## <summary>
|
|
Chris PeBenito |
ebdc3b |
## Read and write the TUN/TAP virtual network device.
|
|
Chris PeBenito |
ebdc3b |
## </summary>
|
|
Chris PeBenito |
ebdc3b |
## <param name="domain">
|
|
Chris PeBenito |
ebdc3b |
## The domain allowed access.
|
|
Chris PeBenito |
ebdc3b |
## </param>
|
|
Chris PeBenito |
ebdc3b |
#
|
|
Chris PeBenito |
ebdc3b |
interface(`corenet_use_tun_tap_device',`
|
|
Chris PeBenito |
ebdc3b |
gen_require(`
|
|
Chris PeBenito |
ebdc3b |
type tun_tap_device_t;
|
|
Chris PeBenito |
ebdc3b |
class chr_file { read write };
|
|
Chris PeBenito |
ebdc3b |
')
|
|
Chris PeBenito |
ebdc3b |
|
|
Chris PeBenito |
ebdc3b |
dev_list_all_dev_nodes($1)
|
|
Chris PeBenito |
ebdc3b |
allow $1 tun_tap_device_t:chr_file { read write };
|
|
Chris PeBenito |
ebdc3b |
')
|
|
Chris PeBenito |
9726b3 |
|
|
Chris PeBenito |
9726b3 |
########################################
|
|
Chris PeBenito |
9726b3 |
## <summary>
|
|
Chris PeBenito |
9726b3 |
## Unconfined access to network objects.
|
|
Chris PeBenito |
9726b3 |
## </summary>
|
|
Chris PeBenito |
9726b3 |
## <param name="domain">
|
|
Chris PeBenito |
9726b3 |
## The domain allowed access.
|
|
Chris PeBenito |
9726b3 |
## </param>
|
|
Chris PeBenito |
9726b3 |
#
|
|
Chris PeBenito |
9726b3 |
interface(`corenet_unconfined',`
|
|
Chris PeBenito |
9726b3 |
gen_require(`
|
|
Chris PeBenito |
9726b3 |
attribute node_type, netif_type, port_type;
|
|
Chris PeBenito |
9496fd |
class tcp_socket { send_msg recv_msg node_bind name_bind name_connect };
|
|
Chris PeBenito |
ef424c |
class udp_socket { send_msg recv_msg node_bind name_bind };
|
|
Chris PeBenito |
9726b3 |
class rawip_socket node_bind;
|
|
Chris PeBenito |
9726b3 |
')
|
|
Chris PeBenito |
9726b3 |
|
|
Chris PeBenito |
9726b3 |
allow $1 node_type:node *;
|
|
Chris PeBenito |
9726b3 |
allow $1 netif_type:netif *;
|
|
Chris PeBenito |
ef424c |
allow $1 port_type:tcp_socket { send_msg recv_msg name_connect };
|
|
Chris PeBenito |
ef424c |
allow $1 port_type:udp_socket { send_msg recv_msg };
|
|
Chris PeBenito |
9726b3 |
|
|
Chris PeBenito |
9726b3 |
# Bind to any network address.
|
|
Chris PeBenito |
9726b3 |
# cjp: rawip_socket doesnt make any sense
|
|
Chris PeBenito |
9726b3 |
allow $1 port_type:{ tcp_socket udp_socket } name_bind;
|
|
Chris PeBenito |
9726b3 |
allow $1 node_type:{ tcp_socket udp_socket rawip_socket } node_bind;
|
|
Chris PeBenito |
9726b3 |
')
|