Joshua Guttman's Home Page


email: guttman at mitre.org and joshua.guttman at gmail.com

CSFW

The call for papers for CSF 20 is now available: CSF 20 Venice, July 6-8 2007. The Computer Security Foundations Workshop is planning (subject to IEEE approval) to become an IEEE Symposium in 2007.
See also the Computer Security Foundations home page.

A workshop on Formal and Computational Cryptography will be held in Venice before CSFW, in early July 2007. The previous version was held in Venice between CSF and ICALP, and information on it is available here. The Call For Papers is here.

Papers
On this web site I have stored papers on strand spaces, and on network-wide security policies. Also contained here is a chapter of the Foundations of Security Analysis and Design book giving an overview of my work in information assurance.
Strand Spaces
Also available are the slides from an invited talk at Mathematical Foundations of Programming Semantics (Aarhus, May 2001), and the slides from one of the 2002 Clifford Lectures.
Information Flow Policies for SELinux
At WITS 2003, we presented a paper on using Linear Temporal Logic to specify information flow policies for SELinux, which can then be checked via model-checking. The paper is here in postscript and here in PDF. It has now appeared in the Journal of Computer Security.
Netwide Security Policies
FOSAD Chapter
FOSAD, a summer school on Foundations of Security Analysis and Design, was held in September 2000 at Bertinoro in Italy under the auspices of the University of Bologna and IFIP working group 1.7. It will occur again with different lecturers in September 2001. A book containing the materials from the September 2000 lectures appeared as Foundations of Security Analysis and Design, Springer Verlag Lecture Notes in Computer Science number 2171.

Emacs

Older material


CSFW

The CSFW-18 program is here, or, in plain text format, here.

I am grateful to the College of Computer Science at Northeastern University for making this home page available to me.

Joshua D. Guttman
guttman at mitre.org