update ssh for packets
This commit is contained in:
parent
189694126f
commit
7b643689e6
@ -120,6 +120,7 @@ template(`ssh_basic_client_template',`
|
||||
corenet_tcp_sendrecv_all_nodes($1_ssh_t)
|
||||
corenet_tcp_sendrecv_all_ports($1_ssh_t)
|
||||
corenet_tcp_connect_ssh_port($1_ssh_t)
|
||||
corenet_sendrecv_ssh_client_packets($1_ssh_t)
|
||||
|
||||
dev_read_urand($1_ssh_t)
|
||||
|
||||
@ -506,6 +507,7 @@ template(`ssh_server_template', `
|
||||
corenet_tcp_bind_all_nodes($1_t)
|
||||
corenet_udp_bind_all_nodes($1_t)
|
||||
corenet_tcp_connect_all_ports($1_t)
|
||||
corenet_sendrecv_ssh_server_packets($1_t)
|
||||
|
||||
dev_read_urand($1_t)
|
||||
|
||||
|
@ -1,5 +1,5 @@
|
||||
|
||||
policy_module(ssh,1.3.3)
|
||||
policy_module(ssh,1.3.4)
|
||||
|
||||
########################################
|
||||
#
|
||||
|
Loading…
Reference in New Issue
Block a user