[PL-sem-jr] Talk tomorrow, Mon 3/22, 10:00

[Vincent St-Amour]

Here's the abstract:

The Guardol development project was undertaken to create a Domain
Specific Language (DSL) that would enable the specification,
analyzation, implementation and standardization of high assurance
guard solutions for Cross Domain Systems (CDS).  The implementations
of these guards provide an automated mechanism for the communication
between secure domains restricted by the functionality of the guard.
This language makes use of an existing software verification and
analysis infrastructure by way of source translations to an
intermediate language named Pilar.  Many security requirements can be
assured by Guardol's simple type system that enforces the structure of
messages between domains.  For more complicated security policies that
involve reasoning about the actual values contained within a message,
a property language and set of type qualifiers were introduced to
allow for a more expansive specification.


At Sun, 21 Mar 2010 11:00:51 -0400,
Vincent St-Amour wrote:
> 
> Mon 3/22 Room WVH166 10:00-12:00
> 
> Jon - Guardol: A language for the specification of high assurance guards.