POLGEN NEWS -- history of user-visible changes.
Copyright (C) 2004 The MITRE Corporation
See the end for copying conditions.

* Changes in 2.0

This releases uses the audit system as its source of system call
traces instead of a modified version of strace.

* Changes in 1.4

This release incorporates two major changes to polgen. First, polgen
now supports generation of reference policy and second polgen uses
Polgen Specification Language (PSL) files to bootstrap analysis.

Polgen handles the modularity of reference policy by searching through
.if files to find interfaces that will handle access requirements of
the program under analysis.  It will be necessary for administrators to
install those .if files on their machine.  Our documentation includes
instructions for how to do this. There are several polgen user
interface changes that we have made - all in support of generating
reference policy.  The menu-style interface asks users to fill in
information about known capabilities of program entry points and about
expectations for how the program module might be used by other
to-be-written modules.

PSL allows users to declare those directories and program entry points
that will need to be given special types. For example if configuration
files are used, the psl writer will indicate that a program component
reads from a particular directory and/or reads specific files. PSL can
also be used in a mode where program developers know the behavior of
the program and can offer advice that will statically complement
polgen's dynamic analysis strategy.  

** Support for reference policies.

* Initial release.

----------------------------------------------------------------------
Copyright information:

Copyright (C) 2004 The MITRE Corporation

   Permission is granted to anyone to make or distribute verbatim copies
   of this document as received, in any medium, provided that the
   copyright notice and this permission notice are preserved,
   thus giving the recipient permission to redistribute in turn.

   Permission is granted to distribute modified versions
   of this document, or of portions of it,
   under the above conditions, provided also that they
   carry prominent notices stating who last changed them.

Local variables:
mode: outline
paragraph-separate: "[ 	]*$"
end:
