type-based information flow analyis for pi

Dear Colleagues,

I would like to announce the following technical report,
available from 


Type-based information flow analysis for the pi-calculus
      by Naoki Kobayashi

We propose a type system for information flow analysis for the
pi-calculus. Previous type-based information flow analyses for concurrent
programs were imprecise and/or could deal with only a very restricted set of
concurrency primitives.  Our type system is general and expressive, so
that information flow analysis for concurrent programs using a variety
of concurrency primitives can be uniformly discussed through the
pi-calculus.  We also give a clear proof of soundness of the type
system, and a sound and complete type inference algorithm.

Naoki Kobayashi
Department of Computer Science
Graduate School of Information Science and Engineering
Tokyo Institute of Technology
2-12-1 Oookayama, Meguro-ku, 
Tokyo 152-8552, Japan