A Process Algebraic Approach to Security Policies Peter Y. A. Ryan Ragni Ryvold Arnesen Publication details Journal: Ukjent, Tuesday 1. April 2003 You are here: Home Publications Scientific article A Process Algebraic Approach to Security Policies