Secure Information Flow, Pi-Calculus and Program Logic

A Uniform Type Structure for Secure Information Flow (full version)
Kohei Honda and Nobuko Yoshida, Revised September, 2004 (98 pages).
Extended Abstract appears in Proc. of POPL'2002, Proc. of 29th ACM Symposium on Principles of Programming Languages, ACM Press, 2002.
[abstract] [ps-file]

Noninterference through Flow Analysis
Kohei Honda and Nobuko Yoshida, Revised in June 2004.
To appear in Journal of Functional Programming, 2004 (58 pages).
[abstract] [ps-file]

Program Logic and Program Analysis
Kohei Honda, Nobuko Yoshida and Martin Berger, Draft. August 2004 (82 pages).
[ps-file] (updated: August 26, 2004).

Reference

From Process Logic to Program Logic
Kohei Honda.
9th ACM-SIGPLAN International Conference on Functional Programming (ICFP 04), ACM Press, 2004.
[ps-file]

A Compositional Program Logic for Polymorphic Higher-Order Functions
Kohei Honda and Nobuko Yoshida.
6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'2004), ACM Press, 2004.
[ps-file]

More references available from www.doc.ic.ac.uk/~yoshida

Note (September 3, 2004):
Queen Mary's corresponding page has been down since August 27, 2004.
A couple of auxiliary references are unavailable due to the accident.