Peter Y. A. Ryan Steve A. Schneider Process Algebra and Non-Interference. 75-103 2001 9 Journal of Computer Security 1/2 db/journals/jcs/jcs9.html#RyanS01