Fortinet Fortinet FortiProxy, FortiOS