The Notation for Audit Graphs
Jim is developing the Notation for Attribute Graphs (NAG) and associated functions. Here are some notes on NAG:
-
3 basic objects
-
nodes
-
edges
-
graphs (collections of node, edges, and graphs)
-
objects have user-definable groups of attributes, i.e.
-
physical: attributes that can be seen i.e. shape, style
-
audit: attributes storing info. from audit logs
-
data: attributes representing variables
-
any other set the user finds helpful
-
attributes can have 3 kinds of values:
-
scalars (strings)
-
unordered lists of values of these 3 types
-
ordered lists (tuples) of values of these 3 types
-
Perl packages provides abstract-data-type-like access to the NAG data so that the user need not know the details of the notation
-
NAG utilities:
-
bsm2nag: converts a Sun BSM audit log to NAG
-
nag2dot: converts a NAG file to DOT
-
a utility that inputs a NAG file, performs specified reductions, and outputs the modifies NAG file (details of reduction specification in flux)
-
a GUI written on top of DOTTY that aids in writing graph rewrite specifications (implemented for a old version of the rewrite specs.)
-
a GUI written on top of DOTTY that shows the results of applying specified graph rewrites on NAG file(s)
-
hpux2nag: converts a HP-UX audit log to NAG (to be written)
-
xxx2nag: converts a xxx audit log to NAG (to be written)
-
potentially useful for more than just audit graph reduction i.e. debugging, automata
Last revised 11-Oct-94 by Jim Hoagland