publication venue for Revised Selected Papers of the 6th International Symposium on Foundations and Practice of Security - Volume 8352 2013 Proceedings of the 5th international conference on Foundations and Practice of Security 2012
