Museum

Home

Lab Overview

Retrotechnology Articles

Online Manuals

⇒ eventck(1M) — DG/UX R4.11MU05

Media Vault

Software Library

Restoration Projects

Artifacts Sought



eventck(1M)              DG/UX B2 Security R4.12MU02             eventck(1M)


NAME
       eventck - verify and compile an event table

SYNOPSIS
       eventck [-a aliasdatabase ] [-v] eventtable

   where:
       aliasdatabase   Pathname of a capability alias definition file
       eventtable      Pathname of an event table

DESCRIPTION
       eventck checks eventtable for correct syntax and semantics.

   Options
       -a     Use the file aliasdatabase as the alias database that
              contains the capability aliases referenced in eventtable.
              The default capability alias definition file used if -a is not
              specified is /etc/tcb/cap/capaliasdefs.

       -v     Turn on verbose mode.

   Event Table Format
       An event table has the following format:

         *System map base

         longname shortname eventindex userlist capalias \n
         [....]

         *ISV map base
         (Same format) [....]

         *Kernel map base
         (Same format) [....]

         *Site map base
         (Same format) [....]

       Syntax

       longname, shortname, userlist, and capalias are alphanumeric
       tokens terminated with ' ', '\t' or '\n'.  '-' and '_' are also
       allowed.

       eventindex and base are numeric tokens terminated with ' ' or '\t'.

       The character '-' alone as a token can be used to mean null or zero.

       The order of the maps are insignificant, but multiple instances of
       the same map are not allowed.

       Any line beginning with a '#' is treated as a comment.

       Semantics

       longname and shortname are the long and short forms of event names.

       userlist is a comma-separated list of usernames.  It is currently
       unused.

       capalias must be an alias defined in the default alias database,
       /etc/tcb/cap/capaliasdefs or, if the -a option is used, in
       aliasdatabase.  It is the list of capabilities required to satisfy
       the given event.

       The base values for the different maps are fixed as follows:
                     System map  0
                     ISV map     5000
                     Kernel map  10000
                     Site map    20000

       The system ensures that these values are properly defined.  The
       actual event number can be computed with the following formula:

                     event number = base + event index

       where event index is >= 0.

EXAMPLES
       $ eventck /etc/tcb/cap/events
       Verifies that /etc/tcb/cap/events is a valid event table.

FILES
       /etc/tcb/cap/events          Default event table
       /etc/tcb/cap/capaliasdefs  Default capability alias database file

DIAGNOSTICS
       Exit status is 0 on success, 1 on error.

SEE ALSO
       capaliasdefs(4M).


Licensed material--property of copyright holder(s)

Typewritten Software • bear@typewritten.org • Edmonds, WA 98026