Denis Butin, Giampaolo Bella. Verifying Privacy by Little Interaction and No Process Equivalence. In Pierangela Samarati, Wenjing Lou, Jianying Zhou, editors, SECRYPT 2012 - Proceedings of the International Conference on Security and Cryptography, Rome, Italy, 24-27 July, 2012, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications. pages 251-256, SciTePress, 2012.
Abstract is missing.