Module Intruder


module Intruder: sig .. end
intruder.ml
Author(s): Yann GLOUCHE
Version: 1.0
Since 12/12/2005

val intruder_mode : bool Pervasives.ref
intruder mode
val intruder_knowledge : string list Pervasives.ref
contains all the initial knowledge of the intruder
val update_intruder_knowledge : unit -> unit
update the knowledge intruder, deduce some knwoledge with his initial knowldge
Returns unit
val index_col : int Pervasives.ref
val getcol : unit -> Tk.color
val l_entry : (string * string Pervasives.ref *
(Widget.entry Widget.widget * string Pervasives.ref *
Widget.listbox Widget.widget)
list Pervasives.ref * string list)
list Pervasives.ref
val del_entry : string -> Widget.entry Widget.widget -> unit
val update_entry : string -> string -> string -> string -> string -> unit
val add_entry : string ->
string ->
string ->
string ->
Widget.entry Widget.widget ->
string Pervasives.ref -> Widget.listbox Widget.widget -> string list -> unit
class box : Widget.frame Widget.widget -> string -> string -> string -> string -> box option -> object .. end
val window_compose_intruder_knowledge : Widget.toplevel Widget.widget ->
string list Pervasives.ref ->
string list Pervasives.ref ->
(string -> string -> unit) -> (unit -> unit) -> unit
Open a window for compose a message to adding to the knowledge of the intruder composed with his knoewledge. Thi function is called by the button "label_intruder" in interface.ml