Roger King Security Maintenance Mediation: a technology for preventing unintended security breaches. 49-60 2004 16 Concurrency and Computation: Practice and Experience 1 http://dx.doi.org/10.1002/cpe.746 db/journals/concurrency/concurrency16.html#King04