Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum: Safe Equivalences for Security Properties. IFIP TCS 2010: 55-70