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 userdefinable 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 abstractdatatypelike 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 HPUX 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 11Oct94 by Jim Hoagland