A Process Algebraic Approach to Security Policies. - Peter Ryan; Ragni Ryvold Arnesen (DBSec, 2002)