Chunyan Mu. Measuring Information Flow in Reactive Processes. In Sihan Qing, Chris J. Mitchell, Guilin Wang, editors, Information and Communications Security, 11th International Conference, ICICS 2009, Beijing, China, December 14-17, 2009. Proceedings. Volume 5927 of Lecture Notes in Computer Science, pages 211-225, Springer, 2009. [doi]