Title from cover.
A formal approach to dependable evolution of access control policies in dynamic collaborations by Jeremy Bryans. Published by University of Newcastle upon Tyne, Computing Science in 2007. Publication and catalogue information, links to buy online and reader comments.