sig
type oid = int array
type oid_set = Netsys_gssapi.oid list
type credential = < otype : [ `Credential ] >
type context = < otype : [ `Context ]; valid : bool >
type token = string
type interprocess_token = string
type calling_error =
[ `Bad_structure | `Inaccessible_read | `Inaccessible_write | `None ]
type routine_error =
[ `Bad_QOP
| `Bad_bindings
| `Bad_mech
| `Bad_mic
| `Bad_name
| `Bad_nametype
| `Bad_status
| `Context_expired
| `Credentials_expired
| `Defective_credential
| `Defective_token
| `Duplicate_element
| `Failure
| `Name_not_mn
| `No_context
| `No_cred
| `None
| `Unauthorized
| `Unavailable ]
type suppl_status =
[ `Continue_needed
| `Duplicate_token
| `Gap_token
| `Old_token
| `Unseq_token ]
type major_status =
Netsys_gssapi.calling_error * Netsys_gssapi.routine_error *
Netsys_gssapi.suppl_status list
type minor_status = int32
type name = < otype : [ `Name ] >
type address =
[ `Inet of Unix.inet_addr
| `Local of string
| `Nulladdr
| `Other of int32 * string
| `Unspecified of string ]
type channel_bindings =
Netsys_gssapi.address * Netsys_gssapi.address * string
type cred_usage = [ `Accept | `Both | `Initiate ]
type qop = < otype : [ `QOP ] >
type message = Netsys_types.mstring list
type ret_flag =
[ `Anon_flag
| `Conf_flag
| `Deleg_flag
| `Integ_flag
| `Mutual_flag
| `Prot_ready_flag
| `Replay_flag
| `Sequence_flag
| `Trans_flag ]
type req_flag =
[ `Anon_flag
| `Conf_flag
| `Deleg_flag
| `Integ_flag
| `Mutual_flag
| `Replay_flag
| `Sequence_flag ]
class type gss_api =
object
method accept_sec_context :
context:Netsys_gssapi.context option ->
acceptor_cred:Netsys_gssapi.credential ->
input_token:Netsys_gssapi.token ->
chan_bindings:Netsys_gssapi.channel_bindings option ->
out:(src_name:Netsys_gssapi.name ->
mech_type:Netsys_gssapi.oid ->
output_context:Netsys_gssapi.context option ->
output_token:Netsys_gssapi.token ->
ret_flags:Netsys_gssapi.ret_flag list ->
time_rec:[ `Indefinite | `This of float ] ->
delegated_cred:Netsys_gssapi.credential ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method acquire_cred :
desired_name:Netsys_gssapi.name ->
time_req:[ `Indefinite | `None | `This of float ] ->
desired_mechs:Netsys_gssapi.oid_set ->
cred_usage:Netsys_gssapi.cred_usage ->
out:(cred:Netsys_gssapi.credential ->
actual_mechs:Netsys_gssapi.oid_set ->
time_rec:[ `Indefinite | `This of float ] ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method add_cred :
input_cred:Netsys_gssapi.credential ->
desired_name:Netsys_gssapi.name ->
desired_mech:Netsys_gssapi.oid ->
cred_usage:Netsys_gssapi.cred_usage ->
initiator_time_req:[ `Indefinite | `None | `This of float ] ->
acceptor_time_req:[ `Indefinite | `None | `This of float ] ->
out:(output_cred:Netsys_gssapi.credential ->
actual_mechs:Netsys_gssapi.oid_set ->
initiator_time_rec:[ `Indefinite | `This of float ] ->
acceptor_time_rec:[ `Indefinite | `This of float ] ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method canonicalize_name :
input_name:Netsys_gssapi.name ->
mech_type:Netsys_gssapi.oid ->
out:(output_name:Netsys_gssapi.name ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method compare_name :
name1:Netsys_gssapi.name ->
name2:Netsys_gssapi.name ->
out:(name_equal:bool ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method context_time :
context:Netsys_gssapi.context ->
out:(time_rec:[ `Indefinite | `This of float ] ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method delete_sec_context :
context:Netsys_gssapi.context ->
out:(minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method display_minor_status :
minor_status:Netsys_gssapi.minor_status ->
mech_type:Netsys_gssapi.oid ->
out:(status_strings:string list ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method display_name :
input_name:Netsys_gssapi.name ->
out:(output_name:string ->
output_name_type:Netsys_gssapi.oid ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method export_name :
name:Netsys_gssapi.name ->
out:(exported_name:string ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method export_sec_context :
context:Netsys_gssapi.context ->
out:(interprocess_token:Netsys_gssapi.interprocess_token ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method get_mic :
context:Netsys_gssapi.context ->
qop_req:Netsys_gssapi.qop option ->
message:Netsys_gssapi.message ->
out:(msg_token:Netsys_gssapi.token ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method import_name :
input_name:string ->
input_name_type:Netsys_gssapi.oid ->
out:(output_name:Netsys_gssapi.name ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method import_sec_context :
interprocess_token:Netsys_gssapi.interprocess_token ->
out:(context:Netsys_gssapi.context option ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method indicate_mechs :
out:(mech_set:Netsys_gssapi.oid_set ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method init_sec_context :
initiator_cred:Netsys_gssapi.credential ->
context:Netsys_gssapi.context option ->
target_name:Netsys_gssapi.name ->
mech_type:Netsys_gssapi.oid ->
req_flags:Netsys_gssapi.req_flag list ->
time_rec:float option ->
chan_bindings:Netsys_gssapi.channel_bindings option ->
input_token:Netsys_gssapi.token option ->
out:(actual_mech_type:Netsys_gssapi.oid ->
output_context:Netsys_gssapi.context option ->
output_token:Netsys_gssapi.token ->
ret_flags:Netsys_gssapi.ret_flag list ->
time_rec:[ `Indefinite | `This of float ] ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method inquire_context :
context:Netsys_gssapi.context ->
out:(src_name:Netsys_gssapi.name ->
targ_name:Netsys_gssapi.name ->
lifetime_req:[ `Indefinite | `This of float ] ->
mech_type:Netsys_gssapi.oid ->
ctx_flags:Netsys_gssapi.ret_flag list ->
locally_initiated:bool ->
is_open:bool ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method inquire_cred :
cred:Netsys_gssapi.credential ->
out:(name:Netsys_gssapi.name ->
lifetime:[ `Indefinite | `This of float ] ->
cred_usage:Netsys_gssapi.cred_usage ->
mechanisms:Netsys_gssapi.oid_set ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method inquire_cred_by_mech :
cred:Netsys_gssapi.credential ->
mech_type:Netsys_gssapi.oid ->
out:(name:Netsys_gssapi.name ->
initiator_lifetime:[ `Indefinite | `This of float ] ->
acceptor_lifetime:[ `Indefinite | `This of float ] ->
cred_usage:Netsys_gssapi.cred_usage ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method inquire_mechs_for_name :
name:Netsys_gssapi.name ->
out:(mech_types:Netsys_gssapi.oid_set ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method inquire_names_for_mech :
mechanism:Netsys_gssapi.oid ->
out:(name_types:Netsys_gssapi.oid_set ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method no_credential : Netsys_gssapi.credential
method no_name : Netsys_gssapi.name
method process_context_token :
context:Netsys_gssapi.context ->
token:Netsys_gssapi.token ->
out:(minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method provider : string
method unwrap :
context:Netsys_gssapi.context ->
input_message:Netsys_gssapi.message ->
output_message_preferred_type:[ `Memory | `String ] ->
out:(output_message:Netsys_gssapi.message ->
conf_state:bool ->
qop_state:Netsys_gssapi.qop ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method verify_mic :
context:Netsys_gssapi.context ->
message:Netsys_gssapi.message ->
token:Netsys_gssapi.token ->
out:(qop_state:Netsys_gssapi.qop ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method wrap :
context:Netsys_gssapi.context ->
conf_req:bool ->
qop_req:Netsys_gssapi.qop option ->
input_message:Netsys_gssapi.message ->
output_message_preferred_type:[ `Memory | `String ] ->
out:(conf_state:bool ->
output_message:Netsys_gssapi.message ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
method wrap_size_limit :
context:Netsys_gssapi.context ->
conf_req:bool ->
qop_req:Netsys_gssapi.qop option ->
req_output_size:int ->
out:(max_input_size:int ->
minor_status:Netsys_gssapi.minor_status ->
major_status:Netsys_gssapi.major_status -> unit -> 't) ->
unit -> 't
end
val string_of_calling_error : Netsys_gssapi.calling_error -> string
val string_of_routine_error : Netsys_gssapi.routine_error -> string
val string_of_suppl_status : Netsys_gssapi.suppl_status -> string
val string_of_major_status : Netsys_gssapi.major_status -> string
val nt_hostbased_service : Netsys_gssapi.oid
val nt_user_name : Netsys_gssapi.oid
val nt_machine_uid_name : Netsys_gssapi.oid
val nt_string_uid_name : Netsys_gssapi.oid
val nt_anonymous : Netsys_gssapi.oid
val nt_export_name : Netsys_gssapi.oid
val parse_hostbased_service : string -> string * string
end
