Verifying Privacy by Little Interaction and No Process Equivalence

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.

Authors

Denis Butin

This author has not been identified. Look up 'Denis Butin' in Google

Giampaolo Bella

This author has not been identified. Look up 'Giampaolo Bella' in Google