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