PL seminar - Jon Riecke, Bell Labs, Security in Lambda Calculus

• To: plseminar@cs.indiana.edu
• Subject: PL seminar - Jon Riecke, Bell Labs, Security in Lambda Calculus
• From: Y. Annie Liu <liu@cs.indiana.edu>
• Date: Wed, 13 Nov 1996 21:54:23 -0500 (EST)
• Cc: cs.students.grad@moose, cs.colloq@moose

		    Programming Languages Seminar
 		        Friday, Nov. 15, 1996
  		          10am-11am, LH 101

Title: Security in the Typed Lambda Calculus
Speaker: Jon G. Riecke, Bell Laboratories, Lucent Technologies

Abstract: Over twenty years have past since Denning's original work on
security of *values* during computation.  Denning, and others
following her, worked in imperative languages, and used "flow of
information" as the primary mechanism for tracking security.
We rework and adapt some of these ideas in the context of the
programs, written in the typed lambda calculus, that communicate via
shared variables.  In this language, we can track more accurately the
flow of information.

This is joint work with Nevin Heintze.  A word of caution: the work is
very preliminary!

-- 
For those among us who have been looking for preliminary work that
might allow more discussions, this seems to be a good opportunity :-)

• Prev: PL seminar - Michael Benedikt, Bell Labs, Web Prog. Lang.
• Next: PL seminar - David S. Wise, Pure/Impure LISP and Compiling
• Index(es):
  • Main
  • Thread