A Process Algebraic Approach to Security Policies Peter Y. A. Ryan Ragni Ryvold Arnesen Publikasjonsdetaljer Journal: Ukjent, Tuesday 1. April 2003 Du er her: Hjem Publikasjoner Vitenskapelig artikkel A Process Algebraic Approach to Security Policies