module Auth:
Parameters: |
|
val check_status : ?fn:string -> ?minor_status:int32 -> Netsys_gssapi.major_status -> unit
major_status
indicates an error, an error string is formed,
optionally including the function name fn
and the detailed information
derived from minor_status
. Then, the function C.raise_error
is
called with the string as argument.val get_initiator_name : Netsys_gssapi.client_config -> G.name
val get_initiator_cred : initiator_name:G.name -> Netsys_gssapi.client_config -> G.credential
val acquire_initiator_cred : initiator_name:G.name -> Netsys_gssapi.client_config -> G.credential
val get_target_name : ?default:string * Netsys_gssapi.oid -> Netsys_gssapi.client_config -> G.name
val get_client_flags : Netsys_gssapi.client_config -> Netsys_gssapi.req_flag list
val check_client_flags : Netsys_gssapi.client_config -> Netsys_gssapi.ret_flag list -> unit
val init_sec_context : initiator_cred:G.credential ->
context:G.context option ->
target_name:G.name ->
req_flags:Netsys_gssapi.req_flag list ->
chan_bindings:Netsys_gssapi.channel_bindings option ->
input_token:Netsys_gssapi.token option ->
Netsys_gssapi.client_config ->
G.context * Netsys_gssapi.token * Netsys_gssapi.ret_flag list *
Netsys_gssapi.client_props option
G.init_sec_context
, and returns
(out_context,out_token,flags,props_opt)
. If props_opt
is returned
the context setup is done.
Checks already for errors, and client flags.
val get_acceptor_name : Netsys_gssapi.server_config -> G.name
val get_acceptor_cred : acceptor_name:G.name -> Netsys_gssapi.server_config -> G.credential
val get_server_flags : Netsys_gssapi.server_config -> Netsys_gssapi.req_flag list
val check_server_flags : Netsys_gssapi.server_config -> Netsys_gssapi.ret_flag list -> unit
val accept_sec_context : acceptor_cred:G.credential ->
context:G.context option ->
chan_bindings:Netsys_gssapi.channel_bindings option ->
input_token:Netsys_gssapi.token ->
Netsys_gssapi.server_config ->
G.context * Netsys_gssapi.token * Netsys_gssapi.ret_flag list *
Netsys_gssapi.server_props option
G.accept_sec_context
, and returns
(out_context,out_token,flags,props_opt)
. If props_opt
is returned
the context setup is done.
Checks already for errors, and server flags.
val get_display_name : G.name -> string * Netsys_gssapi.oid
val get_exported_name : G.name -> string